Hackの心臓部をハックする：HHVM JITが「インライン化」で何を考えているのか？
こんにちは。Hackの深淵へようこそ。
普段、何気なく書いている関数呼び出しですが、HHVMのエンジン内では、コンパイラが「この関数、呼び出しのコストを払う価値があるか？」というギリギリの判断を毎秒数百万回繰り返しています。
今回は、Hackのパフォーマンスを左右する「インライン化（Inlining）」の閾値について、HHVMのアーキテクチャの視点から紐解いていきましょう。ここを理解すると、コードの「重さ」が手にとるように分かるようになりますよ。
—
1. JITにおける「インライン化」とは何か？
まず、インライン化をイメージしてみましょう。
関数呼び出しは、本来「現在の処理を中断して、別の場所へジャンプし、戻ってくる」というオーバーヘッド（コスト）を伴います。スタックフレームの作成や引数のコピーなど、CPUにとっては意外と重い作業です。
HHVMのJIT（Just-In-Time）コンパイラは、このコストを回避するために、呼び出された関数の処理コードを、呼び出し元の関数の中に直接埋め込んでしまいます。 これがインライン化です。
概念図（コードの埋め込み）
[呼び出し前] [インライン化後]
main() { main() {
x = add(1, 2); => x = 1 + 2; // 関数本体がここに展開される！
} }
呼び出しの手間が消え、さらにコンパイラがその場で定数計算（1+2=3）などの最適化をかけやすくなるため、爆速になります。
—
2. なぜすべての関数をインライン化しないのか？
「じゃあ全部インライン化すれば最強じゃん！」と思いますよね？ しかし、現実はそう甘くありません。
- バイナリサイズの肥大化: インライン化しすぎると、生成されるコード（マシンコード）が膨れ上がり、CPUのキャッシュ（I-cache）から溢れ出します。結果として、かえって遅くなるのです。
- コンパイルコスト: 複雑な関数を無理にインライン化すると、JIT自体の負荷が跳ね上がります。
そこでHHVMには、「関数のサイズ（バイトコードの命令数）」に基づいた閾値が存在します。
—
3. 実践：JITが「食いつく」関数と「見送る」関数
Hackでパフォーマンスを意識した設計をするために、このコードを見てください。
namespace App;
// インライン化されやすい：非常に単純なロジック
function add(int $a, int $b): int {
return $a + $b;
}
// インライン化されにくい：サイズが大きく、条件分岐が多い
function complexProcessor(int $a, int $b): int {
$res = $a $b;
if ($res > 100) {
// 複雑な処理やループが続くと、JITは「これは呼び出しのままにしよう」と判断する
for ($i = 0; $i < 10; $i++) {
$res += $i;
}
}
return $res;
}
JITの判断基準（現場の知見）
1. バイトコードの長さ: HHVMは関数のバイトコード量を計測しています。一定数（通常、非常に小さい数）を超えると、インライン化の候補から外れます。
2. ループの有無: ループが含まれる関数は、コードが複雑化するためインライン化には慎重です。
3. 型情報: HHVMは静的型システムを信頼しています。型が明確であれば、インライン化後の最適化が効きやすいため、インライン化の優先度が上がります。
—
4. 陥りやすい罠：過度な最適化の弊害
初心者がやりがちなのは、「関数呼び出しを減らそうとして、コードを無理やり一つの関数に詰め込む」ことです。
// 悪い例：インライン化を意識しすぎて可読性が死んでいる
function doEverything(): void {
// 100行の処理をここに羅列する…
// これだと、HHVMが最適化する際の「関数の境界」が分からなくなり、
// かえってプロファイリングの効率が落ちます。
}
賢い設計のポイント:
- 小さな関数を恐れない: HHVMは小さな関数ほど優秀にインライン化します。ビジネスロジックを適切な単位で分割してください。
- 型を明記する: 型ヒントがないと、HHVMは「実行時にどんな型が来るか分からない」と判断し、インライン化の決断を先送り（あるいは断念）します。`int` や `string` などの型を正しく指定することで、JITに「この関数の挙動は安定的だ」という確信を与えましょう。
—
まとめ：Hackを掌握するために
HHVMのJITエンジンは、非常に高度な自律システムです。我々開発者がすべきことは、「JITが最適化しやすい、クリーンで型安全なコードを書くこと」に他なりません。
- 単純なロジックは小さな関数に切り出す（HHVMがインライン化しやすくする）
- 型を厳格に定義する（JITが最適化の推論をしやすくする）
この2点を守るだけで、あなたの書くHackのコードは、HHVMのポテンシャルを最大限に引き出す「極上のマシンコード」へと変換されます。
次は、HHVMがどのように型情報を利用して「Devirtualization（非仮想関数化）」を行っているか、そのさらに深い層を覗いてみましょう。ここをクリアすれば、あなたはもうHackのアーキテクトの一員です。
それでは、良いハックを！