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