こんにちは。Hackの世界へようこそ。
あなたは今、単なるスクリプト言語の枠を超え、HHVMという巨大なエンジンの上で動く「静的型付けの要塞」に足を踏み入れました。今日は、HHVMの心臓部であるJIT（Just-In-Time）コンパイラが、あなたの書いたコードをどのように「超速」へと書き換えているのか、その深淵を覗いてみましょう。
テーマは『ループ不変量コード移動（LICM）』。名前は難しそうですが、要は「無駄な計算をループの外に追い出す」という、コンパイラの魔法です。
—
1. なぜ「無駄」を追い出す必要があるのか？
まずは、こんなコードを想像してみてください。
// ダメな例：ループの中で何度も同じ計算をしている
function calculateTotal(vec
$total = 0;
foreach ($items as $item) {
// 毎ループごとに $taxRate / 100 を計算するのは無駄ですよね？
$total += $item ($taxRate / 100);
}
return $total;
}
このコード、人間から見れば「`$taxRate / 100` は毎回同じなんだから、先に計算しておけばいいのに」と直感的に分かりますよね。しかし、コンパイラはもっと厳密です。
HHVMのJITは、このコードを解析する際、「この計算結果はループの中で変化するか？」を監視します。これが「ループ不変量（Loop Invariant）」の特定です。変化しないと確信した瞬間、JITは裏でコードを以下のように構造変換します。
// JITが脳内で書き換えているイメージ
function calculateTotalOptimized(vec
$total = 0;
// ループ不変量を外に追い出す（これがLICM！）
$factor = $taxRate / 100;
foreach ($items as $item) {
$total += $item $factor;
}
return $total;
}
2. LICMが適用される条件：Hackの型システムが鍵
「じゃあ何でもかんでも外に出せばいいの？」と思うかもしれませんが、そうはいきません。HHVMのJITがLICMを適用するには、「そのコードが副作用（Side Effect）を持たないこと」が絶対条件です。
- 安全な計算: `1 + 1` や `array_length()` のような、変数の状態を破壊せず、実行順序に依存しないもの。
- 危険な計算: グローバル変数の書き換え、外部API呼び出し、あるいは例外を投げる可能性がある処理。
Hackは静的型システムによって「この値は絶対に null にならない」「この関数は純粋関数（Pure Function）である」といった情報をコンパイラに提供できます。この型情報の緻密さこそが、JITに「これは外に出しても安全だ！」という確信を与え、最適化を加速させる燃料になるのです。
3. 現場で陥りやすい「最適化の罠」
初学者の頃、よくやってしまうのが「ループ内で高価な関数を呼ぶ」ことです。
foreach ($users as $user) {
// Config::get(‘app.setting’) は毎回同じ値を返すのに、
// 中で複雑なロジックが走っている可能性がある…
$limit = Config::get(‘app.setting’);
if ($user->score > $limit) { … }
}
HHVMのJITは非常に賢いですが、`Config::get()` の内部に「何らかの副作用（例えばログ出力やキャッシュ更新）」が含まれていると判断された場合、LICMは発動しません。
ここをクリアするコツ：
「ループ内で何度も呼ばれる値は、事前に変数に格納する」。これを意識するだけで、あなたのコードはJITにとって「最適化のしやすさ」が格段に向上します。
4. まとめ：HHVMを味方につけるために
HackのJITは、あなたが書いたコードの「意図」を型システムから読み取り、CPUレベルで効率的なバイナリに翻訳します。
1. 不変なものは外に出す: ループの計算量は、あなたの意識一つで劇的に変わります。
2. 型を信じる: Hackの厳格な型定義は、JITが大胆な最適化を行うための「安全宣言」です。
3. 副作用を避ける: ループ内では可能な限り、純粋な値の計算に集中させましょう。
「このコード、HHVMはどう解釈するかな？」と想像するようになったら、もうあなたは立派なHackエンジニアです。この最適化の感覚を掴めば、どんな大規模なトラフィックにも耐えうる、堅牢で高速なシステムを構築できるようになりますよ。
さあ、次はどんな最適化の旅に出かけましょうか？応援しています！