昨天看了gc_malloc，了解到分配一块内存后，需要将其管理起来。此外，如parent参数有效的话，还需要建立新内存和parent内存之间的依赖关系。
先看看gc_link的定义
这个函数的功能就是，在parent和now之间建立依赖关系，以表明parent在某种形式上引用着now。同时取消parent和prev之间的依赖关系，表明parent不再通过某种形式引用prev了。parent、prev和now，都是由这个gc分配出来的内存。
比如 A->b = c，可以写为

接下来看看gc_link的代码

先看看5、6、7、8、9行，如果parent有效的话，则通过 map_id() 将它放到 E.pool中管理。可是这个parent明显是在更早的时候分配的内存，所以可以肯定 map_id() 在这里执行的是查找功能，而没有往 E.pool中做插入操作。map_id()这个函数还是可以暂时忽略不看。
parent_id即parent在 E.pool中的索引。
如果parent无效的话，parent_id = 0，这有可能说明，E.pool的第0个节点是一个特殊节点。如果parent作为整个库分配出来的第一块内存的话，那么在分配的时候也就没有什么东西可以引用他，除了这个gc库以及应用程序。所以制定了 E.pool[ 0 ]来表示这种引用，和他建立依赖关系的内存，可以保持和整个gc库一样长的生命周期，直到gc_exit。

11、12、13、14行，是用来解除parent和prev的依赖关系的，相比16、17行建立parent和now的依赖关系，代码有点多。所以先来看看如何建立内存间的依赖关系。
map_id()我就不再重复说明了，代码简化后的形式如上。他将通过建立parent_id和now_id之间的联系，来表达parent和now内存之间的依赖关系。