版权声明：本文来自 Crocutax 的博客 , 转载请注明出处 http://www.crocutax.com

在 JVM内存模型中，程序计数器、虚拟机栈、本地方法栈3个区域生命周期与所在的线程同步，栈中的每个栈帧分配多少内存基本上在类结构确定下来时就是已知的，因此这几个区域的内存分配和回收具有确定性，不需要考虑太多内存回收的问题。

而Java堆和方法区则不一样，一个接口中多个实现类需要的内存可能不一样，一个方法中多个分支小的内存也可能不一样，只有程序处于运行期间时才能知道会创建哪些对象，这部分内存的分配和回收都是动态的，也是垃圾收集器的重点关注区域。

如果想要进行垃圾回收，必须要进行垃圾对象的判定，而关于GC对象判定的算法，有如下两种：

引用计数算法

概念
给对象添加一个引用计数器，每当有一个地方引用它时，计数器值就加1；当引用失效时，计数器值就减1；任何时刻计数器为0的对象就是不可能再被使用的对象，就可以被垃圾回收器回收。

优点
实现简单，判定效率高。

缺点
无法解决对象之间相互循环引用的问题（A中持有B的引用，B中持有A的引用，此时即使将A和B都赋值为null，A和B的引用计数仍不为0，无法回收），导致GC判定不准确。因此主流的Java虚拟机都没有采用这种方式来进行GC对象判定。

可达性分析算法

概念
通过一系列被称为“GC Roots”的对象作为起始点，从这些节点开始向下搜索，搜索锁走过的路径称为引用链（Reference Chain）当一个对象到GC Roots没有任何引用链相连（从GC Roots到这个对象不可达）时，则证明此对象是不可用的，是可被回收的。

图中左侧的GC Roots链是可达的，而右侧Object5~7虽然相互之间存在引用，但是由于到GC Roots不可达，因此被判定为可回收的对象。

可达性分析算法.png

可作为GC Roots的对象