HHVM Repo Authoritative Mode: JITの深淵と「コールドスタート」の克服
我々がHHVMを設計した際、最大の敵は「ウォームアップ」という名のコストだった。PHPの動的な性質を維持しつつ、C++並みの実行速度を実現する。この矛盾を解消するために生まれたのがHHVMであり、その極致がRepo Authoritative Modeだ。
本稿では、なぜRepo Authoritative Modeが大規模分散環境において「聖杯」とされるのか、その低レイヤの挙動を解剖する。
—
1. JITの「負の側面」とRepo Authoritative Modeの存在意義
通常、HHVMのJITは、実行時にバイトコードをプロファイリングし、ホットなパスを特定して機械語へ変換する。しかし、この「動的適応」は、プロセス起動直後の数秒間、CPUを猛烈に消費し、レスポンスタイムにJitter（揺らぎ）を生む。
Repo Authoritative Modeは、この「実行しながら学習する」フェーズを完全に排除する。
HHVMを起動する際、`HHBC`（HipHop Bytecode）を事前にコンパイルし、リポジトリ単位で「決定論的なバイナリ」としてパッケージングする。これにより、ランタイムは起動直後から最適化済みの命令列にアクセスできるのだ。
2. アーキテクチャの核心：HHBCの永続化とメモリマップ
Repo Authoritative Modeの真髄は、単なるバイトコードの再利用ではない。`hhvm –hphp` コマンドで生成される `hhvm.hhbc`（またはその派生フォーマット）は、メモリマップ（mmap）を前提に設計されている。
- ページ単位のロード: OSの仮想メモリ管理と密に連携し、必要なコードセグメントのみが物理メモリへマッピングされる。これにより、数ギガバイトのコードベースであっても、全量を物理メモリに展開することなく、必要な箇所だけがDemand Pagingでロードされる。
- 不変性（Immutability）の保証: Repo Authoritative Modeでは、型チェックの結果が確定しているため、クラス定義やメソッドのルックアップテーブルがランタイム中に書き換わることはない。これは、ポインタの参照解決を最小化し、インライン化の最適化を極限まで押し進めることを可能にする。
3. JITコンパイル構造：プロファイリングから決定論的生成へ
通常、JITは「Type Speculation（型の推論と投機的実行）」を行う。しかし、Repo Authoritative Modeでは、静的型システムが既に全コードの型を保証しているため、以下の最適化が静的に適用される。
静的最適化のプロセス
1. Devirtualization: 仮想メソッド呼び出しの解決。クラス階層が決定論的であるため、vtableへのポインタ参照を直接呼び出し（Direct Call）に置換する。
2. Inlining: 呼び出し側と被呼び出し側の型が確定しているため、再帰的または深層的なインライン化が可能。
3. Register Allocation: 型情報に基づいて、レジスタ使用量を最適化。推論ミスによる再コンパイル（Deoptimization）のコストをゼロにする。
// 概念的なJIT生成フローの比較
// 通常モード: 実行中に型を確認し、必要に応じてJITを再構築
if (UNLIKELY(!type_guarded)) {
handle_deopt(); // コストが高い
}
// Repo Authoritative: 静的に型が確定しているため、ガードを排除
// 直接最適化されたマシンコードへジャンプ
call_optimized_method_ptr(method_addr);
4. なぜこれがデプロイのボトルネックを解消するのか
大規模サービスにおいて、コードのデプロイは「暖気運転」との戦いだ。Repo Authoritative Modeを採用すると、プロセスが `SIGTERM` を受けて交代する際、新しいプロセスはOSのページキャッシュが温まるのを待たずに、即座に最大パフォーマンスでリクエストを処理できる。
これは、ロードバランサーが新しいノードにトラフィックを流し始めた瞬間、「JITの学習」によるCPUスパイキングが発生しないことを意味する。インフラストラクチャにおける「予測可能性」の確保、これこそが我々がシステムアーキテクトとして追求すべき価値だ。
5. チーフアーキテクトからの忠告
Repo Authoritative Modeを運用する上で留意すべきは、「静的型システムの規律」である。
もしあなたのコードベースに、大量の `mixed` 型や、実行時に構造が変化する動的なハックが残存しているなら、Repo Authoritative Modeは期待した性能を発揮できない。型チェッカーは単なる「警告ツール」ではない。それは、JITに対して「このコードには絶対の確信がある」と伝えるための「最適化のトリガー」だ。
型を厳格に定義し、`hhvm.hhbc` をバイナリとして固める。このプロセスをCI/CDパイプラインに組み込んだとき、初めてHHVMは真の怪物としての顔を見せるだろう。
—
結論:
Repo Authoritative Modeは、PHPを「解釈される言語」から「コンパイルされる決定論的なシステム」へと昇華させるための鍵だ。ランタイムの挙動をコントロールしたいのであれば、OSのメモリマップから型システムの深淵まで、全てを設計思想の内に収めよ。
コードは、ただ書くものではなく、機械語へと最適化されるために存在する。