Java基础 -> GC如何判断对象可以被回收

GC如何判断对象可以被回收

  • 引⽤计数法(已被淘汰):每个对象有⼀个引⽤计数属性,新增⼀个引⽤时计数加1,引⽤释放时计数减1,计数为0时可以回收

    • 目前主流的java虚拟机都摒弃掉了这种算法,最主要的原因是它很难解决对象之间相互循环引用的问题。
    • 尽管该算法执行效率很高。
  • 可达性分析法:从 GC Roots 开始向下搜索,搜索所⾛过的路径称为引⽤链。当⼀个对象到 GC Roots 没有任何引⽤链相连时,则证明此对象是不可⽤的,那么虚拟机就判断是可回收对象。

    • 目前主流的编程语言(java,C#等)的主流实现中,都是通过可达性分析来判定对象是否存活的。

对象object 5、object 6、object 7虽然互相有关联,但是它们到GC Roots是不可达的,所以它们将会被判定为是可回收的对象,等待垃圾回收。

Java基础 -> GC如何判断对象可以被回收

GC Roots的对象有:

  • 虚拟机栈中引⽤的对象 -> 堆中的对象与栈之间没有任何引用

  • ⽅法区中类静态属性引⽤的对象 -> 堆中的对象与静态属性没有任何引用

  • ⽅法区中常量引⽤的对象 -> 堆中的对象与常量没有任何引用

  • 本地⽅法栈中Native⽅法引⽤的对象 -> 堆中的对象与本地⽅法栈没有任何引用

堆中的对象在四个地方都没有任何引用时,表示是可以被回收的

被GC判断为”垃圾”的对象一定会回收吗?

堆中的对象在四个地方都没有任何引用时,对象一定会被回收吗?

答:即使在可达性分析算法中不可达的对象,也并非是“非死不可”的。对象拥有一次⾃我拯救的机会。

对象被系统宣告死亡⾄少要经历两次标记过程:

  • 第⼀次是经过可达性分析发现没有与GC Roots相连接的引⽤链

    • 表示可以被回收了,但是有一次⾃我拯救的机会
  • 第⼆次是在由虚拟机⾃动建⽴的Finalizer队列中判断是否需要执⾏finalize()⽅法。

    • finalize()⽅法是Object类中的方法,作用就是用来对象被回收时可以被拯救用的。
    public class Object {
        protected void finalize() throws Throwable { }
    }
    
    • 当对象变成(GC Roots)不可达时,GC会判断该对象是否覆盖(重写)了finalize⽅法,若未覆盖,则直接将其回收。
    • 否则,若对象未执⾏过finalize⽅法,将其放⼊F-Queue队列,由⼀低优先级线程执⾏该队列中对象的finalize⽅法。
      • 这个方法只能被执行一次,只能有一次加入队列的机会,从队列出去就不会再被加入队列了
    • 执⾏finalize⽅法完毕后,GC会再次判断该对象是否可达,若不可达,则进⾏回收
    • 否则,对象“复活”

由于finalize()⽅法运⾏代价⾼昂,不确定性⼤,⽆法保证各个对象的调⽤顺序,不推荐⼤家使⽤,建议遗忘它。

public class TestMain {
    public static void main(String[] args) {
        Test test = new Test();
        // 第一次调用垃圾回收
        // 对象为null,第一次标记为可以被回收,但此次调用finalize()不会被真正回收
        test = null;
        System.gc();

        // 第二次调用垃圾回收
        // 对象为null,第二次不能再加入队列也不能再执行finalize()了,被真正回收了
        test = null;
        System.gc();
    }
}

class Test {
    //GC Roots: 来自静态属性
    public static Object object = null;

    @Override
    protected void finalize() throws Throwable {
        super.finalize();
        //引用静态属性
        object = this;
    }
}
上一篇:【C# GC】垃圾回收的工作模式


下一篇:JVM GC(垃圾回收篇)