HHVMの真髄を解き放て：Repo-Authoritative Modeで実現する「静的実行」の極致
こんにちは。Hackの深淵を覗き込み、その静的型システムの美しさに魅了された諸君。
今日は、Hackのパフォーマンスを限界まで引き出すための「聖域」、Repo-Authoritative Mode (RepoAuth) について語ろう。PHPの動的な世界から抜け出し、HHVMの真のパワーを叩き出すための最後にして最大の関門だ。
ここを越えれば、君たちのアプリケーションは「解釈される」のではなく「構造化されたマシンコードとして機能する」ようになる。準備はいいかな？
—
1. なぜRepoAuthなのか？：動的という「呪縛」からの解放
PHPは素晴らしい言語だが、実行時にファイルをスキャンし、クラスを検索し、パースする「動的な柔軟性」が実行速度の足枷になっている。
一方、RepoAuthモードとは、アプリケーション起動時にすべての型情報とクラス配置をHHVMが事前に完全に把握し、実行時の「検索」や「パース」を一切排除した状態を指す。
- PHP（動的モード）: 「えーっと、このクラスはどこにあるかな…あ、ファイルがあった。パースしなきゃ。型チェック…っと、実行時まで待つか」
- Hack（RepoAuthモード）: 「このクラスはメモリのここにある。型は確定済み。最適化された命令を即座に実行する」
この差が、数ミリ秒のレイテンシを削り出し、高負荷時の安定性を劇的に変えるんだ。
—
2. RepoAuthへの移行：3つの絶対ルール
RepoAuthを有効にするには、HHVMに「このコードベースは完全に静的で、実行時に変化することはない」と保証しなければならない。以下の3つのタブーを破れば、HHVMは即座にエラーを吐く。
① `include` / `require` の排除
RepoAuthでは、ファイルシステムを動的に探す余裕はない。すべては起動時に解決されている必要がある。
- ダメな例: `include $path . ‘/config.php’;`
- 正しい方法: 全てのクラスはオートローダーで解決し、定数は事前に読み込む。
② `eval()` の禁止
`eval()` は、実行時にコードを生成する。RepoAuthは「事前に構築されたものしか認めない」という契約なので、ここを通ることは絶対に許されない。
③ クラス定義の動的変更
実行時に `class_alias` を使ったり、条件分岐で同じ名前のクラスを再定義するようなトリッキーなコードは、静的解析の天敵だ。
—
3. 実践：PHPからHSL（Hack Standard Library）への移行ステップ
RepoAuthに移行する際、最も強力な武器になるのが HSL (Hack Standard Library) だ。
ステップ1: `include` を追放する
まずは、ディレクトリをスキャンしてファイルを読み込むような古いコードを、`HH\autoload_map` を利用した静的オートローディングに切り替えよう。
// 古いPHP的アプローチ（NG）
// require_once __DIR__ . ‘/User.php’;
// Hack/HSLのアプローチ（推奨）
// HSLのオートローダーは、ビルド時にクラスマップを生成し、
// RepoAuthモードでインデックスとして利用される。
ステップ2: 型の厳格化
RepoAuthは型情報を完全に信じ切る。`mixed` 型を多用している箇所は、徹底的に具体的な型へと修正してくれ。
// 修正前: なんでも受け取れるが、何が起きるか不明
function process(mixed $data): void { … }
// 修正後: 型の境界を明確にする（RepoAuthの好物だ）
function process(User $user): void {
// ここで型チェックが完了しているため、HHVMは最適化を確信できる
}
—
4. 実行速度が劇的に向上するメカニズム
RepoAuthモードでHHVMを起動すると、`hhvm –hphp` コマンドによってコード全体が HHBC (HipHop Bytecode) にコンパイルされ、単一の巨大なバイナリ・リポジトリが生成される。
- 図解イメージ:
- PHP: [ファイルA] ↔ [検索] ↔ [ファイルB] ↔ [検索] ↔ [実行]
- RepoAuth: [メモリ上の最適化されたリポジトリ] ➔ [直接実行]
この「検索」のオーバーヘッドがゼロになることが、大規模サービスにおいてどれほどの恩恵をもたらすか、想像できるだろうか？
—
5. 初学者が陥りやすい「文法エラー」の正体
RepoAuth移行中に遭遇するエラーのほとんどは、「HHVMが静的に解釈できない箇所」に対する警告だ。
- 「Class undefined」系: 実際には存在するのに、オートローダーが追いついていないケース。`hh_client` を走らせて型チェックをパスさせることが先決だ。
- 「Dynamic access not allowed」: 変数を使ってクラスメソッドを呼ぶ ` $obj->$method()` などの動的呼び出し。RepoAuthでは、静的に解決可能なメソッド呼び出しが好まれる。
—
先輩からのアドバイス
RepoAuthへの道は、最初は厳しく感じるかもしれない。しかし、これは単なる「設定変更」ではなく、「君のコードを一段高い品質へ引き上げるための儀式」なんだ。
型チェッカーが「完璧だ」と言い、HHVMが「最適化完了」と応える。その瞬間に感じる軽やかな動作は、何物にも代えがたいエンジニアの喜びだよ。
まずは、小さなモジュールから `hh_client` のエラーをゼロにすることを目指そう。ここをクリアすれば、君はもうHackの初心者ではない。真のシステムアーキテクトへの第一歩を踏み出したんだ。
さあ、次はどのコードを最適化しようか？君の挑戦を待っているよ。