型の重力を制す：HHVMプロファイラが暴く「移行すべき聖域」の特定
Hackへの移行を単なる「PHPへの型付与」と考えているなら、その時点で敗北は確定している。我々が構築したHHVMというランタイムは、単なる実行エンジンではない。JIT（Just-In-Time）コンパイラが型情報という名の「航海図」を読み取り、CPUの命令パイプラインを最適化するための精巧な演算装置だ。
PHPコードをHackへ移行する際、闇雲に型を当てるのはリソースの浪費である。真のエンジニアは、「HHVMが最も苦しんでいる場所」からメスを入れる。
本稿では、プロファイラを用いて移行優先順位を決定するための、内部メカニズムに直結した戦略を説く。
—
1. JITの「型推論の迷宮」を可視化する
HHVMは実行中に型を推論する。しかし、動的なPHPコードが混在すると、JITは「ガード（Guard）」を挿入せざるを得ない。このガードこそが、CPUの分岐予測を狂わせ、パイプラインを停滞させる癌だ。
まず、`perf` と `hhvm.jit.profile` を活用し、どの関数が「多型（Polymorphism）の爆発」を起こしているかを特定する。
プロファイルデータを収集し、シンボルごとのオーバーヘッドを抽出
perf record -g — hhvm –mode=server -c server.hdf
注目すべきは、JITによる再コンパイル回数（TCのフラッシュ）だ
極限の知見： 実行時に頻繁に型が変わる変数（例：mixed型）が含まれる関数は、JITにとって「地雷原」だ。プロファイラで `HHVM\jit_profile` のデータを確認し、「ガードの失敗回数（Guard Misses）」が多いモジュールを最優先でHack化せよ。 ここを型定義で固定すれば、ガードが消滅し、ネイティブコードへ直接ジャンプできるようになる。
2. HSL移行がもたらすメモリ・アドレッシングの最適化
PHPの配列（`array`）は、内部的にはハッシュマップとベクトルが渾然一体となった「重い」構造体だ。これをHSLの `vec`, `dict`, `keyset` に置き換えることは、単なる構文変更ではない。
- PHP配列: 内部的に `Variant` 型として扱われ、参照カウントと複雑なハッシュ計算を伴う。
- HSLコレクション: HHVMのメモリレイアウトにおいて、より予測可能なメモリ配置を強制できる。
プロファイラで `HHVM\memory_usage` を追跡せよ。特に、大量のデータをループで処理する箇所で、PHP配列が `ArrayData` として何度も再割り当て（Reallocation）されていないか？
アーキテクトの助言：
移行の優先順位は「ホットパス上の配列操作」に置くべきだ。HSLのコレクションを利用することで、HHVMのメモリ管理ユニット（GC）の負担を劇的に減らし、L1/L2キャッシュヒット率を向上させることができる。
3. メソッドディスパッチのボトルネック排除
PHPの動的メソッドコールは、VMにとって非常にコストが高い。実行時のルックアップ（Lookup Table）を毎回参照しなければならないからだ。
Hackで `final` や `private` を適切に使い、インターフェースを厳格化することで、HHVMは「Devirtualization（脱仮想化）」を行う。
// 移行前：動的ディスパッチ（HHVMは実行時までメソッドを特定できない）
function process(mixed $obj): void { $obj->handle(); }
// 移行後：静的バインディング（コンパイル時にオフセットが確定する）
final class DataProcessor {
public function handle(int $id): void { / … / }
}
内部メカニズム:
Devirtualizationが成功すると、HHVMはメソッド呼び出しを単なる `call` 命令（相対アドレス）に置換できる。プロファイラで `vm_dispatch` 関連のコストが高い箇所を特定し、そこを優先的に `final` クラスと型ヒントで固めろ。
4. 優先順位付けのための「ヒートマップ」戦略
移行戦略において、以下の順序でリソースを投入することを提唱する。
1. Tier 1: ガード・ホットスポット: JITがガードの失敗でループしている関数。ここを型付けすると、パフォーマンスが5〜10倍向上する。
2. Tier 2: メモリ浪費領域: 大規模なデータセットを扱うループ。HSLコレクションへの移行でメモリ使用量を削減し、GCのレイテンシを抑える。
3. Tier 3: 頻繁に呼び出されるユーティリティ: 型エラーの波及を防ぐための基盤層。ここはパフォーマンスよりも「安全性」を優先する。
最後に：コンパイラを信じるな、計測を信じろ
我々がHackという言語を設計した理由は、開発者の直感を排除し、計算機科学的な厳密さをコードに強制するためだ。HHVMのプロファイラから出力されるバイナリデータは、嘘をつかない。
「なんとなく型を当てる」作業は、今日で終わりにせよ。CPUが最も効率的に実行したいと願っているルートを特定し、型という鎖でそのルートを固定する。それが、最高峰のエンジニアが歩むべき、Hack移行の唯一の道である。
コードは、実行された後の姿こそが真実だ。 さあ、プロファイラを回し、真のボトルネックを暴き出せ。