プロンプトとコンテキスト
あなたのチームは Java 25 へのアップグレードを予定しており、数百万個の小さなオブジェクトによるヒープ使用量を削減するためにコンパクトオブジェクトヘッダーの導入を検討しています。何が変更されるのか、なぜデフォルトで有効になっていないのか、そして効果と互換性をどのように検証するかを説明してください。
JEP 519 は、Java 24 で実験的機能だったコンパクトオブジェクトヘッダーを、Java 25 で製品機能へと昇格させました。64 ビットアーキテクチャではヘッダーを 64 ビットに圧縮できますが、依然として明示的なオプトインが必要です。この面接では、HotSpot のレイアウト、ランタイムフラグ、および測定の境界条件に関する理解が試されます。
面接官が見ているポイント
オブジェクトヘッダーに含まれる情報、圧縮クラスポインタおよびレイアウトの制約、ロックと同一性ハッシュコード（identity hash）の共存、有効化フラグとデフォルト設定、ヒープおよび GC の因果関係を示すメトリクス、そしてロールバックとバージョン互換性計画について網羅してください。
30秒の回答フレームワーク
「コンパクトヘッダーは、HotSpot のオプションのメモリレイアウトとして扱います。JEP 519 は、一般的な 96 ビットまたは 128 ビットのヘッダーを 64 ビットに削減し、オブジェクトごとの固定オーバーヘッドを減らしてヒープ密度と局所性を向上させる可能性がありますが、Java 25 では依然としてデフォルトで無効になっています。私なら JDK を固定し、圧縮クラスポインタの条件を検証し、RSS、ライブセット、GC、スループットを比較する本番環境を模したアロケーションベンチマークを実行し、ロールバック用として -XX:-UseCompactObjectHeaders を保持します。」
ステップごとの詳細解説
ステップ 1: ヘッダーに格納される情報を提示する
HotSpot のヘッダーは、クラス情報、オブジェクトマーク、ロック状態、同一性ハッシュコード、および GC 関連情報をエンコードします。コンパクトレイアウトはこれらの値を 64 ビットワードに再パックします。これにより変更されるのは VM の内部表現であり、Java のフィールドや言語セマンティクスではありません。
ステップ 2: サイズ削減のメリットを説明する
従来の 64 ビット設定では、ヘッダーは通常 96 ビットであり、圧縮クラスポインタが無効な場合は 128 ビットになることがあります。コンパクトヘッダーは 64 ビットを目標としており、オブジェクトあたり最大 4 バイトまたは 8 バイトを節約します。全体の効果はオブジェクト数とオブジェクトサイズに依存するため、削減分をヒープ全体に直接そのまま適用することはできません。
ステップ 3: 有効化方法とフラグを説明する
Java 25 では、このオプションがプロダクトフラグになりました。次のように明示的に有効化します：
java -XX:+UseCompactObjectHeaders -jar service.jarこの機能は依然としてデフォルトのレイアウトではありません。ノード間で異なるレイアウトが意図せず混在しないよう、起動スクリプト、コンテナイメージ、診断ログに完全な JVM コマンドラインを記録する必要があります。
ステップ 4: クラスポインタとクラス数の制限に対処する
コンパクトレイアウトは、圧縮クラスポインタのエンコーディング空間に依存します。クラスロードの規模、動的生成されるプロキシ、モジュール数などが適用可否に影響を与える可能性があるため、小規模なローカルプログラムでの検証だけでは不十分です。本番環境相当のクラスパス、プロキシ生成、およびフラグを用いて起動を検証してください。
ステップ 5: ロックと同一性ハッシュを分析する
ヘッダーのビットは、ロック状態と同一性ハッシュ管理の両方に関与します。リグレッションテストには synchronized、wait/notify、および System.identityHashCode を含めてください。アプリケーションコードを変更する必要はありませんが、競合やハッシュ計算の後に VM がモニター構造体を割り当てる場合があります。
ステップ 6: 因果関係を検証できるベンチマークを構築する
本番環境のライフサイクルを持つオブジェクトグラフを作成し、有効なグループと無効なグループを実行し、ウォームアップを行って繰り返し測定します。ヒープピーク、ライブセット、アロケーションレート、GC 停止時間、スループット、起動時間、コンテナの RSS を信頼区間とともに記録します。単一の -Xmx の値や単一のレイテンシパーセンタイルだけでは効果を証明できません。
ステップ 7: ツールと互換性を検証する
対象 JDK の GC ログ、JFR、および jcmd VM.flags を使用して、実際のフラグを確認します。診断ツール、JVMTI エージェント、クラッシュダンプ、監視パーサーをチェックします。マイナーな JDK アップグレードの前には、起動、ロック競合、シリアライゼーション、およびヒープダンプのチェックを再実行してください。
ステップ 8: カナリアリリースとロールバックを定義する
ヒープ密度と停止時間を判定基準（ゲート）とし、同一のハードウェアと負荷の下で一部の環境に対してカナリアリリースを実施します。起動に失敗した場合、RSS が減少しない場合、またはロック競合が悪化した場合は、-XX:-UseCompactObjectHeaders に切り替えます。両方のコマンドラインと比較可能なベンチマークデータを保持し、1 回のリリースでレイアウトの変更と他の JDK 変更を混在させないようにします。
トレードオフと考慮すべき境界
メモリ密度 vs 診断の複雑さ
小さなオブジェクトが多いサービスでは密度向上のメリットが得られますが、ヘッダーのエンコーディングやツールサポートは複雑になります。オブジェクト数が少なくサイズが大きい場合は、アップグレードのリスクを受け入れる前にヘッダーの占める割合をプロファイリングしてください。
スループット vs 停止時間
オブジェクトが小さくなっても、すべての GC メトリクスが改善するとは限りません。ヒープ使用量が減るとスキャンが減少する可能性がありますが、ロックやハッシュの処理パスによってテールレイテンシが変化する可能性があります。スループット、停止時間、およびエラーバジェットを総合的に評価してください。
プロダクトフラグ vs デフォルトポリシー
JDK 25 のプロダクトフラグであることは、デフォルトで有効であることを意味しません。この値をランタイムベースラインに含め、イメージ、起動スクリプト、およびインシデント用ランブックに文書化してください。
障害訓練と段階的移行計画
生成されたプロキシによって起動が妨げられる場合
フラグを有効にした状態で完全なサービス上でプロキシを生成し、VM エラーをキャプチャします。クラスポインタ空間が不足している場合は、他のリリース変数を固定したままロールバックします。
同一性ハッシュのパスで性能が悪化する場合
ロック競合と wait/notify を実行しながら、多数のオブジェクトで System.identityHashCode を呼び出し、停止時間、スループット、およびモニター数を比較します。
観測期間のウィンドウが異なる場合
JFR、GC ログ、およびコンテナメトリクスが異なる期間をカバーしている場合は、まずサンプリングとウォームアップのタイミングを揃えます。異なる負荷条件下での最大値を比較してはいけません。
よくある間違いとフォローアップ
間違い 1: すべてのオブジェクトで 8 バイト節約できると思い込む
フォローアップ: なぜオブジェクト数に 8 を掛けてはいけないのですか？ ヘッダーサイズは以前のレイアウトと圧縮クラスポインタに依存します。アライメント、配列、TLAB の断片化、その他のヒープ構造が合計値に影響します。
間違い 2: プロダクトフラグをデフォルトとみなす
フォローアップ: Java 25 ではデフォルトで有効になっていますか？ いいえ。UseCompactObjectHeaders を明示的に使用し、ランタイムベースラインに記録してください。
間違い 3: スループットだけで成功を証明しようとする
フォローアップ: 他に何が重要ですか？ 少なくともライブセット、RSS、GC 停止時間、ロック競合、同一性ハッシュパス、および診断ツールとの互換性が重要です。
発展的なフォローアップと模範解答
どのサービスを最初にテストすべきですか？
オブジェクト数が膨大で、平均オブジェクトサイズが小さく、ヒーププレッシャーが高いサービスが最適な候補です。たとえば、高並行性キャッシュ、イベントパース、有効期間の短いリクエストオブジェクトなどです。大きなオブジェクトが少数しかないサービスは優先度が低くなります。
Java 24 での実験結果を Java 25 で再利用してはいけないのはなぜですか？
Java 25 では機能が実験的扱いから製品オプションに移行したため、VM、フラグ、ツールが変更されている可能性があります。対象の JDK 上でベンチマークとロールバック手順を再構築してください。
改善がコンパクトヘッダーによるものだとどのように証明しますか？
ハードウェア、JDK ビルド、GC、ヒープフラグ、データセット、ウォームアップを一定に保ち、UseCompactObjectHeaders のみを変更してテストを繰り返し、同一のメトリクスセットを比較します。