（阅读笔记）垃圾回收的算法与实现 - 增量式GC

增量式 GC 是将 GC 和 mutator 一点一点交替运行的手法，而不是像停止型GC，需要等到 GC 执行完成。 停止型 GC 的最大暂停时间太长。

三色标记算法

增量式 GC 即 gc 与 mutator 间歇执行，那么 gc 就需要维护住『状态』让下一次运行时可以正常执行，为了达到这个效果，引入了下面几个结构

1. 对象的 mark 标记
2. gc 阶段
3. 一个 markStack，用来存储扫描中的节点

但是当 mutator 运行的时候，可能会改变对象的状态，如果不将这个状态同步到 gc 的运行状态中，则可能会发生 标记遗漏。所以这里就需要引入 写入屏障 来进行处理

标记遗漏 ：gc 阶段性标记，可能会出现这样的情况：一个对象经历了标记阶段但是未被标记成『在用』状态（理论上进行清除的时候，该对象会被回收），然后 mutator 又将该对象使用了起来（非活跃对象变化成了活跃对象）。
如果发生了标记遗漏，也就是将正在使用的对象回收，会引发不可预知的错误

三个颜色

• 白色：还未搜索过的对象
• 灰色：正在搜索的对象
• 黑色：搜索完成的对象

颜色即状态，在下面的代码中，只使用 mark 标志位来标记是该对象是否是活跃对象。并没有一个明确的颜色的标志位。

白色对象是等待扫描，灰色对象是存放在扫描栈（markStack中），黑色即扫描完成，进入 sweep 阶段时，被标记为活跃对象的所有对象。

代码实现

// stack
type stack struct {
   
	elements []*object
}

func (s *stack) Push(obj *object) {
   
	s.elements = append(s.elements, obj)
}
func (s *stack) Pop() *object {
   
	pos := len(s.elements) - 1
	t := s.elements[pos]
	s.elements = s.elements[:pos]