Repo Authoritative Mode：HHVMの静的進化がもたらす「定常状態」の極致
Hackを単なる「PHPの進化系」だと誤解していないか？ もし君が、HHVMを単なるインタープリタの高速化エンジンだと捉えているなら、それは重大な損失だ。
本稿では、HHVMにおけるRepo Authoritative Mode (Repo Auth Mode) を深掘りする。なぜプロダクション環境において、このモードが「最強の選択肢」であり、なぜ我々コアコミッターがこのアーキテクチャに執着するのか。その深淵に触れよう。
—
1. JITの「ゆりかご」：Repo Auth Modeの正体
通常、HHVMは実行中にバイトコードをプロファイリングし、ホットスポットを特定してJIT（Just-In-Time）コンパイルを行う。しかし、高負荷な本番環境で「起動直後にプロファイリングを始め、JITを構築する」のは自殺行為だ。
Repo Auth Modeは、この「動的な学習期間」を排除する。
`hhvm –hphp` で事前にソースコードを解析し、依存関係を完全に解決した上で、単一の静的なバイナリリポジトリ（`.hhbc`）にパッケージングする。
なぜこれが「速い」のか？
- 型情報の静的確定: JITコンパイラは、実行時の型判定（Type Guard）を省略できる。コンパイル済みリポジトリ内に「この関数は確実にこの型を返す」というメタデータが焼き込まれているからだ。
- コールドスタートの排除: 起動した瞬間から、CPUは最適化済みの機械語を実行する。ウォームアップ期間のレイテンシスパイクは存在しない。
—
2. パフォーマンスを最大化する「設計の流儀」
Repo Auth Modeの恩恵を最大限に受けるには、コードにも「型」の規律が求められる。HHVMのJITは、型が不確定な状態を最も嫌う。
Bad: JITの最適化を阻害する「動的すぎる」コード
// 悪手：型チェックを回避し、動的なメソッド呼び出しを行う
function process(mixed $data): void {
// $dataが何であるかJIT時に確定できないため、ガード命令が挿入され続ける
$data->execute();
}
Good: 静的型システムを掌握した美しい設計
Repo Auth Modeの真価は、インターフェースを介した静的ディスパッチにある。
interface Processor {
public function execute(): void;
}
// 具体型を明示することで、JITはインライン展開の可能性を最大化する
final class DataProcessor implements Processor {
public function execute(): void {
// 処理ロジック
}
}
// 呼び出し側も型を固定する
function run(Processor $proc): void {
$proc->execute();
}
リードの視点: なぜこれが優れているのか。JITコンパイラは `Processor` 型が渡されることを知っているため、`execute` メソッドへの直接ジャンプを生成できる。動的なルックアップは排除され、CPUパイプラインは止まらない。
—
3. 実践：デプロイパイプラインへの組み込み
Repo Auth Modeで運用する場合、CI/CDパイプラインには以下のステップが必須だ。
1. コンパイル: ソースから静的なバイトコードリポジトリを生成
hhvm –hphp -t hhbc -v Repo.Authoritative=true \
–input-dir ./src –output-dir ./build
2. 実行: 生成したリポジトリを読み込んでHHVMを起動
hhvm -m server -v Repo.Authoritative=true \
-v Repo.Path=./build/hhvm.hhbc
この構成により、デプロイ直後のリクエストに対しても、初回から最高速度のパフォーマンスを叩き出す。これは「運」ではなく「計算された決定論的挙動」だ。
—
4. 最後に：コードは「機械」のために書く
多くのエンジニアが、コードを「人間が読むための文書」だと勘違いしている。だが、HHVMを扱うのであれば、君は「機械が解釈しやすい論理構造」を設計するアーキテクトにならなければならない。
- 推論に頼るな: `shape` や `type alias` を駆使し、データ構造を厳格に定義せよ。
- 不変性を守れ: `immutability` を意識したコードは、JITの最適化パスを劇的に単純化する。
- Repo Auth Modeを前提とせよ: 本番環境では、動的な `include` や `eval` は論外だ。すべてを静的に解決できる状態を目指せ。
Repo Auth Modeは、ただの高速化手法ではない。君のコードに対する「厳格さ」を要求する、最強の品質保証ツールだ。この重みを理解した者だけが、真にスケーラブルなHackアプリケーションを構築できる。
さあ、次は君のプロダクトで、この静的なる高みを目指してほしい。コードレビューでまた会おう。