java – 看似无关的代码块注释掉的OutOfMemoryError

发布时间：2020-12-15 04:17:30 所属栏目：Java 来源：网络整理

导读：有人可以解释为什么当for循环被注释掉时这个程序会抛出一个OutOfMemoryError吗？如果它被取消注释,则运行正常. 抛出的异常是： Exception in thread “main” java.lang.OutOfMemoryError: Java heap space public class JavaMemoryPuzzlePolite{ private fi

有人可以解释为什么当for循环被注释掉时这个程序会抛出一个OutOfMemoryError吗？如果它被取消注释,则运行正常.

抛出的异常是：

Exception in thread “main” java.lang.OutOfMemoryError: Java heap space

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

解决方法

我已经使用许多不同类型的代码片段对此进行了调查,这些代码片段可以插入到您的注释中,并且唯一不会导致OutOfMemoryError的代码类型是为局部变量赋值的代码.

这是对我最有意义的解释：

当你有

byte[] data = new byte[dataSize];

bytecode instructions是

12: newarray       byte
    14: astore_1

newarray创建一个新数组,astore_1在局部变量1中存储对它的引用.

在此之后,该变量的范围将丢失,但字节码没有说明其值被清除的任何内容,因此存在对堆栈帧中剩余的该对象的引用.这个特定的垃圾收集器认为即使代码本身无法访问它也可以访问它.

相反,如果你尝试分配另一个局部变量,比如

byte i = 1;

然后相应的字节码指令就像

15: iconst_1      
    16: istore_1

其中iconst_1将值1存储在堆栈中,而istore_1将该值存储在变量1中,该变量似乎与之前的变量相同.如果是,那么您将覆盖其值,对byte []对象的引用将丢失,然后该对象“变得”符合垃圾回收的条件.

最后的证明

使用-g选项编译此代码

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

    public static void main(String[] args) throws InterruptedException {
        {
            System.out.println(dataSize);
            byte[] data = new byte[dataSize];

        }
        byte i = 1;
        System.out.println(dataSize);
        byte[] data2 = new byte[dataSize];
    }

}

然后运行javap -c -l Driver.你会看到像这样的LocalVariableTable

LocalVariableTable:
  Start  Length  Slot  Name   Signature
   15       0     1    data   [B
    0      33     0    args   [Ljava/lang/String;
   17      16     1     i     B
   32       1     2    data2  [B

其中slot是astore_1和istore_1中的索引.所以你看,当你为局部变量赋一个新值时,就会清除对byte []的引用.即使变量具有不同的类型/名称,在字节码中,它们也存储在同一个地方.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!