如何判断对象是否存活

判断对象是否存活的方法主要有两种：引用计数算法，可达性分析算法

引用计数算法

给对象添加一个引用计数器，当有一个地方引用它时，引用计数器+1，当有一个引用失效时，引用计数器-1，引用计数器为0时，表示对象不可能再被使用。

这个方法实现简单，判断效率高，但是不能解决对象之间循环引用的问题。
比如两个对象相互持有对方的引用，除此之外，再无其他引用，实际上这两个对象已经不能再被访问，但是因为它们互相引用对方，导致引用计数器不为0，导致垃圾收集器不能回收它们。

可达性分析算法

java，C#都是通过可达性分析算法来判断对象是否存活的。基本思路是通过一系列的“GC roots”对象为起点，从这些节点向下搜索，走过的路径称为引用链，当一个对象到GC roots没有任何引用链相连时，则表明此对象是不可用的。
如下图所示，对象5,6,7是不可用的

在java中可作为GC roots的对象有以下几种：

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

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

方法区中常量引用的对象

本地方法栈中JNI（native方法）引用的对象

对象真正死亡

即使在可达性分析算法中不可达的对象，也并非是一定会死亡的，这时候它们处于“缓刑”阶段，要真正宣告一个对象的死亡，至少要经历两次标记过程。如果对象在可达性分析之后，发现没有与GC roots连接的引用链，它将会被第一次标记并进行一次筛选，筛选条件是，此对象是否有必要执行finalize()方法。当对象没有覆盖finalize()方法，或者finalize()方法已经被虚拟机调用过，则虚拟机认为没有必要执行finalize()方法。

如果这个对象被判定为有必要执行finalize()方法，那么这个对象将会被放置在一个叫F-Queue的队列之中，并在稍后由一个被虚拟机建立的，低优先级的Finalize线程去执行它。这个所谓的“执行”，指虚拟机会触发这个方法，但不承诺会等待它运行结束。

finalize()方法是对象逃脱死亡命运的最后机会，稍后GC会对F-Queue中的对象进行第二次标记，如果对象要在finalize()中拯救自己，只要与引用链上的任一对象建立关联即可，比如把自己（this关键字）赋值给某个类变量或者对象的成员变量，那在第二次标记时，它将会被移出“即将回收”的集合。若对象这时候还没有逃脱，那基本上它就真的被回收了。

如果对象逃脱了，当面临下一次回收时，它的finalize()方法不会被再此执行。