Ruby的GC机制源码分析（2）

http://aiku.me/bar/10113853

停止与复制

停止与复制型GC 是标记与清除型GC 的一个变体。首先，准备多个对象域。为了简化讨论，假设只有两个域：A 和B 。将一边标记为“active” ，生成的对象都放到active 域中（图5 ）。




图5: 停止与复制（1 ）
执行GC 时，按照标记与清除同样的路径进行搜索。但是，与标记不同的是，对象本身移到了另外一个空间（图6 ）。搜索全部链接之后，只要抛弃留在A 中的对象，将B 标记为active 即可。




图6: 停止与复制（2 ）
停止与复制也有两个优点。
· 内存回收的同时一并完成压缩。
· 相互引用的对象会聚集在附近，有助于提高缓存的命中率
缺点也是两个。
· 需要两倍以上的对象域
· 对象的位置发生了变化
可见天下没有免费的午餐。

引用计数
引用计数不同于之前介绍的东西，它的检查分布在代码各处。
首先，为每个对象加上一个整数计数器。当变量或数组引用时，对象的计数器就会增加。停止引用时，计数器就会随之减少。计数器为0 时，就会释放。这便是引用计数的方法（图7 ）。




图7: 引用计数
这种方法有两个优点。
· GC 的负担分散到整个程序之中
· 不必需的对象能够立刻得到释放
缺点也是两个。
· 容易遗忘对计数器的操作
· 简单的方法无法处理环
这里解释一下第二点。环（cycle ）指得是图8 所示的有循环引用关系的状态。变成这样的话，计数器便不会减少，也就绝对无法释放。




图8: 环
顺便说一下，最新的Python （2.2 ）采用了引用计数，其中的环可以释放。但这并不是引用计数本身的力量，不过是时常采用标记与清除型GC 检查罢了。