OutOfMemoryErrorのcatch句内でなぜ処理できる？

Question

OutOfMemoryErrorのcatch句内でなぜ処理できる？

JavaSE8です。
ヒープを使い切ってOutOfMemoryErrorがでたのであれば新しいオブジェクトをインスタンス化できないのでは？と思ったのですがキャッチ句内でもインスタンス生成できることが疑問です。

アドバイスのほど宜しくお願いいたします。

Comments

[swordone]

具体的なコードを提示してください。

Answer 1

OutOfMemoryErrorは、空いているメモリに対して、作成しようとするオブジェクトが大きい場合に発生します。空きがぴいたり0になったときではありません。newに失敗したときにそのオブジェクト分のメモリは確保されませんので、メモリはわずかながら空いている状態です。つまり、newに失敗したオブジェクトよりcatch句で生成するオブジェクトの方がサイズが小さければ作成できる場合があります。もし、空きがぎりぎりでオブジェクトを生成したり、同じぐらい大きなサイズのオブジェクトをcatch句で作成しようとすれば、再度OutOfMemoryErrorが発生します。

import java.util.List;
import java.util.ArrayList;

class OutMemoryTest {
    public static void main(String[] args) {
        System.out.println("[total] = [used] + [free] | [max]");
        List<int[][]> list = new ArrayList<>();
        try {
            for (int i = 0; i < 1000; i++) {
                list.add(new int[1000][1000]);
                printMemory();
            }
        } catch (OutOfMemoryError e) {
            System.out.println("out of memory");
            printMemory();
            list.add(new int[1000][1000]); // 再度OutOfMemoryErrorが発生
        }
        printMemory();
    }

    public static void printMemory() {
        long total = Runtime.getRuntime().totalMemory();
        long free = Runtime.getRuntime().freeMemory();
        long max = Runtime.getRuntime().maxMemory();
        long use = total - free;
        System.out.printf("%10d = %10d + %10d | %10d\n",
            total, use, free, max);
    }
}

※ Runtime.getRuntime().〜Memory()はヒープのメモリではなくJava VMのメモリであり、参考程度です。正確なヒープメモリの本当の空き具合はGCの動作をみるためにjstatなどを使う必要があります。

Answer 2

GCをやって不要なメモリーを回収しきった際の残りのメモリーがRESTであったときRESTより大きなサイズを確保しようとして発生するのがOutOfMemoryErrorですが、当然ながら確保失敗なのでまだメモリーの残量がRESTのままの状態でエラー処理が始まります。

ゆえにcatch節でREST未満のメモリーはまだ確保できるわけです。

しかしながら巨大なメモリーを確保しようとしてこのエラーが発生するのではなく、少しずつメモリーを圧迫していきながら最後に(RESTが非常に小さな値のときに)止めのnewをしようとした場合、catch節で利用可能なメモリー残量が非常に小さいため小さなオブジェクトをnewしようとしても、それさえできないということが起こるかもしれません。そうした場合は正しい例外処理ができるとは期待できないでしょう。

しかしアプリケーションを設計するときそのような状況にはならないように「メモリー見積もりをしておく」ことが普通でしょうから、メモリーリークバグがない限りメモリー不足のリカバリーができないという状況には普通ならないと思います。

Answer 3

すでに出ている回答のほかに考えられることとして…
0. tryブロックの中でのみ有効な変数がある
tryを抜ければそれらはGC対象になるので、新たなインスタンス用のメモリを確保できる可能性がある
0. OutOfMemoryの原因が再帰メソッドのオーバーフロー
OutOfMemoryErrorが出てメソッドから抜けるとメソッドが確保していたヒープメモリが解放される

いずれにせよ、Errorなのでキャッチすべきではないのですがね。