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

http://aiku.me/bar/10113853

本文来自作者的日文书

 

GC 可以做的事

讨论GC 算法之前，需要解释一下“GC 是什么” 。也就是说，“ 无用的内存” 处于一种怎样的状态。

为了让讨论更加具体，将对象间的链接结构简化。也就是图3 所示的状态。

 
图3: 对象

首先，全局变量所指的而且在语言堆栈上的对象“ 确实必要” 。对象实例变量所指的对象也是必要的。从这些对象出发，顺着链接前进可以到达的对象，都是必要的。

稍微理论点说，以“ 确实必要” 的对象为起点，递归的沿链接前进可以到达的所有对象都是必要的。图4 表现了这种情况。线左侧是“ 确实必要” 的对象，从那开始能够到达的都涂成了黑色。涂黑的对象都是必要的。其余的可以释放。

 
图4: 必要的对象和不必要的对象

术语将“ 确实必要的对象” 称为“GC 的根” 。追踪必要对象的结果可以视为一个树型结构，而它就是树的根（root ）。

标记与清除（mark & sweep ）

GC 最初由Lisp 实现，Lisp 最初的GC 实现就是世界上最早的GC ，称为标记与清除（mark & sweep）型GC 。 ruby 的GC 也是这一种。

标记与清除型GC 的印象接近于“ 必要对象” 的定义。首先给根对象加上“ 记号” 。以此为出发点，给找到的对象都加上“ 标记” 。这个全过程就是“ 标记” 阶段。

所以，除此之外，其它的对象都是无法找到的，检查全部的对象集合，释放掉那些没有“ 标记”的对象（清除）。这就是扫雷（minesweeper ）中的sweep （清除）。

这种方法有两个优点。

·         GC 实现之外的地方不必（太多）考虑GC 。

·         有环也可以释放（关于环，可以参考引用计数一节）。

缺点也是两个。

·         为实现清除，至少要将所有的对象遍历一次。

·         GC 的负荷会集中于一点

使用Emacs 编辑器的时候，时常会出现“Garbage collecting...” ，完全失去响应，这时就是在进行GC 。这就是第二个缺点一个直接的例子。不过，这点可以通过改变算法（增量GC ）进行改进。