golang 垃圾回收 三色标记和混合写屏障

STW：stop the world 暂停程序执行，判断当前的垃圾对象

go V1.3（标记清除算法）

过程

1. 暂停程序业务逻辑，找出不可达对象和可达对象
2. 开始标记，程序找出它所有的可达对象并作标记
3. 标记完成，开始清楚未标记对象
4. 停止暂停，让程序继续跑，周期循环这个过程

缺点：

• STW，让程序暂停，程序出现卡顿（严重）
• 标记需要扫描整个heap
• 清楚数据会产生heap碎片

Go V1.5（三色标记法）

过程

1. 创建的新对象，默认颜色都是标记“白色”
2. 每次GC开始，从根结点开始遍历所有对象，把遍历到的对象从白色集合放入“灰色”集合
3. 遍历灰色集合，将灰色对象引用的对象从“灰色”集合中，将该灰色对象放入“黑色”对象中
4. 重复第三步，直到灰色无对象
5. 回收所有的白色标记的对象

不添加STW会造成的问题

• 一个白色对象被黑色对象引用
• 灰色对象与白色对象之间的可达关系遭到破坏

   导致该对象被认定为垃圾对象而被异常回收

强三色不变式：强制性的不允许黑色对象引用白色对象

弱三色不变式：黑色对象可以引用白色对象，白色对象存在其他灰色对象对他的引用，或者可达他的链路上游存在灰色对象

屏障机制（类似回调函数，钩子函数）

• 插入屏障，对象被引用时，触发的机制（在A对象引用B对象的时候，B对象被标记为灰色）
  • 不足：栈上需要STW
• 删除屏障，对象被删除时，触发的机制(被删除的对象，如果自身为灰色或者白色，那么被标记灰色）
  • 不足：回收精度低

Go V1.8的三色标记法+混合写屏障

1. GC开始将栈上的对象全部扫描并标记为黑色
2. GC期间，任何栈上创建的新对象，均为黑色
3. 被删除的对象标记为灰色
4. 被添加的对象标记为灰色