📌 PDF :大白话说Java面试题 --- 02-JVM篇
第18题:讲一下三色标记
📚 回答:
- 核心概念 :
三色标记是一种高效的垃圾回收算法,广泛应用于并发垃圾收集器(如 CMS 和 G1)。它通过将对象分为黑、灰、白三种颜色来标记存活对象,并允许用户线程在垃圾回收过程中继续运行,从而缩短 STW 时间。
1. 什么是三色标记?
-
定义:
- 黑色对象:该对象及其所有引用的对象都已经被标记为存活对象。
- 灰色对象:该对象已经被标记,但其引用的对象尚未全部标记。
- 白色对象:该对象尚未被标记,可能是垃圾对象。
-
标记过程:
- 初始阶段:所有对象均为白色。
- 从 GC Roots 开始,将直接引用的对象标记为灰色。
- 遍历灰色对象,将其引用的对象标记为灰色,并将自身标记为黑色。
- 最终,所有未被标记的对象(白色)被视为垃圾对象,进行回收。
2. 三色标记的优势
-
与传统标记-清除的对比:
- 传统标记-清除:需要暂停用户线程(STW),确保标记过程的一致性,耗时较长。
- 三色标记:允许用户线程和 GC 线程并发运行,显著缩短 STW 时间,提升用户体验。
-
具体优势:
- 高效并发:通过三色标记,GC 线程可以与用户线程协作完成标记工作,减少停顿时间。
- 动态调整:支持增量式标记,适合大内存环境下的垃圾回收。
3. 为什么传统标记需要 STW,而三色标记不需要?
-
传统标记的问题:
- 在标记过程中,如果用户线程继续运行,可能会修改对象的引用关系,导致标记结果不一致。例如:
- 用户线程可能创建新对象或修改现有对象的引用,影响 GC 的准确性。
- 在标记过程中,如果用户线程继续运行,可能会修改对象的引用关系,导致标记结果不一致。例如:
-
三色标记的解决方法:
- 写屏障(Write Barrier):在用户线程修改对象引用时,记录这些变化,确保 GC 线程能够感知到引用关系的变动。
- 重新标记阶段:在并发标记完成后,增加一个短暂的重新标记阶段,修正用户线程对引用关系的修改。
💡 源码解析 :
CMS 和 G1 收集器在实现三色标记时,使用了写屏障机制。具体逻辑可以参考
ConcurrentMark模块中的相关代码。
4. 总结对比
| 特性 | 传统标记-清除 | 三色标记 |
|---|---|---|
| STW 时间 | 长 | 短 |
| 并发能力 | 不支持 | 支持 |
| 复杂度 | 简单 | 较高,需处理并发修改问题 |
💡 面试官视角:
- 面试官可能会问"三色标记如何保证一致性?"答:通过写屏障机制记录引用关系的变化,并在重新标记阶段修正这些变化,确保标记结果准确。
- 面试官可能会追问"CMS 和 G1 收集器如何实现三色标记?"答:两者都使用了写屏障和重新标记阶段,确保并发标记的正确性。
觉得对您有帮助,麻烦 点点关注啦 ,您的关注是我创作的最大动力~ 🎯