やあ。Hackの世界へようこそ。君が今書いているその一行のコードが、HHVMという巨大な機械の中でどう「生命」を得て、どう消えていくのか。その深淵を覗いてみようか。
多くのエンジニアは、コードを書いたらそれがそのまま動くと信じている。だが、Hackの核心たるHHVMは、君が書いたソースコードをそのまま実行するような退屈な真似はしない。
今日は、HHVMの心臓部である「JIT（Just-In-Time）トレース」の壮大な旅路について話をしよう。
—
1. JITトレースとは何か？：動的な「ホットパス」の抽出
Hackのコードは、まずHHBC（HipHop Bytecode）という中間表現にコンパイルされる。しかし、解釈（Interpreter）だけで実行するのは遅すぎる。そこでHHVMは、プログラムの中で「何度も繰り返し実行される熱い場所（ホットパス）」を見つけ出し、それを直接CPUが理解できるマシン語に焼き直す。これがJITコンパイルだ。
この「焼き直すための一連の命令の束」を、私たちはトレース（Trace）と呼ぶ。
イメージ図：HHVMの血流
[PHP/Hackソース]
↓ (HHBCへコンパイル)
[HHBCバイトコード] ← インタプリタが実行中
↓ (ここが熱い！) 閾値を超えたループや関数を検知
[JITコンパイル開始]
↓ (マシン語生成)
[CPU上で爆速実行]
—
2. トレースのライフサイクル：誕生から死まで
トレースの一生は、大きく分けて4つのフェーズで構成されている。
① プロファイリング（観測）
最初、HHVMは「インタプリタモード」でコードを流す。この時、HHVMはカウンターを回し、「このループ、何回回った？」「この関数、引数の型はいつも何？」と監視を続ける。
② トレースの生成（昇華）
カウンターがある閾値を超えた瞬間、HHVMは「このコードは重要だ」と判断する。実行された命令を記録し、それを「ガード（Guard）」付きのマシン語に変換する。
- ガードとは？: 「この変数はさっきまで整数だった。次も整数であるはずだ」という仮定。この前提が崩れた瞬間、トレースは即座に中断される。
③ 実行（熱狂）
生成されたマシン語がCPU上で直接走る。この時、君のHackコードはPHPの枠を超え、C++に近い速度でメモリを駆け巡る。
④ 無効化（死と再生）
ここが重要だ。「ガードが破られた時」、トレースは死ぬ。
例えば、`int`型で最適化されたはずの変数に、突然`string`が代入されたとする。ガードが「型が違う！」と検知し、トレースから脱出（Side-exit）してインタプリタに戻る。このトレースはもはや使い物にならないため、メモリから破棄（あるいは再最適化の対象）される。
—
3. 初学者が陥りやすい「最適化の罠」
コードを書く際、以下の点に気をつけるだけで、HHVMのJITは君の味方になる。
罠：型の揺らぎ（Type Instability）
function sum($a, $b) {
// 型を混ぜると、HHVMはガードをたくさん作らなければならなくなる
return $a + $b;
}
// 悪い例：intとstringを交互に渡すとガードが頻繁に破られる
sum(1, 2);
sum(“1”, “2”);
解説:
もし引数の型が頻繁に変わると、HHVMは「このトレースは信頼できない」と判断し、結局マシン語生成を諦めて遅いインタプリタモードへ戻ってしまう。これが「最適化が効かない」と言われる典型的なパターンだ。
—
4. まとめ：HHVMと仲良くするコツ
Hackの静的型システムは、単にエラーを防ぐためのものではない。「HHVMのJITコンパイラに対して、型という強固な約束を提示する」ためのものなんだ。
- 型を明示する: `int`や`string`を明確に書くことで、HHVMはガードを生成しやすくなる。
- 型を混ぜない: 関数は「一つの型」に特化させる。多態性（ポリモーフィズム）が必要な場合は、インターフェースを適切に設計する。
ここをクリアすれば、君のコードはただ動くだけではなく、HHVMというエンジンの力を最大限に引き出す「美しいマシン語」へと昇華される。
さあ、次はどんなコードを書く？ そのコードがマシン語に変わる瞬間を想像しながら、胸を張ってキーボードを叩いてくれ。君のHackライフが、最高のものになることを願っているよ。