やあ。HHVMの深淵へようこそ。
Hackという言語は、単なる「PHPの型付き版」ではない。これは、高レベルな開発体験と、シリコンチップの限界を極限まで引き出す実行時最適化が融合した、極めて稀有な存在だ。
今日は、HHVMの心臓部——JIT（Just-In-Time）コンパイラが、いかにしてCPUキャッシュという物理的な制約をハックしているかという、少しマニアックで、しかしエンジニアとしての格を上げる話をしよう。
—
1. JITの「投機的最適化」とは何か？
まず、HHVMのJITの基本的な振る舞いを知ろう。HHVMはコードを実行する際、単に機械語に翻訳するだけではない。「このコードは頻繁に実行され、かつ型はこのままである可能性が高い」という投機的仮説（Speculation）を立てる。
例えば、ある関数が常に `int` を返すなら、HHVMはその関数を「`int` を返す専用の高速な機械語」に最適化して焼き上げる。もし後で突然 `string` が飛んできたら？ それは「デオプティマイズ（最適化の破棄）」というコストを払ってやり直す。この「賭け」こそがHHVMの速さの秘密だ。
—
2. データ局所性とCPUキャッシュ：なぜ配置が重要か？
CPUは、メモリからデータを読み込む際、遅いメインメモリを直接叩くことは嫌う。そこで、超高速なL1/L2キャッシュを使う。
ここで重要なのが「データ局所性（Locality of Reference）」だ。
JITが生成する機械語のコードブロックも、データと同様にキャッシュに乗る。もし、関連する処理がメモリ上でバラバラに配置されていたら、CPUはキャッシュミスを連発し、「次に実行すべき命令はどこだ？」とメインメモリを彷徨うことになる。
イメージ図：キャッシュの効率
- 悪い配置: 命令A → (メモリ上の遠い場所) → 命令B
- CPU: 「キャッシュミスだ！メインメモリから持ってくるまで待機！」（数千サイクル消費）
- 良い配置: 命令A → (隣接) → 命令B
- CPU: 「命令Bも既にキャッシュにある！爆速で実行！」（数サイクルで完了）
HHVMのJITは、コードの実行頻度をプロファイリングし、「よく一緒に動くコード」を物理的にメモリ上で隣り合わせに配置する（コードレイアウト最適化）という芸当を行っているんだ。
—
3. 初学者が知るべき「JITフレンドリー」な書き方
「じゃあ、僕たちはどう書けばいいの？」と思うかもしれない。Hackで意識すべきは、型を曖昧にせず、HHVMの投機的最適化を阻害しないことだ。
悪い例：型がブレるコード
function process(mixed $data): void {
// $dataの型が不定だと、JITは「分岐の嵐」を生成せざるを得ない
if ($data is int) {
// …
} else if ($data is string) {
// …
}
}
このコードは、型が毎回変わる可能性があるため、JITは「特定の型に対する最適化（Specialization）」を諦めてしまう。結果、キャッシュ効率以前に、分岐予測も効きにくいコードが生成される。
良い例：型推論を助けるコード
// 型が明確なら、JITは「int専用の最適化された機械語」を生成できる
function process(int $data): void {
// この処理がホットスポットなら、JITはメモリ上に連続的に配置し、
// CPUキャッシュの恩恵を最大化する
}
—
4. 陥りやすい罠：「過度な抽象化」の代償
他の言語から来た人がやりがちなのが、過剰なインターフェースの多用だ。
interface Processor { public function run(): void; }
// これを大量の小さなクラスに分割すると…
// 関数呼び出しが「間接ジャンプ」となり、
// CPUのキャッシュラインをまたぐ可能性が高まる
もちろん、Hackは大規模開発のための言語だ。設計の美しさは守るべきだが、「パフォーマンスが致命的なホットパス（繰り返し実行される箇所）」では、ポリモーフィズムの深掘りを避け、型を固定することが、結果としてハードウェアを最も効率的に使うことになる。
—
まとめ：Hackを使いこなすということ
HackのJITは、君が書いたコードの「意図」を型システムから読み取り、それを物理的なCPUの挙動に最適化する翻訳機だ。
1. 型を明示せよ: JITに迷いを与えてはいけない。
2. 局所性を意識せよ: 関連する処理はできるだけ小さく、密接に記述する。
3. プロファイリングを恐れるな: HHVMには素晴らしい統計機能がある。
ここをクリアできれば、君の書くコードは単なるスクリプトではなく、シリコンの上で躍動する芸術品に変わるはずだ。
Hackの世界へようこそ。君のコードが最高のパフォーマンスを叩き出すことを、心から楽しみにしているよ。分からないことがあれば、いつでも聞きに来るといい。