jvm垃圾收集器-三色标记算法-编程知识

1.对象已死吗?

在堆里面存放着Java世界中几乎所有的对象实例，垃圾收集器在对堆进行回收前，第一件事情就是要确定这些对象之中哪些还“存活”着，哪些已经“死去”（即不可能再被任何途径使用的对象).

引计数法

引用计数算法是一种垃圾回收算法，它通过记录每个对象被引用的次数来判断对象是否已经成为垃圾并进行回收。当对象被创建时，其引用计数器初始化为0，当有其他对象引用该对象时，其引用计数器就会加1，当引用该对象的对象被销毁时，其引用计数器就会减1。当一个对象的引用计数器变为0时，即表示该对象已经没有被任何其他对象引用，可以被认为是垃圾对象，并被回收。

可达性分析

这个算法的基本思路就是通过一系列的称为“GC Roots”的对象作为起始点，从这些节点开始向下搜索，搜索所走过的路径称为引用链（Reference Chain），当一个对象到GC Roots没有任何引用链相连（用图论的话来说，就是从GC Roots到这个对象不可达）时，则证明此对象是不可用的。

在Java语言中，可作为GC Roots的对象包括下面几种：

虚拟机栈（栈帧中的本地变量表）中引用的对象。
方法区中类静态属性引用的对象。
方法区中常量引用的对象。
本地方法栈中JNI（即一般说的Native方法）引用的对象。

2.引用的分类

在JDK 1.2之后，Java对引用的概念进行了扩充，将引用分为强引用（Strong Reference）、软引用（Soft Reference）、弱引用（Weak Reference）、虚引用（Phantom Reference）4种，这4种引用强度依次逐渐减弱。

强引用就是指在程序代码之中普遍存在的，类似“Object obj = new Object()”这类的引用，只要强引用还存在，垃圾收集器永远不会回收掉被引用的对象。
软引用是用来描述一些还有用但并非必需的对象。对于软引用关联着的对象，在系统将要发生内存溢出异常之前，将会把这些对象列进回收范围之中进行第二次回收。如果这次回收还没有足够的内存，才会抛出内存溢出异常。在JDK 1.2之后，提供了SoftReference类来实现软引用。
弱引用也是用来描述非必需对象的，但是它的强度比软引用更弱一些，被弱引用关联的对象只能生存到下一次垃圾收集发生之前。当垃圾收集器工作时，无论当前内存是否足够，都会回收掉只被弱引用关联的对象。在JDK 1.2之后，提供了WeakReference类来实现弱引用。
虚引用也称为幽灵引用或者幻影引用，它是最弱的一种引用关系。一个对象是否有虚引用的存在，完全不会对其生存时间构成影响，也无法通过虚引用来取得一个对象实例。为一个对象设置虚引用关联的唯一目的就是能在这个对象被收集器回收时收到一个系统通知。在JDK 1.2之后，提供了PhantomReference类来实现虚引用。

3.三色标记算法

3.1三色标记标记流程

我们知道CMS垃圾回收器是通过可达性分析找到存活对象，然后给存活对象打个标记，最终在清理的时候，如果一个对象没有任何标记，就表示这个对象不可达，需要被清理。而标记算法就是使用三色标记算法。一般使用白色、黑色和灰色来表示。

白色：说明这个对象没有被标记过，在初始阶段，所有对象都是白色，整个过程枚举完最后仍是白色的对象会被当做垃圾对象被清理。
灰色：这个对象正在被标记，但是这个对象直接引用的对象中，至少还有一个没有被标记过。
黑色：对象和他直接引用的所有对象都被标记过，对直接引用的对象下一级引用不做要求，比如A只引用了B，B引用了C、D，那么只要A和B都被标记过，A就是黑色，即使B所引用的C或D还没有被访问到，此时B就是灰色。

根据定义jvm中三色标记算法大致流程是：

首先从GC Roots开始标记，他们所有直接引用对象变成灰色，自己本身变为黑色（GC Roots对象本身不是垃圾），这里我们用队列去存储灰色对象，把这些灰色对象放到队列中。
然后从队列中取出灰色对象继续进行分析：将这个对象所有直接引用变成灰色，放入队列中，然后这个对象变为黑色；如果没有直接引用就直接变为黑色。
继续从队列中取出一个灰色对象，重复第二步，一直到灰色队列为空。
分析完后，仍然是白色的对象，就是不可大对象，可以作为垃圾被回收。
最后重置标记状态。

下面提供一个例子，加深下印象：

刚开始所有对象都是白色