v1.3 前使用标记清除算法 (缺点 让程序暂停会出现卡顿)
- 暂停业务逻辑,找出不可达和可达对象 stw
- 开始标记 标记所有可达对象
- 清除不可达对象
- 停止暂停,重复此过程,直到进程结束
三色标记法
- 创建的所有对象都为白色
- gc 回收时遍历第一层节点,将节点标记为灰色
- 遍历灰色节点下一层,将可达对象标记为灰色,当前灰色节点标记为黑色
- 重复直到随后一层
- 将白色对象清除
如何三色标记不加stw 保护,可能会出现对象丢失
- 灰色对象丢失了白色对象
- 上一层的灰色对象又引用了白色对象
为了解决使用全局stw 引起效率问题
- 使用强三色不变式
- 使用弱三色不变式
- 如何三色标记满足上述条件之一可保证对象不被丢失
实现安全三色标记
- 插入写屏障
- 在A对象引用b对象的时候,b对象被标记为灰色,满足强三色不变式(不存在黑色对象引用白色对象,因为白色会强制变成灰色)
- 不会在栈上加入插入写屏障,在gc清理白色块时需要重新扫描栈,此时加上stw大概需要10-100毫秒
- 删除屏障
- 将删除对象变为灰色
- 缺点清除精度不足,会保护被删除对象一轮,在下一轮gc 时清理掉
- 混合写屏障
- 优先扫描栈,全部标记为黑,减少stw
- 在gc期间创建对象全部标记为黑
- 被删除对象标记为黑
- 添加对象标记为黑