确定那些对象是垃圾-可达性分析算法

概述

• 程序运行时，堆内存中存在很多的对象，在GC之前需要知道哪些对象能够进行GC，哪些对象不能够精心GC。

引用计数法

• 给对象增加一个计数器的功能，当存在引用使用功能对象是，计数器值加一，当引用失效时计数器值减1，任何时候计数器值为0时的对象是无法被使用的。
• 问题：引用计数器无法解决循环引用的问题。

可达性分析算法

• 在主流的商用程序语言（Java、C#，甚至包括前面提到的古老的Lisp）的主流实现中，都是称通过可达性分析（Reachability Analysis）来判定对象是否存活的。这个算法的基本思路就是通过一系列的称为“GC Roots”的对象作为起始点，从这些节点开始向下搜索，搜索所走过的路径称为引用链（Reference Chain），当一个对象到GC Roots没有任何引用链相连（用图论的话来说，就是从GC Roots到这个对象不可达）时，则证明此对象是不可用的。如图3-1所示，对象object 5、object 6、object 7虽然互相有关联，但是它们到GC Roots是不可达的，所以它们将会被判定为是可回收的对象。

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

• 虚拟机栈（栈帧中的本地变量表）中引用的对象。

• 方法区中类静态属性引用的对象。

• 方法区中常量引用的对象。

• 本地方法栈中JNI（即一般说的Native方法）引用的对象。

  GC Root通俗来说也就是对象的引用，对对象的操作就是通过引用来实现的，引用是指向堆内存对象的指针，如果当前对象没有引用指向，那么该对象无法被操作，被视为垃圾。可达性分析算法就是从对象的引用出发，寻找对象是否存在引用，如果不存在进行标识处理，为GC做准备。

来源于：深入理解JVM虚拟机。