昨天看了gc_malloc，了解到分配一塊內(nèi)存后，需要將其管理起來。此外，如parent參數(shù)有效的話，還需要建立新內(nèi)存和parent內(nèi)存之間的依賴關(guān)系。
先看看gc_link的定義
這個(gè)函數(shù)的功能就是，在parent和now之間建立依賴關(guān)系，以表明parent在某種形式上引用著now。同時(shí)取消parent和prev之間的依賴關(guān)系，表明parent不再通過某種形式引用prev了。parent、prev和now，都是由這個(gè)gc分配出來的內(nèi)存。
比如 A->b = c，可以寫為

接下來看看gc_link的代碼

先看看5、6、7、8、9行，如果parent有效的話，則通過 map_id() 將它放到 E.pool中管理。可是這個(gè)parent明顯是在更早的時(shí)候分配的內(nèi)存，所以可以肯定 map_id() 在這里執(zhí)行的是查找功能，而沒有往 E.pool中做插入操作。map_id()這個(gè)函數(shù)還是可以暫時(shí)忽略不看。
parent_id即parent在 E.pool中的索引。
如果parent無效的話，parent_id = 0，這有可能說明，E.pool的第0個(gè)節(jié)點(diǎn)是一個(gè)特殊節(jié)點(diǎn)。如果parent作為整個(gè)庫分配出來的第一塊內(nèi)存的話，那么在分配的時(shí)候也就沒有什么東西可以引用他，除了這個(gè)gc庫以及應(yīng)用程序。所以制定了 E.pool[ 0 ]來表示這種引用，和他建立依賴關(guān)系的內(nèi)存，可以保持和整個(gè)gc庫一樣長(zhǎng)的生命周期，直到gc_exit。

11、12、13、14行，是用來解除parent和prev的依賴關(guān)系的，相比16、17行建立parent和now的依賴關(guān)系，代碼有點(diǎn)多。所以先來看看如何建立內(nèi)存間的依賴關(guān)系。
map_id()我就不再重復(fù)說明了，代碼簡(jiǎn)化后的形式如上。他將通過建立parent_id和now_id之間的聯(lián)系，來表達(dá)parent和now內(nèi)存之間的依賴關(guān)系。