こんにちは。Hackの世界へようこそ。
Hack言語とHHVMの深淵へ足を踏み入れたあなたに、今日は「なぜHackはこれほど速いのか？」という問いに対する、最もエレガントな回答の一つ、「ループ不変量コード移動（LICM）」についてお話ししましょう。
多くの開発者が書くコードは、実は「無駄な計算」の山です。でも大丈夫。HHVMのJIT（Just-In-Time）コンパイラは、あなたが書いたコードの裏側で、その無駄を瞬時に見抜き、最適化しています。
今日は、この魔法のような仕組みを解き明かしていきましょう。
—
1. ループ不変量コード移動（LICM）とは何か？
「ループ不変量コード移動（Loop-Invariant Code Motion）」、少し難しそうに聞こえますよね。でも、考え方は至ってシンプルです。
「ループの中で、何度計算しても結果が変わらないものは、ループの外に出してしまおう」
これだけです。
例えば、料理を作るときに「毎回レシピ本を本棚まで取りに行く」のは無駄ですよね。最初にキッチンに持ってきておけば、料理のスピードは劇的に上がります。HHVMのJITコンパイラは、まさにこの「キッチンへの配置換え」を自動で行っているのです。
—
2. 実例で見る「最適化の魔法」
実際に、Hackで「やらかしがちな」コードと、それがどう最適化されるかを見てみましょう。
namespace App;
<<__EntryPoint>>
function main(): void {
$data = vec[1, 2, 3, 4, 5];
$factor = 10;
$result = vec[];
// ここに注目してください
for ($i = 0; $i < count($data); $i++) {
// $factor 2 は、ループの回数分だけ計算されるが、
// 実は $i に依存していない（不変量である）
$multiplier = $factor 2;
$result[] = $data[$i] $multiplier;
}
}
コンパイラの視点
このコードを見たとき、HHVMのJITコンパイラ（特にhhvmの最適化パス）はこう考えます。
1. 「おや、$multiplier の値は、$i がどう動こうと常に `20` だな」
2. 「なら、ループの中で毎回掛け算をするのは電気の無駄だ」
3. 「よし、ループの外に `$multiplier = 20;` を追い出そう」
すると、実行時には以下のコードと等価なバイナリが生成されます。
// HHVMが内部的に行う最適化のイメージ
$multiplier = $factor 2; // ループの外に移動！
for ($i = 0; $i < count($data); $i++) {
$result[] = $data[$i] $multiplier;
}
たったこれだけのことですが、ループが100万回回るなら、99万9999回の掛け算を削減できることになります。これが、大規模なアプリケーションでHackが圧倒的なパフォーマンスを発揮する理由の一つです。
---
3. なぜ「手書き」ではなく「JIT」に任せるのか？
ここで初心者の皆さんが陥りやすいポイントがあります。
「じゃあ、最初からループの外に書くのが正しいプログラミングなんですね？」
いいえ、必ずしもそうではありません。
コードの可読性を重視して「あえてループ内に書く」という選択は、プロフェッショナルな現場ではよくあります。HHVMのJITは、人間が読みやすく書いたコードを、機械が実行しやすい形に後から再構築してくれるのです。
ただし、注意点もあります。
注意：コンパイラが「あきらめる」ケース
JITコンパイラも万能ではありません。以下のようなケースでは、LICMが働かないことがあります。
- 副作用がある場合: ループ内で外部の状態（グローバル変数や、状態を保持するクラスのプロパティ）を書き換えている場合、コンパイラは「安全のために」最適化を控えることがあります。
- 不透明な関数呼び出し: 内部が予測できない関数がループ内にあると、コンパイラは「その関数が毎ループ違う値を返すかもしれない」と慎重になります。
—
4. Hackを掌握するためのアドバイス
Hackでパフォーマンスを引き出すコツは、「純粋性（Purity）」を意識することです。
関数の入出力が明確で、副作用が少ないコードを書けば書くほど、HHVMのJITコンパイラは「あ、これなら外に出しても大丈夫だな」という判断を自信を持って下せるようになります。
まとめ：ここだけ押さえればOK！
1. LICMは「無駄な繰り返しを外に出す」最適化である。
2. HHVMのJITは非常に優秀だが、コードが「予測可能」であるほどその力は最大化される。
3. 可読性を犠牲にしてまで手動で最適化する前に、まずは型システムを活かした「綺麗なコード」を書くことに集中しよう。
Hackの型システムとHHVMのアーキテクチャを理解すると、書くコードの「重み」が変わります。あなたが書いたその一行が、メモリ上でどう動き、どう最適化されるのか。その想像力こそが、伝説的なアーキテクトへの第一歩です。
ここをクリアすれば、Hackの基本はバッチリマスターできたも同然です。さあ、次はどんな挑戦をしましょうか？