Hackの「動的ディスパッチ」を掌握せよ：vtableルックアップの深淵とJIT最適化の極致
Hack/HHVMの世界へようこそ。君たちが何気なく書いているインターフェース経由のメソッド呼び出し。その裏側で、HHVMのJITエンジンがどれほどの「予測」と「最適化」を行っているか、想像したことはあるか？
今日は、パフォーマンスのボトルネックになりがちなインターフェース呼び出しの裏側を解剖し、我々アーキテクトが実戦でどう「JITに味方させる設計」をしているかを伝授しよう。
—
1. インターフェース呼び出しの「重さ」の正体
インターフェースを介したメソッド呼び出しには、2つの大きなコストが伴う。
1. vtable (Virtual Method Table) の探索: オブジェクトの型情報から、呼び出すべきメソッドの実装アドレスを特定するテーブルルックアップが必要だ。
2. インライン化の障壁: コンパイル時に呼び出し先が確定しないため、JITコンパイラはコードのインライン展開（関数呼び出しコストを消す最適化）を躊躇する。
もし君のホットパス（高頻度で実行されるコード）でインターフェースが乱用されていれば、CPUは分岐予測を外し、パイプラインはストールする。これこそが「遅いPHP」の残滓だ。
—
2. JITが仕掛ける「インラインキャッシュ（IC）」の魔法
HHVMのJITは、愚直に毎回ルックアップしたりはしない。インラインキャッシュ（Inline Cache）という強力な武器がある。
JITは「前回このインターフェースを通った時は `ClassA` だった」という結果をキャッシュする。次回も `ClassA` であれば、ルックアップをスキップして即座にジャンプする。
しかし、もし `ClassA` と `ClassB` が交互に現れるようなコードを書けばどうなるか？キャッシュは無効化され、JITは「多態性（Polymorphism）」を解決するために重いフォールバック処理を走らせる。これがパフォーマンス低下のトリガーだ。
—
3. 実践：JITを最大化する設計パターン
では、どのように設計すべきか。我々が推奨するのは「具象型の集中」と「インターフェースの粒度最適化」だ。
悪い例：抽象化の過剰（Type-Jugglingの誘発）
interface Processor { public function handle(): void; }
// これをランダムに混在させて呼ぶと、JITのICが汚染される
function run(Vector
foreach ($items as $item) {
$item->handle(); // 毎回型が異なるとICミスが頻発する
}
}
良い例：型の一貫性を担保する設計
ホットパスでは、実行する具象型をある程度分離し、JITのキャッシュヒット率を高めるのが鉄則だ。
/
- 高度な設計パターン：型ごとに処理を分離し、JITの予測可能性を高める
/
final class FastDispatcher {
public static function execute(vec
foreach ($items as $item) {
// 型をガードすることで、その後の処理でJITが型の特定（Type Refinement）を確実に行える
if ($item is A) {
$item->handle();
} elseif ($item is B) {
$item->handle();
}
}
}
}
—
4. チーフアーキテクトからの提言：プロダクションコードへの適用
君たちが明日から取り入れるべき「美しき設計」の要諦は以下の通りだ。
1. `final` キーワードの徹底: 継承が不要なクラスには必ず `final` を付けよ。これにより、vtableルックアップは静的呼び出し（Direct Call）に格上げされ、JITは迷いなくインライン化を実行できる。
2. 型リファインメントの活用: `is` 演算子や `assert` を使い、Hackの型チェッカーに「この型はこれである」と明示せよ。型チェッカーが確信を持つほど、生成されるHHBC（HHVM Bytecode）は最適化の余地が増える。
3. データ構造の局所化: `Vector` や `Map` に詰め込む際、可能な限り同一の具象型をまとめて配置せよ。キャッシュの空間的局所性が高まり、CPUのプリフェッチ効率が劇的に向上する。
結論
インターフェースは「疎結合」のためにあるが、その抽象化の代償を無視してはならない。「抽象化の恩恵を受ける場所」と「パフォーマンスが必要な場所」をコード内で明確に切り分けろ。
JITは魔法だが、魔法を使うには、魔法が通りやすい道筋を作ってやる必要がある。君たちのコードが、HHVMというエンジンのポテンシャルを最大限に引き出せることを期待している。
次は、HHVMのメモリマネージャ（GC）とアロケーションの最適化について話すとしよう。準備はいいか？