分離スタックの概要と設計背景

Java 24 では、高並列マイクロサービス環境におけるメモリ効率とスレッド軽量化を実現するため、分離スタック（Split Stack）技術が導入された。従来の JVM スタックは固定サイズで、深すぎる再帰や多数のスレッドが同時に動作すると StackOverflowError や過剰なヒープ外メモリ消費を引き起こしていた。分離スタックはこれを解決し、必要に応じてスタック領域を動的に拡張・回収可能にする。

以下コードは、従来なら失敗するような深さ10万の再帰呼び出しを、分離スタック有効時に安全に実行する例である：

public class RecursiveDemo {
    static void deepCall(int n) {
        if (n == 0) return;
        deepCall(n - 1);
    }

    public static void main(String[] args) {
        deepCall(100_000); // Java 24 + 分離スタックで成功
    }
}

分離スタックの内部構造と継続（Continuation）との連携

JVM 内部では、各メソッド呼び出しが独立した「スタックチャンク」に格納される。これらのチャンクはリンクリスト構造で接続され、不要になった時点でガベージコレクションの対象となる。この設計は Go 言語の goroutine スタック管理と類似している。

さらに、仮想スレッド（Virtual Thread）は継続（Continuation）を基盤としており、ブロッキング操作時に OS スレッドを解放できる。以下は継続を使った協調的マルチタスクの例：

var cont = new Continuation(ContinuationScope.DEFAULT, () -> {
    System.out.println("Phase A");
    Continuation.yield(ContinuationScope.DEFAULT);
    System.out.println("Phase B");
});

cont.run(); // "Phase A" 出力
cont.run(); // "Phase B" 出力（中断位置から再開）

マイクロサービスにおける実践的利点

大規模マイクロサービスでは、同期 I/O や固定スタックサイズがスケーラビリティのボトルネックとなる。分離スタックを活用した仮想スレッドにより、1プロセス内で数十万単位の並行処理が可能になる。

たとえば、非同期 HTTP ハンドラで仮想スレッドを活用すると、プラットフォームスレッドの枯渇を回避できる：

try (var executor = Executors.newVirtualThreadPerTaskExecutor()) {
    IntStream.range(0, 50_000).forEach(i ->
        executor.submit(() -> {
            // 非同期 I/O シミュレーション（実際は CompletableFuture 等推奨）
            try { Thread.sleep(20); } catch (InterruptedException e) {}
            return "OK";
        })
    );
}

このモデルでは、各タスクが 2–8 KB のスタックしか消費せず、コンテキストスイッチコストも約 50 ns と極めて低い。

Spring Boot での適用と監視

Java 24 の分離スタックを Spring Boot アプリで有効にするには、起動オプションに以下を追加する必要がある：

--enable-preview --XX:+EnableSplitStack

また、アプリケーションレベルでのパフォーマンス可視化には Java Flight Recorder（JFR）のカスタムイベントが有効である：

@Label("API Request")
public class ApiEvent extends jdk.jfr.Event {
    @Label("Path") String path;
    @Label("Latency") long latencyMs;

    public ApiEvent(String path, long latency) {
        this.path = path;
        this.latencyMs = latency;
    }
}

イベント生成箇所で new ApiEvent(...).commit() を呼び出すことで、JFR レポートにビジネスロジックの遅延情報を埋め込める。

将来展望：エッジコンピューティングとの統合

分離スタックのような軽量実行モデルは、リソース制約のあるエッジデバイスでも有効である。たとえば、Jetson Orin などの AI 加速ハードウェア上で、低遅延かつ低消費電力で推論サービスを提供する際に、数万の同時接続を効率よく捌く基盤となる。