HHVMの深淵：Repo Authoritative Modeとコードキャッシュの極限最適化
HHVM（HipHop Virtual Machine）のアーキテクチャ、そしてHack言語の厳格な静的型システムを極限まで駆動させる上で避けて通れない領域がある。それが Repo Authoritative Mode（リポジトリ権威モード） だ。
開発環境における緩やかな実行モデルとは異なり、数万リクエスト/秒を捌くプロダクション環境において、HHVMがどのようにバイトコードを解釈し、ネイティブ機械語へと昇華させているか。その内部メカニズムを理解していなければ、真のパフォーマンスを引き出すことはできない。
本稿では、HHVMのJITコンパイル構造の核心であるRepo Authoritative Modeの動作原理、メモリ管理、そしてゼロダウンタイムデプロイメントにおけるコードキャッシュの致命的な罠とその突破口について、チーフアーキテクトの視点から解き明かす。
—
1. Repo Authoritative Mode の内部メカニズム
通常、HHVMは起動時にスクリプトファイルを読み込み、パーサを通し、動的にHHBC（HipHop Bytecode）へコンパイルする。しかし、本番環境においてこのオーバーヘッドは致命的である。ファイルシステムのI/O、パースのCPUコスト、そして動的なクラスローディングの不確実性は、スケーラビリティの最大の敵となる。
Repo Authoritative Mode (`hhvm.repo.authoritative=true`) は、この動的処理を完全に排除する。
プレコンパイルされたHHBCバイナリ（HHBC Repo）
ビルドプロセスにおいて、ソースコードは事前に完全にコンパイルされ、単一の巨大なバイナリリポジトリ（通常は `.hhbc` 拡張子を持つ単一ファイル、あるいはSQLiteベースのストレージ）にパッケージングされる。
[Hack Source Code]
↓ (hhvm –hphpize / 独自ビルドパイプライン)
[HHBC Binary Repo (.hhbc)]
↓ (Repo Authoritative Mode)
[HHVM Runtime / JIT Engine] -> Direct Native Machine Code
このモードが有効化された瞬間、HHVMの挙動は以下のように変貌する。
1. ファイルシステムの遮断: ランタイムは `stat()` や `fopen()` をソースコードに対して行わない。すべてのクラス、関数、定数の定義はバイナリリポジトリ内のインデックスからメモリ上に直接マッピングされる。
2. 動的インクルードの封殺: `include` や `require` はリポジトリ内の静的グラフとして解決済みであり、存在しないファイルを動的に読み込むようなプログラミングパターンは即座に致命的なエラー（Fatal Error）となる。
3. 型情報の完全な固定: Hackの厳格な静的型システム（`<<____Enforceable>>` やジェネリクスなど）のメタデータが最適化された状態でバイナリに焼き込まれ、JITコンパイラがインラインキャッシュや型特化（Type Specialization）を躊躇なく適用できるようになる。
—
2. JITコンパイルとコードキャッシュ（Translation Cache）の構造
HHVMのJITエンジンは、単にバイトコードを機械語に翻訳するだけではない。実行時のプロファイル情報（Profiler-Guided Optimization: PGO）を元に、ネイティブコードを動的に再生成・最適化する。
ここで重要となるのが、生成された機械語が配置される Translation Cache（TC） だ。
TCのメモリレイアウトと制約
TCは、カーネルから匿名 mmap で確保された巨大な実行可能メモリ領域（`PROT_READ | PROT_WRITE | PROT_EXEC`）である。
HHVMの起動時、この領域のサイズは設定ファイル（`server.ini`）の `hhvm.jit_max_ahcc_size` や `hhvm.eval.jit_global_data_size` によって厳格に静的割り当てられる。
- TC Exhaustion（TC枯渇）: 実行パスが多様すぎたり、動的なコード生成（eval等、ただしRepo Authでは基本不可能）が頻発すると、TCが満杯になる。
- TC Flush（フラッシュ）: TCが溢れると、古い翻訳を破棄してキャッシュをクリアするコスト（あるいは最悪の場合はプロセス再起動）が発生し、レイテンシが劇的に跳ね上がる。
Repo Authoritative Modeでは、コードの構造が完全に静的であるため、PGOの最適化パスが最も効率的に収束し、TCのフットプリントを最小限に抑えることが可能になる。
—
3. 実践：Hackにおける型特化とJITの挙動
ここで、HHVMのJITがどのように型の確定恩恵を受けているかを、コードの観点から確認しよう。
namespace Hack\DeepDive;
<<__SupportDynamicType>>
class VectorProcessor {
// 厳格な型付けによるJIT最適化の恩恵を受けるメソッド
public function process(vec
$acc = 0;
foreach ($data as $val) {
// 型が vec
// JITはボクシング（box）を回避し、レジスタ上の生の内蔵整数演算にコンパイルする。
$acc += $val 2;
}
return $acc;
}
}
なぜこれが高速なのか？
ダイナミック言語（PHPなど）や緩い型付けのコンテキストでは、加算演算子 `+` が実行されるたびに「左辺と右辺の型は何か？」という型タグのチェック（Unboxing / Tag checking）が機械語レベルで挿入される。
しかし、Repo Authoritative Mode下におけるHackの厳格な型システムは、コンパイル時に `$data` が確実に `Int64` のベクターであることを保証する。結果として、JITコンパイラは型チェックの分岐命令（Branch）を完全に排除し、CPUのパイプラインを乱さない極めてクリーンなネイティブアセンブリを生成する。
—
4. 運用上の極意：ゼロダウンタイムデプロイとコードキャッシュの管理
本番環境における最大の難所は、「新しいバイナリリポジトリへの切り替え（デプロイ）」 と 「JITキャッシュのウォームアップ」 の両立である。
Repo Authoritative Modeでは、コードを変更して単にファイルを差し替えても、HHVMは古いバイナリをメモリ上に保持し続けるか、あるいは不整合を起こす。安全かつ爆速なデプロイメントを実現するための鉄則を以下に記す。
① アトミックなバイナリ切り替えとプロセスライフサイクル
デプロイ時は、新しい `.hhbc` ファイルをアトミックにビルドし、シンボリックリンクの切り替えによって配置する。しかし、実行中のHHVMプロセス（Proxygen等の嵌入サーバー）は、古いコードのTCを保持している。
そのため、グレースフル・リスタート（Graceful Restart / Hot Reload）のシーケンスを厳守する必要がある。
1. 新しいHHBCのビルド
hhvm –hphp -v All.Compile=1 -t hhbc -o /var/www/releases/v2/repo.hhbc /var/www/releases/v2/src
2. シンボリックリンクの原子的な更新
ln -sfn /var/www/releases/v2/repo.hhbc /var/var/run/hhvm/current.hhbc
3. 既存プロセスへのSIGUSR1シグナル送信（Graceful Reload）
新規リクエストは新しい repo.hhbc を参照するプロセスへルーティングされる
kill -SIGUSR1 $(cat /var/run/hhvm/hhvm.pid)
② JITプロファイル（PGO）の永続化とコールドスタート問題
プロセスが再起動された瞬間、Translation Cache（TC）は完全に空（コールドスタート）の状態になる。この状態でトラフィックを受け止めると、JITのコンパイルオーバーヘッドにより一時的にCPU使用率が急騰し、レイテンシが劣化する。
これを防ぐための極限のテクニックが JITプロファイル・プレウォーミング（JIT Profile Pre-warming / Cold-cache mitigation） である。
1. アクセスログからのリプレイ: 本番のトラフィックパターンを模したリクエスト群を、デプロイ直後のインスタンスに対して軽量に流し込む（スモークテスト兼ウォームアップ）。
2. プロファイルデータの共有（高度な運用）: HHVMが実行中に蓄積したPGOデータをディスクに書き出し、次回起動時に読み込ませることで、コールドスタートの時間を数秒単位で短縮する。
; server.ini の推奨設定スニペット（Repo Auth & JIT最適化）
hhvm.repo.authoritative = true
hhvm.repo.path = /var/var/run/hhvm/current.hhbc
; TCの最大サイズをマシンのメモリリミットに合わせて限界まで拡張
hhvm.eval.jit_max_ahcc_size = 67108864 ; 64MB以上を推奨
hhvm.eval.jit_global_data_size = 33554432
; プロファイリングの精度を高め、インライン展開を最大化
hhvm.eval.jit_ahcc_enable = true
—
5. 結びにかえて
Hack言語とHHVMの組み合わせは、Webスケールのアプリケーションにおいて、静的型付けの安全性と動的言語の俊敏性を極限の次元で両立させるアーキテクチャだ。
そのポテンシャルを骨の髄まで引き出す鍵は、Repo Authoritative Modeの本質を理解し、バイナリリポジトリ、メモリ空間、そしてJITコードキャッシュのライフサイクルを完全に制御することにある。
妥協のないシステム設計を貫き、ミリ秒単位のレイテンシと戦うエンジニアたちへ。この知見が、あなたのシステムを次のフェーズへと押し上げる羅針盤となることを期待する。