從gc_link中發現了node_add，通過記錄兩塊內存對應的id來表達兩塊內存之間的依賴關系。廢話不多說，先看看node_add的實現，更深入一點的接觸gc下的數據結構。
代碼很少，而且看起來意思很明了：將內存的parent_id和child_id插入到cache中，如果插入失敗的話，就處理cache中的數據，直到插入操作成功為止。
首先，這是一個對cache的操作。其次，向cache中插入數據很可能失敗，但是可以通過處理消耗掉cache現有的數據，讓插入操作成功。這個cache是怎樣一種數據結構啊，看看cache_insert的實現吧。
第4、5行，通過parent和child計算出了一個hash，然后利用hash充當索引，從 E.cache中取出一個cache節點。
用一個數組作為cache容器，用兩個id計算出來的hash作為索引，這算是一個簡單的hash_map吧。

在往下看代碼之前，先看下cache_node的定義
挺簡單，如實的記錄兩個id而已。

現在看cache_insert的第8、9、10、11行，如果節點中的parent_id = -1的話，說明這個節點還沒有被使用，可以記錄傳入的id實參。hash_map用不同的輸入計算出來的hash值是很容易相同的，這個hash_map處理同hash插入的方式是插入失敗，最簡單的處理方式。

再看13、14、15行，那個if判斷有點奇怪，不過14行parent_id = -1，像是cache_delete的意思，即從cache中刪除一條依賴關系的記錄。現在的問題是憑什么知道我傳入的兩個id要進行的是插入還是刪除呢？關鍵就在
根據之前的map_id()，我們了解到id其實是數組索引，所以一定是正數，那最高位的符號位就沒有什么意義，于是就被用來當作刪除標記了。
cn->child的符號位一定是0，因為是之前插入cache的。如果當前傳入的實參child的絕對值等于cn->child，且符號位是1的話，那么他們相異或的結果一定是0x80000000。
所以，如果要刪除某個依賴關系，只要執行 child | UNSET_MASK就可以了。

在cache_insert的實現中提到，hash索引所對應的cache_node有可能已經被占用了，因此插入操作會失敗。那么cache_flush就負責把整個cache清理，把那些有效的cache節點處理一下，讓其進入正確的數據結構中。
有關證據表明，這個cache設計，是優化的結果，作為增加或者刪除內存間依賴關系的一個加速器。

明天再講cache_flush吧。