gc（）收集仍然被局部变量引用的对象[重复]

Question

public static void main(String[] args) {

    ArrayList<Object> lists = new ArrayList<>();
    for (int i = 0; i <200000 ; i++) {
        lists.add(new Object());
    }
    System.gc();
    try {
        Thread.sleep(Integer.MAX_VALUE);
    } catch (InterruptedException e) {
        e.printStackTrace();
    }
}

jmap -dump:live,format=b,file=heap.bin 27648
jhat -J-Xmx2G heap.bin

缺少ArrayList和200000个对象。

我不知道为什么JVM知道这些对象不会被使用，也不知道为什么JVM判断这个GC根不是引用。

Answer 1

局部变量本身不是GC根。Java®语言规范定义了：

可达对象是指可以在任何活动线程的任何潜在的持续计算中访问的任何对象。

很明显，它需要一个包含对象引用的变量，以使它能够在“潜在的持续计算”中从活动线程访问它，所以没有这样的变量可以用作一个容易检查的标志，表明一个对象是不可访问的。

它是否真的执行，取决于诸如当前执行模式之类的条件，即该方法是否运行已解释或已编译。

从Java9开始，您可以插入显式屏障，例如。

public static void main(String[] args) {
    ArrayList<Object> list = new ArrayList<>();
    for (int i = 0; i <200000 ; i++) {
        list.add(new Object());
    }
    System.gc();
    try {
        Thread.sleep(Integer.MAX_VALUE);
    } catch (InterruptedException e) {
        e.printStackTrace();
    }
    Reference.reachabilityFence(list);
}

这将强制列表保持活力。

public static void main(String[] args) {
    ArrayList<Object> list = new ArrayList<>();
    for (int i = 0; i <200000 ; i++) {
        list.add(new Object());
    }
    System.gc();
    synchronized(list) {
        try {
            Thread.sleep(Integer.MAX_VALUE);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }
}