HHVM JITの深淵：レジスタ・スピルの呪縛をHackの型システムで解く
HHVMのJITエンジンは、単なるバイトコードの翻訳機ではない。それは、高水準言語の抽象度を維持しつつ、ハードウェアのレジスタという「有限の楽園」をいかに効率的に支配するかを競う、終わりなき戦争の舞台だ。
多くの仮想マシンが動的型付けの曖昧さに足をすくわれ、頻繁なメモリアクセス（スピル）を強いられる中、なぜHackはこれほどまでに高速なのか。その秘密は、型システムとJITのレジスタアロケータ（RA）が交わす、密な「契約」にある。
—
1. レジスタ・スピルの正体：ボトルネックの物理的根拠
現代のCPUにおいて、L1キャッシュへのアクセスはレジスタアクセスの数倍から数十倍のレイテンシを要する。JITコンパイラが変数を物理レジスタに収めきれなくなった瞬間、その変数はスタック（メモリ）へと追い出される。これが「レジスタ・スピル」だ。
LLVMベースのコンパイラや従来のVMでは、変数の生存期間（Live Range）の予測が困難なため、保守的なスピルが発生する。しかし、Hackでは状況が異なる。
2. 型情報がもたらす「生存期間の最適化」
Hackの厳格な型システム（Strict Mode）は、単なるデバッグツールではない。我々アーキテクトにとって、それは「変数の寿命の境界線」を明確にするための静的証明だ。
HHVMのJIT（特に`Region-based JIT`）は、中間表現（HHIR）において、型情報を元に以下の最適化を強制する。
ライフタイム解析の精度向上
Hackの型情報があれば、ある変数が「いつまでポインタとして保持されるべきか」「いつ型変換（Box/Unbox）が必要か」が確定する。
- 動的言語の場合: 変数の型が変化する可能性があるため、ライフタイムは最大公約数的な長さになりがちで、レジスタを占有する期間が長くなる。
- Hackの場合: 特定のスコープ内で型が不変であることが保証されているため、生存期間を極限まで短縮できる。
これにより、レジスタアロケータは「この型はもう使われない」と判断した瞬間にレジスタを解放し、別の変数をロードできる。これはメモリ・アクセスを劇的に減らす。
—
3. HHVM JITの内部：レジスタ・アロケータの戦略
HHVMが採用する「線形走査レジスタ割り当て（Linear Scan Register Allocation）」は、型情報によって以下のように洗練される。
// HHIRレベルでの型推論とレジスタ割り当ての概念例
function process(int $a, int $b): int {
$c = $a + $b; // $a, $b, $c はすべてレジスタに保持可能
return $c 2;
}
このコードにおいて、Hackの型システムは `$a`, `$b`, `$c` がすべてネイティブ整数型であることを保証する。JITはこれらを`rdi`, `rsi`, `rax`といった物理レジスタに直接マッピングし、スタックへの書き込みを一切行わないコードを生成する。
もし型が不確定であれば、JITは「ボックス化（メモリ確保）」と「型チェックによる条件分岐」を挿入しなければならない。この分岐がパイプライン・ハザードを招き、メモリ・アクセスを誘発するのだ。Hackは、このコストをコンパイル時に抹殺する。
—
4. 防御的最適化：スピルを最小化する極意
シニアエンジニアとして注目すべきは、HHVMの「プロファイル駆動型最適化（PGO）」と「型ヒント」の融合だ。
1. 型ヒントによるキャストの排除: 不要な`Unbox`操作はメモリアクセスを増やす。厳密な型ヒントは、生成されるマシンコードから不要な`mov`命令を消し去る。
2. インライン化の連鎖: `HH\Vector`や`dict`の内部アクセスにおいて、型が確定していれば、JITはメモリ・オフセット計算を定数として埋め込める。これにより、インデックスアクセス時のスピルを最小化する。
警告：型を曖昧にするな
`mixed`型や、型消去が起きるような設計は、JITにとって「ここからは何が起きるか不明」というブラックボックスを意味する。ブラックボックスに入った瞬間、JITは安全のために全てのレジスタをスタックに退避（Spill）させ、実行環境をリセットせざるを得ない。これがパフォーマンスの崖だ。
—
結論：コードは「型」によって物理化される
Hackにおいて、型システムは単なる言語仕様ではない。それは、HHVMという仮想的なハードウェアに対して、効率的に計算リソースを割り振るための指令書である。
もし君がシステムの限界に挑むなら、コードをただ書くのではなく、型を通して「この変数はどのレジスタに住まわせるべきか」を意識せよ。生存期間を意識した設計、そして型を強固に保つこと。これこそが、メモリアクセスを最小化し、CPUをフル稼働させるための、唯一の道である。
HHVMの深淵は、まだ入り口に過ぎない。次は、JITのトレース・キャッシュがどのように命令パイプラインを飽和させているか、その詳細を覗いてみるとしよう。