golang gc回收机制

v1.3 前使用标记清除算法 (缺点 让程序暂停会出现卡顿)

• 暂停业务逻辑，找出不可达和可达对象 stw
• 开始标记 标记所有可达对象
• 清除不可达对象
• 停止暂停，重复此过程,直到进程结束

三色标记法

• 创建的所有对象都为白色
• gc 回收时遍历第一层节点，将节点标记为灰色
• 遍历灰色节点下一层,将可达对象标记为灰色，当前灰色节点标记为黑色
• 重复直到随后一层
• 将白色对象清除

如何三色标记不加stw 保护，可能会出现对象丢失

• 灰色对象丢失了白色对象
• 上一层的灰色对象又引用了白色对象

为了解决使用全局stw 引起效率问题

• 使用强三色不变式

  • 允许黑色指向灰色但是不能指向白色
  • 破坏条件一

• 使用弱三色不变式

  • 被引用的白色对象上层必须有灰色对象
  • 破坏添加二
• 如何三色标记满足上述条件之一可保证对象不被丢失

实现安全三色标记

• 插入写屏障

• 在A对象引用b对象的时候，b对象被标记为灰色，满足强三色不变式（不存在黑色对象引用白色对象，因为白色会强制变成灰色）
• 不会在栈上加入插入写屏障，在gc清理白色块时需要重新扫描栈，此时加上stw大概需要10-100毫秒

• 删除屏障

• 将删除对象变为灰色
• 缺点清除精度不足，会保护被删除对象一轮，在下一轮gc 时清理掉

• 混合写屏障

• 优先扫描栈，全部标记为黑，减少stw
• 在gc期间创建对象全部标记为黑
• 被删除对象标记为黑
• 添加对象标记为黑