垃圾标记阶段的算法之引用计数算法

在执行GC前要先判断那些是存活对象，哪些是已经死亡的对象。只有被标记为已死亡的对象，GC的时候才会把它收拾掉。
判断对象是否存活一般有两种方式：引用计数算法(Java并不使用)、可达性分析算法

在这里插入图片描述

/**
 * -XX:+PrintGCDetails
 * 证明：java使用的不是引用计数算法
 */
public class RefCountGC {
    //这个成员属性唯一的作用就是占用一点内存
    private byte[] bigSize = new byte[5 * 1024 * 1024];//5MB

    Object reference = null;

    public static void main(String[] args) {
        RefCountGC obj1 = new RefCountGC();
        RefCountGC obj2 = new RefCountGC();

        obj1.reference = obj2;
        obj2.reference = obj1;

        obj1 = null;
        obj2 = null;
        //显式的执行垃圾回收行为
        //这里发生GC，obj1和obj2能否被回收？
        System.gc();

        try {
            Thread.sleep(1000000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }
}

在这里插入图片描述

小结

引用计数算法,是很多语言的资源回收选择,例如Python,它更是同时支持引用计数和垃圾收集机制。
Java并没有选择引用计数,是因为其存在一个基本的难题,也就是很难处理循环引用关系。
Python如何解决循环引用?
①手动解除:很好理解,就是在合适的时机,解除引用关系。
②使用弱引用 weakref, weakref是 Python提供的标准库,旨在解
决循环引用。

垃圾标记阶段的算法之可达性分析算法

也可称为根搜索算法、追踪性垃圾收集

相对于引用计数算法而言,可达性分析算法不仅同样具备实现简单和执行高效等特点,更重要的是该算法可以有效地解决在引用计数算法中循环引用的问题,防止内存泄漏的发生。
相较于引用计数算法,这里的可达性分析就是Java、C#选择的。这种类型的垃圾收集通常也叫作追踪性垃圾收集( Tracing Garbage Collection)

基本思路
在这里插入图片描述

在这里插入图片描述

GC Roots根集合就是一组必须活跃的引用
在这里插入图片描述

注意

如果要使用可达性分析算法来判断内存是否可回收,那么分析工作必须在一个能保障一致性的快照中进行。这点不满足的话分析结果的准确性就无法保证
这点也是导致GC进行时必须”Stop The World”的一个重要原因
-—>即使是号称(几乎)不会发生停顿的CMS收集器中,枚举根节点时也是必须要停顿的。

对象的finalization机制

Java语言提供了对象终止(finalization)机制来允许开发人员提供对象被销毁之前的自定义处理逻辑。
当垃圾回收器发现没有引用指向一个对象,即:垃圾回收此对象之前,总会先调用这个对象的finalize()方法
finalize()方法允许在子类中被重写
永远不要主动调用某个对象的finalize()方法,应该交给垃圾回收机制调用。理由包括下面三点:
①在finalize()时可能会导致对象复活。
②finalize()方法的执行时间是没有保障的,它完全由GC线程决定,极端情况下,若不发生GC,则 finalize()方法将没有执行机会。
③一个糟糕的 finalize()会严重影响GC的性能。
由于finalize()法的存在,虚拟机中的对象一般处于三种可能的状态。
具体过程