可达性分析算法-肯定那些对象是垃圾(转)

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

 

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

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

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

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

本地方法栈中JNI（即通常说的Native方法）引用的对象。

参考：http://blog.csdn.net/jtracydy/article/details/61416634

更多：

http://blog.csdn.net/ochangwen/article/details/51406779