こんにちは！Hack言語の世界へようこそ。
世界最高峰のHHVMアーキテクチャや型システムを日々いじり倒している私ですが、今日は皆さんに、本番環境のパフォーマンスを極限まで引き出す「Repo Authoritative Mode（レポ権威モード）」と、そこで躍動するJIT（Just-In-Time）コンパイラの秘密について語らせてもらいます。
「他の言語から来たけれど、大規模なHackアプリをどうやって爆速で本番稼働させるのかイメージが湧かない…」
そんな悩みを持っていませんか？大丈夫。ここをクリアすれば、あなたもHackの裏側まで見通せる一流エンジニアの仲間入りです。一緒に本質を噛み砕いていきましょう！
—
1. そもそも「Repo Authoritative Mode」って何？
動的言語としての側面を持っていたPHPから進化し、厳格な静的型システムとHHVM（HipHop Virtual Machine）を手に入れたHack。通常、HHVMはスクリプトを実行するたびにソースコードを読み込み、バイトコードに変換して実行します。
しかし、数百万行規模のコードベースを持つプロダクション（本番）環境で、リクエストが来るたびにファイルをスキャンしていたのでは、CPUリソースがいくらあっても足りません。
そこで登場するのが Repo Authoritative Mode（`-m daemon -vRepo.Authoritative=1`） です。
ざっくり言うと：
> 「本番デプロイ時に、すべてのソースコードをあらかじめ単一の巨大なバイナリレポジトリ（hhbc）にコンパイルし、実行時はその事前コンパイル済み世界だけを信じて爆走するモード」
このモードでは、実行時におけるファイルの動的な読み込みや変更は一切禁止されます。すべてが事前決定されているからこそ、HHVMのJITエンジンは予測不可能なオーバーヘッドから解放され、極限の最適化を行えるのです。
—
2. JITコンパイル構造の裏側：ウォームアップの仕組み
「すべて事前コンパイルされているなら、なぜJIT（実行時コンパイル）が必要なの？」という疑問が湧くかもしれません。ここがHHVMの最も美しいところです。
Repo Authoritative Modeにおけるライフサイクルを、イメージしやすい図解で追ってみましょう。
[ 開発・ビルド時 ]
ソースコード (.hack)
↓ hhvm –hphp (静的解析 & バイトコード変換)
単一の事前コンパイル済みレポジトリ (hhbc)
[ 本番起動時 (Warm-upの開始) ]
hhbcファイル読み込み (メモリマップ / mmap)
↓
【コールドスタート】
最初はインタプリタ、またはベースラインTC (Translation Cache) で実行
↓
プロファイラがホットスポット（頻繁に呼ばれる関数）を監視
↓
【JITコンパイル発動！】
型情報（Hackの厳格な静的型！）を元に、最適化されたネイティブ機械語 (x86-64) を生成
↓
【ウォームアップ完了 (Hot State)】
極限まで最適化されたネイティブコードがCPUを直撃し、秒間数万リクエストを軽々処理
なぜウォームアップが高速なのか？
通常の動的言語のJITは、「この変数の型は何だろう？」と実行時に推論（Profiling）するコストが常につきまといます。
しかし、Hack言語には厳格な静的型システムがあります。Repo Authoritative Modeのレポジトリには、コンパイル時に確定した完璧な型メタデータが埋め込まれています。
JITはこの型情報を最初から信用（Authoritative）できるため、不毛な型チェックのガードコードを省略し、最初からアグレッシブなネイティブ機械語を生成できるのです。これが起動後のウォームアップを劇的に短縮し、瞬時に最高性能（Peak Performance）へ到達できる理由です。
—
3. 実践：Repo Authoritative Modeを意識したコードを書く
では、この強力な仕組みを活かすために、私たちは普段どんなことに気を付ければよいのでしょうか？
基本的なコードの書き方と、本番モードで陥りがちなワナを見ていきましょう。
正しいHackの書き方（型がJITを加速する）
// strictモードの宣言。これがJIT最適化の最大のスパイスになります。
hh_strict;
namespace HackMaster\Performance;
class OrderProcessor {
// 厳格な型定義。HHVMはこの情報を信頼し、最適化されたレジスタ割当てを行います。
public function calculateTotal(int $quantity, float $unitPrice): float {
return $quantity $unitPrice;
}
}
<<__EntryPoint>>
function main(): void {
$processor = new OrderProcessor();
$total = $processor.calculateTotal(10, 150.5);
echo “Total: {$total}\n”;
}
コードの意味とポイント
- `hh_strict;`：ファイル全体を厳格モードにします。あいまいな型（`mixed`や動的なプロパティ）を排除することで、JITは迷いなく高速な機械語を吐くことができます。
- 事前コンパイル時、このコードは完全に型解決され、`hhbc`レポジトリに最適化されたバイトコードとして格納されます。
—
4. 陥りやすい罠：Repo Authoritative Modeの「ご法度」
初学者が一番ハマりやすいポイントを伝授しておきます。これを破ると、JITの恩恵を受けられないどころか、起動すらしないか、本番環境で致命的なエラーを引き起こします。
❌ 1. 実行時のファイルインクルードや動的なクラス読み込み
Repo Authoritative Modeでは、ファイルシステムへのアクセスや動的なコード生成は御法度です。
hh_strict;
// 【NG例】実行時に動的な文字列でファイルを読み込もうとする
function loadPlugin(string $pluginName): void {
// Repo Authoritative Modeでは、このような動的パスは解決できず例外になります！
require_once(__DIR__ . “/plugins/” . $pluginName . “.hack”);
}
【正しいアプローチ】
依存関係はすべてコンパイル時に確定させ、DI（依存性注入）や静的なポリモーフィズムを使用してください。
❌ 2. `eval()` や動的なコード評価への依存
当然ですが、JITと事前コンパイルの前提を破壊する `eval()` はHackのstrictモードではそもそも許可されていません。動的なメタプログラミングに頼るのではなく、静的なジェネリクス（Generics）やアノテーションを活用しましょう。
—
最後に：ここをクリアすれば、Hackの基本はバッチリマスターできますよ！
今回は、HHVMのRepo Authoritative ModeとJITのウォームアップの仕組み、そして私たちが書くコードがどのように裏側で結びついているのかを解説しました。
「厳格な型を書く」⇒「ビルド時に最適化されたレポジトリができる」⇒「JITが迷わずネイティブコードに変換し、爆速でウォームアップが完了する」
この美しいパイプラインを頭に描けるようになれば、あなたもう立派なHackエンジニアです。大規模なトラフィックを涼しい顔して捌くシステムを、自分の手で作り上げていきましょう。
それでは、次回のコアな解説もお楽しみに！ Happy Hacking!