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

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

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

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

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

明天再講cache_flush吧。