Java --- JVM之垃圾回收相关算法


public class RefCountGCTest {
    //占用5mb的内存
    private byte[] bigSize = new byte[5 * 1024 * 1024];
    Object reference = null;
    public static void main(String[] args) {
        RefCountGCTest refCountGCTest1 = new RefCountGCTest();
        RefCountGCTest refCountGCTest2 = new RefCountGCTest();
        refCountGCTest1.reference = refCountGCTest2;
        refCountGCTest2.reference = refCountGCTest1;
        refCountGCTest1 = null;
        refCountGCTest2 = null;
        //显示的执行垃圾回收行为
        System.gc();
    }
}

情况1：不显示调用gc()回收

情况2：显示调用gc()回收

总结：1、引用计数算法，是很多语言的资源回收选择，例如python，它更是同时支持引用计数和垃圾收集机制。2、具体那种算法最优要看场景，业界有大规模实践中仅保留引用计数机制，以提高吞吐量的尝试。3、Java并没有选择引用计数，是因为其存在一个基本的难题，也就是很难处理循环引用关系。4、解决办法：①、手动解除，即在合适的时机，解除引用关系。②、使用弱引用weakref，weakref是python提供的标准库，意在解决循环引用。

1.3、可达性分析算法

1、相对于引用计数算法，可达性分析算法不仅同样具备实现简单和执行高效等特点，更重要的是该算法可以有效地解决在引用计数算法中循环引用的问题，防止内存泄漏的发生。

2、相较于引用计数算法，可达性分析就是Java、C#选择的。这种类型的垃圾收集通常也叫作追踪性垃圾收集(Tracing Garbage Collection)

3、所谓”GC roots“根集合就是一组必须活跃的引用。

4、基本思路：

①、可达性分析算法是以根对象集合(GC Roots)为起始点，按照从上至下的方式搜索被根对象集合所连接的目标对象是否可达。

②、使用可达性分析算法后，内存中的存活对象都会被根对象集合直接或间接连接着，搜索所走过的路径称为引用链(reference Chain)。

③、如果目标对象没有任何引用链相连，则是不可达的，意味着该对象已经死亡，可以标记为垃圾对象。

④、在可达性分析算法中，只有能够被根对象集合直接或者间接连接的对象才是存活对象。

1.4、GC Roots

1、虚拟机栈中引用的对象，如各个线程被调用的方法中使用到的参数、局部变量等。

2、本地方法栈内JNI(通常说的本地方法)引用的对象。

3、方法区中类静态属性引用的对象。如Java类的引用类型静态变量

4、方法区中常量引用的对象。如字符串常量池(String Table)里的引用。

5、所有被同步锁synchronized持有的对象。

6、Java虚拟机内部引用。如基本数据类型对应的Class对象，一些常驻的异常对象(例如NullPointerException,OutOfMemoryError),系统类加载器。

7、反映Java虚拟机内部情况的JMXBean、JVMTI中注册的回调、本地代码缓存等。

8、除了固定的GC Roots集合以外，根据用户所选用的垃圾收集器以及当前回收的内存区域不同，还可以有其他对象”临时性“地加入，共同构成完整GC Roots集合。如：分代收集和局部回收(Partial GC)。

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

二、对象的finalization机制

1、当Java语言提供了对象终止(finalization)机制来允许开发人员提供对象被销毁之前的自定义处理逻辑。

2、当垃圾回收器发现没有引用指向一个对象，即：垃圾回收此对象之前，总会先调用这个对象的finalize()方法。

3、finalize()方法允许在子类中被重写，用于在对象被回收时进行资源释放。通常在这个方法中进行一些资源释放和清理工作，如关闭文件，套接字和数据库连接。

4、永远不要主动调用某个对象的finalize()方法，应该交给垃圾回收机制调用。原因：①、在finalize()时可能会导致对象复活。②、finalize()方法的执行时间是没有保障的，它完全由GC线程决定，极端情况下，若不发生GC，则fianlize()方法将没有执行机会。③、一个糟糕的finalize()会严重影响GC的性能。

5、从功能上来说，finalize()方法与C++中的析构函数比较相似，但是Java采用的是基于垃圾回收器的自动内存管理机制，所以finalize()方法本质上不同于C++中的析构函数。

6、由于finalize()方法的存在，虚拟机中的对象一般处于三种可能的状态。

2.1、生存还是死亡？

1、如果从所有根节点都无法访问到某个对象，说明对象已经不再使用了。一般来说，此对象需要被回收。但事实上，也并非是“非死不可”的，这时候它们暂时处于“缓刑”阶段。一个无法触及的对象有可能在某一个条件下“复活”自己，如果这样，那么对它的回收就是不合理的，为此，定义虚拟机中的对象可能的三种状态。

①、可触及的：从根节点开始，可以达到这个对象。

②、可复活的：对象的所有引用都被释放，但是对象有可能在finalize()中复活。

③、不可触及的：对象finalize()被调用，并且没有复活，那么就会进入不可触及状态。不可触及的对象不可能被复活，因为finalize()只会被调用一次。

2、以上3种状态中，是由于finalize()方法的存在，进行的区分，只有在对象不可触及时才可以被回收。

参考代码：


public class CanReliveTest {
    //类变量
    public static CanReliveTest canReliveTest;
    //重写finalize()，只能被调用一次
    @Override
    protected void finalize() throws Throwable {
        super.finalize();
        System.out.println("调用当前类重写finalize()");
        //当前待回收的对象在finalize()方法中与引用链上的一个对象canReliveTest建立了联系
        canReliveTest = this;
    }
 
    public static void main(String[] args) {
 
        try {
            canReliveTest = new CanReliveTest();
            //对象第一次拯救自己
            canReliveTest = null;
            System.gc();
            System.out.println("第一次gc调用");
            Thread.sleep(2000);
            if (canReliveTest == null){
                System.out.println("canReliveTest is dead");
            }else {
                System.out.println("canReliveTest is still alive");
            }
            System.out.println("第二次gc调用");
            canReliveTest = null;
            System.gc();
            Thread.sleep(2000);
            if (canReliveTest == null){
                System.out.println("canReliveTest is dead");
            }else {
                System.out.println("canReliveTest is still alive");
            }
        } catch (InterruptedException e) {
            throw new RuntimeException(e);
        }
    }
}

三、查看GC Roots

3.1、使用MAT查看

MAT是MemoryAnalyzer的简称，它是一款功能强大的Java堆内存分析器，用于查找内存泄漏以及查看内存消耗情况。是基于Eclipse开发的，是一款免费的性能分析工具

方式：使用JVisualVM生成dump文件

参考代码：


public class GCRootsTest {
    public static void main(String[] args) {
        ArrayList

	Mark-Sweep	Mark-Compact	Copying
速度	中等	最慢	最快
空间开销	少(但会堆积碎片)	少(不会堆积碎片)	通常需要活对象的2倍(不堆积碎片)
移动对象	否	是	是