本文参考:《深入理解Java虚拟机》第三版。
判断对象是否失效,有两种算法:1、引用计数法 2、可达性分析
引用计数法
在对象上使用一个引用计数器,若有一个地方引用该对象,则加一;若引用失效,则减一。当计数器为0时,对象失效。
这个算法优点是:原理简单,判定效率高。
缺点也很明显:会有循环调用的问题。而如果需要解决这个问题,需要付出较大的代价。
可达性分析法
通过一系列GC Roots的根对象作为起始节点集,从这些节点开始,根据引用向下搜索,如果某个对象没有在搜索链中,则证明此对象失效。
Hotspot就用的可达性分析法判断对象是否失效。
在java中,固定作为GC Roots的对象有:1)在虚拟机栈中引用的对象 2)在方法区中类静态属性引用的对象 3)在方法区中常量引用的对象 4) 在本地方法栈中JNI引用的对象 5)Java虚拟机内部的引用,如基本数据类型对应的class对象,常见的异常对象 6)所有被同步锁持有的对象等。
不可达必须“死”?
如果引用计数法认为,某个对象不可达,那么,该对象就可以直接被枪毙吗,答案是否定的。此时,将会把它们放入死缓阶段,而真正执行需要再经过一次筛选,即此对象是否有必要执行finalize方法,假如对象没有覆盖此方法或者虚拟机已调用过此方法,才会认为它已死。固,finalize方法是对象逃脱死亡命运的最后一次机会,若此时未逃脱,则对象真正死亡。