Javaのランタイムスタックの仕組みを徹底解説!スタックフレームとスレッド終了の流れ

Javaのランタイムスタックとは

Javaでは、プロセスやコード、スレッドが実行されるたびに「ランタイムスタック」が作成されます。これは、スレッドの実行中に行われる一連の操作を記録しておくための領域です。

ランタイムスタック内の各エントリは「スタックフレーム」または「アクティベーションレコード」と呼ばれます。メソッドが呼び出されるたびに新しいスタックフレームがスタックに積まれ、そのメソッドの実行が完了すると、関連するデータはスタックから取り除かれます。

すべてのメソッドの実行が完了すると、ランタイムスタックは空になり、メモリから解放されます。この時点でランタイムスタックは破棄され、スレッドも終了します。

スレッドの終了方法

スレッドの終了には、主に次の2つのパターンがあります。

• 正常終了： スレッドがすべての処理を完了し、自発的に終了するケース
• 異常終了： エラーの発生などにより、強制的に中断されるケース

なお、ランタイムスタック内の要素が破棄される順序は、エントリが作成された順序と逆になります(LIFO:Last In First Out)。これはスタックというデータ構造の基本的な特性です。

正常終了時の動作

スレッドが正常に動作して実行を完了する場合、まずmainメソッドが呼び出され、そのエントリがランタイムスタックに格納されます。続いて他のメソッドが呼び出されると、それぞれのエントリがスタックに積まれていきます。

各メソッドの実行が完了すると、そのエントリはスタックから取り除かれます。このとき、最後に実行されたメソッドのエントリから先に削除される点に注意してください。

異常終了時の動作

スレッドが異常終了するということは、コードのすべての行を実行し切れなかったことを意味します。つまり、実行中にエラーに遭遇し、例外が発生したということです。以下に具体例を示します。

サンプルコード

public class Demo{
    public static void main(String[] args){
        test();
    }
    public static void test(){
        test_2();
        System.out.println("This is a test method.");
    }
    public static void test_2(){
        System.out.println(45/0);
        System.out.println("This is a method that divides 10 by 0.");
    }
}

実行結果

Exception in thread "main" java.lang.ArithmeticException: / by zero
at Demo.test_2(Demo.java:14)
at Demo.test(Demo.java:9)
at Demo.main(Demo.java:5)

コードの解説

Demoクラスのmainメソッドでは、testメソッドが呼び出されています。さらにtestメソッドの中ではtest_2メソッドが呼び出され、test_2メソッド内では数値を0で除算しようとしています。

0による除算は定義されていないため、ここでArithmeticException(算術例外)が発生し、コンソールに出力されます。例外が発生した時点で制御は中断されるため、その後のprintlnの行は実行されず、メッセージが表示されることはありません。

また、出力されたスタックトレースに注目してください。例外の発生地点であるtest_2メソッドから、呼び出し元のtestメソッド、さらにmainメソッドへと遡って情報が出力されています。これはまさにランタイムスタック上のメソッド呼び出しの構造がそのまま反映されたものであり、スタックの仕組みを理解する良い例といえます。