HHVMの心臓部を掌握せよ：Repo Authoritative Modeで実現する「爆速」の真実
こんにちは。Hackの深淵へようこそ。
普段、私たちが書いているHackコードがどのようにマシンコードへと変換され、なぜあれほどまでに高速に動作するのか、考えたことはありますか？
PHPの動的な柔軟性を捨ててまで、なぜ私たちは「厳格な型システム」と「HHVM」を選んだのか。その答えの一つが、今回解説する「Repo Authoritative Mode（レポ・オーソリテイティブ・モード）」です。
これは単なる設定項目ではありません。本番環境において、HHVMを「最強の実行環境」へと進化させるための鍵なのです。
—
1. なぜ「JIT」には助走が必要なのか？
通常、HHVMのJIT（Just-In-Time）コンパイラは、プログラムが動き出してから「おっと、このコードはよく実行されるな。じゃあ機械語に翻訳しておこう」と判断します。これを「プロファイリング」と呼びます。
しかし、これには欠点があります。
- コールドスタート: アプリケーション起動直後はJITの恩恵を受けられず、解釈実行（インタープリタ）が走るため、一瞬だけパフォーマンスが落ちます。
- 推論のオーバーヘッド: 実行中に型やコードパスを推論し続けるコストがかかります。
2. Repo Authoritative Modeの魔法
Repo Authoritative Modeを有効にすると、HHVMは驚くべき挙動を見せます。
なんと、「本番環境にデプロイする前に、すべてのコードを事前に解析し、最適化されたバイトコード（HHBC）の巨大なデータベースを生成する」のです。
イメージ図：ビルドから実行までのフロー
[ソースコード (.hack)]
↓ hh_single_compile (型チェック済み)
[バイトコードリポジトリ (.hhbc)] ← ここが「決定版」！
↓
[HHVM 実行時]
↓ JIT (事前に用意されたリポジトリをロード)
[機械語 (マシンコード)] → 爆速実行！
このモードでは、HHVMは「実行時にコードが変わることはない」という前提（権威＝Authoritative）で動きます。そのため、実行時の動的なチェックを極限まで省略し、いきなり最適化された実行パスを駆け抜けることができるのです。
—
3. 実践：Repo Authoritative Modeを構築する
このモードを動かすには、以下の手順が必要です。
① リポジトリの生成
デプロイ時に、`hhvm –hphp` コマンドを使用して、ソースコード全体を単一の巨大なバイトコードファイルにまとめます。
プロジェクト全体を一つのリポジトリにコンパイルする
hhvm –hphp -v AllVolatile=false -v Repo.Authoritative=true \
-o output_dir .
② 設定ファイル (config.hdf)
HHVMを起動する際、このリポジトリを参照するように設定します。
config.hdf
Repo {
Authoritative = true
Path = /var/www/my_app/hhvm.hhbc
}
—
4. 開発者が陥りやすい罠：静的型の壁
Repo Authoritative Modeの最大の厳しさは、「動的なコード修正を一切許さない」点にあります。
例えば、開発環境では動いていたこんなコードが、本番のこのモードではエラーになることがあります。
// 危険な例：型が曖昧な状態で実行時にメソッドを呼び出す
function executeTask(mixed $obj): void {
// Repo Authoritativeでは「$objが本当にこのメソッドを持っているか？」
// を事前に完璧に解決しようとします。
$obj->run();
}
なぜエラーになるのか？
このモードでは、型チェックが完了した時点で「型情報が確定」している必要があります。`mixed` 型のような不確定な要素が残っていると、JITは「どんなマシンコードを生成すべきか」を特定できず、パフォーマンスを最大限に引き出せません。
解決策：
常に厳格な型（`shape`, `interface`, `class`）を使用してください。
// 正しいコード
interface Task {
public function run(): void;
}
function executeTask(Task $obj): void {
// これなら型が確定しているため、JITは迷わず最適化された命令を生成できます
$obj->run();
}
—
5. 最後に：なぜ私たちがここを目指すのか
Repo Authoritative Modeを使うということは、あなたの書いたコードが「予測可能な最高速度」で動作することを意味します。これは、高トラフィックな環境下で、秒間数万リクエストを捌く際の「絶対的な安心感」に繋がります。
Hackを学ぶ皆さんは、最初はこの「型エラーの嵐」に辟易するかもしれません。しかし、そのエラーの一つ一つは、HHVMがあなたのコードをより深く、より速く理解しようとしている「対話」なのです。
この壁を越えた先には、他の言語では味わえない、圧倒的に無駄のないクリーンな実行環境が待っています。さあ、次はあなたのコードでその速さを体感してください。
ここをクリアできれば、あなたはもうHackのアーキテクチャを理解した「中級者」です。自信を持って進んでいきましょう！