昨天看了gc_malloc，了解到分配一塊內(nèi)存后，需要將其管理起來(lá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不再通過(guò)某種形式引用prev了。parent、prev和now，都是由這個(gè)gc分配出來(lái)的內(nèi)存。
比如 A->b = c，可以寫(xiě)為

接下來(lái)看看gc_link的代碼

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

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