三色标记的大致流程可以讲一下吗

有的时候博客内容会有变动，首发博客是最新的，其他博客地址可能会未同步, 认准 https://blog.zysicyj.top

全网最细面试题手册，支持艾宾浩斯记忆法。这是一份最全面、最详细、最高质量的 java 面试题，不建议你死记硬背，只要每天复习一遍，有个大概印象就行了。https://store.amazingmemo.com/chapterDetail/1685324709017001`

三色标记算法概述

三色标记是一种用于垃圾收集（Garbage Collection, GC）的算法，它在标记 - 清除（Mark-Sweep）类型的垃圾收集器中被广泛使用。这种算法通过对对象进行染色，以区分对象的不同状态。在三色标记算法中，每个对象可以被标记为以下三种颜色之一：

  • 白色：表示对象尚未被访问。在算法开始时，所有对象都被标记为白色。
  • 灰色：表示对象已经被访问，但该对象引用的其他对象还没有完全被访问。
  • 黑色：表示对象及其所有引用的对象都已经被访问。

三色标记的大致流程

1. 初始化

在算法开始时，所有对象都被标记为白色。然后，从根集合（root set）开始，根集合中的对象是直接可达的，例如全局变量、活跃的线程栈中的局部变量等。这些根对象被标记为灰色，表示它们已经被发现，但是它们引用的对象还没有被完全扫描。

2. 标记阶段

在标记阶段，算法执行以下步骤：

  • 选择一个灰色对象。
  • 将其标记为黑色。
  • 将所有从这个对象直接可达的白色对象标记为灰色。

这个过程不断重复，直到没有灰色对象为止。这意味着所有可达的对象都被访问，并且标记为黑色。

3. 清除阶段

在所有可达对象都被标记之后，清除阶段开始。在这个阶段，所有仍然是白色的对象都被认为是不可达的，因此可以被安全地回收。

三色标记的优点和缺点

优点：

  • 增量收集：三色标记算法可以被实现为增量垃圾收集，这意味着垃圾收集可以在应用程序运行的同时逐步进行，减少了停顿时间。
  • 并发收集：可以与应用程序并发执行，进一步减少对应用程序的影响。

缺点：

  • 写屏障开销：为了保持标记的准确性，当对象的引用发生变化时，需要使用写屏障（write barrier）来记录这些变化，这会带来一定的运行时开销。
  • 浮动垃圾：由于并发执行，可能会有一些新产生的垃圾在本次收集过程中无法被清除，这些垃圾被称为浮动垃圾。

结论

三色标记算法是一种有效的垃圾收集机制，它通过对对象进行染色来追踪对象的可达性。尽管存在一些缺点，但它的优点使得它在现代垃圾收集器中得到了广泛的应用，特别是在需要减少应用程序停顿时间的场景中。