Question

当我删除for循环时，我得到一个OutOfMemoryError。当我使用for循环时，我不会收到错误。任何人都可以帮助我理解这种行为吗？

public class JavaMemoryPuzzlePolite {
    private final int dataSize = (int) (Runtime.getRuntime().maxMemory() * 0.6);

    public void f() {
        {
            System.out.println(dataSize);
            byte[] data = new byte[dataSize];
        }
        for (int i = 0; i < 1; i++) {
            System.out.println("Please be so kind and release memory");
        }
        System.out.println(dataSize);
        byte[] data2 = new byte[dataSize];
    }

    public static void main(String[] args) {
        JavaMemoryPuzzlePolite jmp = new JavaMemoryPuzzlePolite();
        jmp.f();
    }
}

Answer 1

f()方法在解释框架中执行。解释的帧的行为与JIT编译的帧不同。这里是没有for循环的伪代码的样子：

1. Allocate dataSize bytes of memory
2. Store it into variable slot #1
3. Allocate dataSize bytes of memory
4. Store it into variable slot #1

所以你在步骤＃3上有OutOfMemoryError，因为旧的byte[]数组仍然存在于变量＃1中。但是添加for循环（实际添加i变量）会使事情变得不同：

1. Allocate dataSize bytes of memory
2. Store it into variable slot #1
3. Store 0 to slot #1 (thus byte[] array is now eligible for GC)
4. Do the for loop
5. Allocate dataSize bytes of memory
6. Store it into variable slot #2

这里，当您在步骤＃5分配新数组时，第一个数组可能已经被垃圾收集。

请注意，JIT编译器可能表现得更聪明，并且在变量未使用时将第一个数组与变量取消链接（在您的特定情况下，它根本不会分配它）。

另请注意，在您的特定情况下，结果取决于java编译器。 ECJ（Eclipse编译器）非常聪明，根本不会将第一个数组存储到变量中，因为它没有被使用。因此，即使没有for循环，你也不会在ECJ编译的类中获得OutOfMemoryError。

有关详细信息，您可以查看javap实用程序提供的字节码反汇编输出，并查看如何重用变量槽。

添加For循环可防止OutOfMemoryError

1 个答案: