JVM 三色标记 增量更新 原始快照 基本概念

JVM 三色标记

要找出存活对象，根据可达性分析，从GC Roots开始进行遍历访问，可达的则为存活对象

我们把遍历对象图过程中遇到的对象，按“是否访问过”这个条件标记成以下三种颜色：

• 白色：尚未访问过。
• 黑色：本对象已访问过，而且本对象 引用到 的其他对象 也全部访问过了。
• 灰色：本对象已访问过，但是本对象 引用到 的其他对象 尚未全部访问完。全部访问后，会转换为黑色。

过程：

1. 初始时，所有对象都在 【白色集合】中；
2. 将GC Roots 直接引用到的对象 挪到 【灰色集合】中；
3. 从灰色集合中获取对象：
   将本对象 引用到的 其他对象 全部挪到 【灰色集合】中；
   将本对象 挪到 【黑色集合】里面
4. 重复步骤3，直至【灰色集合】为空时结束。
5. 结束后，仍在【白色集合】的对象即为GC Roots 不可达，可以进行回收。

如果标记结束后对象仍为白色，意味着已经“找不到”该对象在哪了，不可能会再被重新引用。

增量更新 原始快照

问题：
对象间的引用可能发生变化，多标和漏标的情况就有可能发生

• 浮动垃圾(多标)：将原本应该被清除的对象，误标记为存活对象。后果是垃圾回收不彻底，不过影响不大，可以在下个周期被回收；
• 对象消失(漏标)：将原本应该存活的对象，误标记为需要清理的对象。后果很严重，影响程序运行，是不可容忍的。

其中漏标必须要同时满足以下两个条件：

• 赋值器插入了一条或者多条从黑色对象到白色对象的新引用；
• 赋值器删除了全部从灰色对象到该白色对象的直接或间接引用。

两种解决方案：

• 增量更新：Incremental Update。（破坏第一个条件）
  在新增一条引用时，将该记录保存。实际的实现中，通常是将引用相关的节点进行重新标记。
• 原始快照：Snapshot At The Beginning，SATB。（破坏第二个条件）
  当灰色对象要删除指向白色对象的引用关系时，就将这个要删除的引用记录下来，并发扫描结束后，在将这些记录重新扫描一次。