HHVMのプロファイルガイド付き最適化（PGO）の深層：ランタイム型分布がJITコード生成を支配するメカニズム
ヘビーなプロダクション環境でHackを運用しているなら、HHVM（HipHop Virtual Machine）のJITコンパイラが単なる「静的型のトレーサー」ではないことを知っているはずだ。
Hackは厳格な静的型システムを持つ。しかし、HHVMの真の凄みは、その静的型情報に甘んじず、実行時の型分布（Runtime Type Distribution）をプロファイルし、ネイティブマシンコードを動的に再編する能力にある。
本稿では、HHVMのプロファイルガイド付き最適化（Profile-Guided Optimization: PGO）の内部挙動を解剖し、型分布がJITの分岐予測、インライン展開、そしてメモリレイアウトにどう影響を与えるのか、その極限の低レイヤ知見を解説する。
—
1. 静的型システムとランタイム型の乖離
Hackのコードベースにおいて、型チェッカー（`hh_client`）は完全な静的保証を与える。しかし、ポリモーフィズムやインターフェイスの多用、さらには`mixed`やジェネリクス境界の曖昧な領域では、静的な型と実際のランタイムの型に乖離が生じる。
// 典型的なポリモーフィックな呼び出し
interface Processor {
public function process(mixed $data): mixed;
}
class FastIntProcessor implements Processor {
public function process(mixed $data): mixed {
// 整数演算に特化した処理
return $data as int 2;
}
}
class ComplexObjectProcessor implements Processor {
public function process(mixed $data): mixed {
// 複雑なオブジェクト処理
return / … /;
}
}
function execute_pipeline(Processor $p, mixed $data): mixed {
// $p の具体的なクラスは実行時まで不明（静的には Processor インターフェイス）
return $p->process($data);
}
静的解析の視点では、`$p->process()` は仮想メソッド呼び出し（Vtableルックアップ）としてコンパイルされるべきだと判断される。だが、HHVMのJITはこれを許さない。
—
2. PGOパイプラインとTC（Translation Cache）の二段階最適化
HHVMのJITは、最初から最高性能のネイティブコードを吐くわけではない。コードの実行ライフサイクルは以下のフェーズを辿る。
1. Unit (Bytecode) 実行: インタープリタまたは初期の低最適化JIT（Translator Basic: TBC）で実行され、プロファイルカウンタがインクリメントされる。
2. プロファイリング: ホットスポット（Hotspot）が検出されると、どのメソッドでどのような型が渡されているかの「型プロファイル（Type Profile）」が収集される。
3. PGOによる再コンパイル: 収集された型分布をもとに、Translator Advanced (TAC) が極限まで最適化されたネイティブコードを生成し、Translation Cache (TC) に焼き付ける。
型フィードバック（Type Feedback）の魔術
HHVMは、プロファイルフェーズにおいて「このコールサイトを通過した引数・レシーバの型の99%が `FastIntProcessor` である」という統計情報を取得する。
この情報が得られた瞬間、JITはVtableルックアップをインラインキャッシュ（Inline Cache）および単態化（Monomorphization）／ガード付きdevirtualizationに置き換える。
—
3. JITコード生成への影響：分岐予測とガードの最適化
PGOによって生成される機械語の内部構造を見てみよう。概念的なアセンブリ／IRレベルの挙動は以下のようになる。
; — PGO適用前の仮想メソッド呼び出し (Vtableルックアップ) —
mov rdi, [rbx + offset_to_vtable]
call qword ptr [rdi + method_offset]
; — PGO適用後 (Fast Path / Guard付きインライン展開) —
; 1. ガード: レシーバのクラスIDが FastIntProcessor か？
mov rax, [rbx + 8] ; オブジェクトヘッダからClassポインタを取得
cmp rax, 0x7fff54a00120 ; FastIntProcessor のコンパイル時既知のClass ID
jne .cold_slow_path ; 予測ミス（全体の1%未満）ならスロウパスへ
; 2. ファストパス: インライン展開された処理 (Vtableを経由しない直接ジャンプ/埋め込み)
; $data as int 2 の実体処理がここに展開される
imul rsi, 2
jmp .join_point
.cold_slow_path:
; 3. スロウパス: 予期せぬ型が来た場合のフォールバック（通常のVtable呼び出しまたはインタプリタへの脱出）
call hhmv_destabilize_and_slow_dispatch
.join_point:
このアプローチの美しさは、「正常系（マジョリティの型）」の実行パスにおいて、分岐ペナルティと関数呼び出しのオーバヘッドを完全にゼロにしている点にある。CPUのパイプラインは分岐予測を外すことなく直列に命令を消化し、L1/L2キャッシュのヒット率も劇的に向上する。
—
4. メモリレイアウトとボックス化（Boxing）の回避
HHVMのメモリ管理において、`mixed` や動的型は通常、64ビットの `TypedValue` 構造体（型タグ32ビット + ペイロード32/64ビット）として表現される。しかし、PGOが「この変数は常に `int` である」と確信した場合、JITは `TypedValue` のアンボックス化（Unboxing）を行い、値自体をむき出しの64ビットレジスタ上で直接操作する。
実践：PGOに優しいコードの書き方
JITのPGOを最大限に引き出し、デボバウンディング（Deoptimization）の嵐を防ぐためのHackコードの鉄則を提示する。
<<__EntryPoint>>
function main(): void {
// 型の揺らぎを排除した配列処理
// すべての要素の型を完全に一致させることで、HHVMのトレースJITが
// 配列アクセスのアンボックス化を最適に適用できる。
$vector = Vector { 1, 2, 3, 4, 5 };
$sum = 0;
for ($i = 0; $i < $vector->count(); $i++) {
// $vector[$i] の型が int であることがPGOにより完全に学習されると、
// 境界チェック（Bounds Check）の冗長な部分もループアンロール時に排除される。
$sum += $vector[$i];
}
echo \HH\Lib\Str\format(“Optimized Sum: %d\n”, $sum);
}
避けるべきアンチパターン
// 【警告】PGOを殺す最悪のパターン
function process_chaos(mixed $mixed_val): void {
// 呼び出しごとに型がコロコロ変わる場合、JITはどの型に対しても
// 最適化コードを生成できず、メガモーフィック（Megamorphic）な
// スロウパスへ常にフォールバックし、TC（Translation Cache）が肥大化する。
if (\MT_Rand\int(0, 1) === 0) {
takes_int($mixed_val as int);
} else {
takes_string($mixed_val as string);
}
}
メガモーフィックな状態に陥ると、HHVMは最適化を諦め、インタープリタ同等の速度まで落ち込むだけでなく、TCのキャッシュミス（Instruction Cache Miss）を引き起こし、CPU全体のスループットを破壊する。
—
5. シニアエンジニアのための診断とチューニング
本番環境でHHVMのPGOの効果を測定・検証するには、標準のプロファイリングツールやログ出力を用い、JITのリアクションを監視する必要がある。
- `hhvm.jit_profile_interp_requests`: プロファイル情報を収集するためのリクエスト数の調整。
- TCのフラッシュ監視: 動的な型生成が多すぎると、TCが飽和して再コンパイルが頻発する（TransCacherのThrashing）。
結論
Hackの静的型は開発時の安全弁にすぎない。しかし、その静的型と、HHVMが実行時に暴く「生の型分布（Type Distribution）」が噛み合った瞬間、JITは動的言語の柔軟性を保ったまま、C/C++に匹敵する極限のネイティブパフォーマンスを叩き出す。
コードを書くときは常に意識せよ。あなたの書いたコードの型は、JITの予測を裏切っていないか？ メガモーフィックな闇へコードを突き落とすな。型を収束させ、JITに完璧な「予測の未来」を与えよ。それが、HackとHHVMを真に掌握する者だけの特権である。