System.gc()会回收仍然被本地变量引用的对象

Question

System.gc()会回收仍然被本地变量引用的对象

3

当我运行以下程序时：

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 根不是一个引用。

- K.shun

1

你的问题是什么？200000个对象并不是丢失了，它从来就不存在。如果你想要实例化它，那么不要写成<200000，而应该写成<=200000。如果你的问题是：为什么垃圾回收器没有运行，那么...我们可以请求垃圾回收器运行，但我们不能自己让它运行。 - Stultuske

谢谢，你可以试一下，我在localhost:7000中找不到200000个对象。 - K.shun

我刚刚解释了为什么你的代码没有创建一个。 - Stultuske

2

@Stultuske，OP并没有询问第200000个对象，而是所有200000个对象。当然，他的语法有待改进。但是，你的解释完全错误。当您从零开始迭代条件<n时，您将执行n次迭代，因此在每次迭代中创建一个对象时创建n个对象。这是标准的for循环习惯用法，在C，Java和许多其他语言中使用。不要建议在此处使用<=，因为那样会多进行一次迭代。 - Holger

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Holger · Accepted Answer

本地变量本身并不是GC根。 Java®语言规范定义如下：

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

显然，需要一个持有对象引用的变量才能使它能够在“潜在的连续计算”中从活动线程中访问，因此，缺乏这样的变量可以用作检查对象是否不可访问的易于检查的标志。

但这并不排除额外努力来识别仍由本地变量引用的不可访问对象。规范甚至在同一节中明确声明：

“程序的优化转换可以被设计为减少可达对象的数量，使其小于那些可能被认为是可达的对象的数量。例如，Java编译器或代码生成器可以选择将不再使用的变量或参数设置为null，以使该对象的存储能够更快地被回收。”

。

无论它是否实际执行取决于当前执行模式，例如方法是解释运行还是已经编译。从Java 9开始，您可以插入显式屏障，例如：

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);
}

这将强制列表保持活动状态。

对于早期的Java版本，另一种选择是同步：

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();
        }
    }
}

通常情况下，您希望未使用的对象尽早被收集。当您将finalize()与对可达性的天真假设一起使用时，可能会出现问题。