可达性算法中的并发标记属实有点东西

谈到JVM我们肯定会谈到垃圾回收，而垃圾回收最前置的知识点一定是如何判断对象是否死亡。 引用计数法和可达性分析算法大家肯定已经耳熟能详了，今天深入讲解下可达性算法中的那些事儿。

如何判断对象是否死亡

对堆垃圾回收前的第一步就是要判断哪些对象已经死亡

引用计数法

给对象中添加一个引用计数器，每当有一个地方引用它，计数器就加 1；当引用失效，计数器就减 1；任何时候计数器为 0 的对象就是不可能再被使用的。

这个算法很难解决对象之间相互循环引用的问题。

可达性分析算法

通过一系列的称为 GC Roots 的对象作为起点，从这些节点开始向下搜索，节点所走过的路径称为引用链，当一个对象到 GC Roots 没有任何引用链相连的话，则证明此对象是不可用的，需要被回收。

下图中的 Object 6 ~ Object 10 之间虽有引用关系，但它们到 GC Roots 不可达，因此为需要被回收的对象

三色标记

可达性分析算法中，有一个过程是需要遍历对象图的。

在遍历对象图的过程中，把访问都的对象按照是否访问过这个条件标记成以下三种颜色

白色，表示对象尚未被垃圾回收器访问过。在可达性分析刚刚开始的阶段，所有的对象都是白色的，若在分析结束的阶段，仍然是白色的对象代表不可达。

黑色，表示对象已经被垃圾回收器访问过，且这个对象的所有引用都已经扫描过。黑色的对象代表已经扫描过，它是安全存活的，如果有其它的对象引用指向了黑色对象，无须重新扫描一遍。黑色对象不可能直接指向某个白色对象。

灰色：表示对象已经被垃圾回收器访问过，但这个对象至少存在一个引用还没有被扫描过。