HHVMの深淵：JITコードキャッシュのメモリ枯渇を制する「極限のチューニング」
Hackで大規模なプロダクション環境を運用していると、ある日突然、メモリ使用量が不自然な階段状のスパイクを描くことがある。メモリリークか？ いや、大抵の場合、それは「JITのコードキャッシュ（Code Cache）」の暴走だ。
HHVMのJITは、実行時にPHPコードをマシン語に変換する。この生成されたマシン語が格納される`Code Cache`は、無制限に拡大するわけではない。デフォルト設定で運用していると、巨大なコードベースや過剰なポリモーフィズムが絡み合った瞬間、JITは「新たなマシン語を生成する場所がない」という事態に陥る。
今日は、HHVMアーキテクチャの心臓部を直接叩き、メモリ消費を最適化するための「伝説的」なチューニング術を授ける。
—
1. なぜJITがメモリを喰い尽くすのか
HHVMのJITは、プロファイリング結果に基づいて複数の最適化段階（Repo Authoritative mode等）を経る。特に「ポリモーフィックな関数呼び出し」が頻発すると、JITはインラインキャッシュ（IC）を多量に生成し、メモリ上に生成されたマシン語（Code Blob）が雪だるま式に増える。
大規模アプリケーションにおいて、このキャッシュが上限に達すると以下の事象が発生する。
- Code Cache Eviction（追い出し）の頻発: 性能低下のトリガー。
- JITの無効化: CPU負荷が急増し、システムが事実上の「停止」状態になる。
—
2. 実践的チューニング：メモリ・フットプリントを制御する
`server.ini`の設定は、サーバーの物理メモリ量に依存する。闇雲にサイズを上げるのではなく、「どの程度、何がキャッシュされているか」を可視化することから始める。
監視の極意
まず、現在JITがどれだけメモリを消費しているかを確認する。
実行中のHHVMのJIT統計をダンプする
hhvm –admin-console localhost:9876
コンソール上で以下のコマンドを打つ
stats
ここで見るべきは `hhvm.jit.code_cache_size` の使用率だ。90%を超えているなら、以下の戦略が必要になる。
チューニング設定（server.ini）
メモリを圧迫している場合、以下のパラメータを慎重に調整する。
; コードキャッシュのサイズ制限 (デフォルトは通常64MB〜128MB)
; 大規模アプリなら256MB〜512MBまで増やすケースもあるが、OS側のメモリと相談すること
hhvm.jit.code_cache_size = 268435456
; 高度な最適化の抑制（コンパイルコストとメモリのトレードオフ）
; JITが生成する命令数を制限する。保守的だが安定する。
hhvm.jit.a_size = 67108864
hhvm.jit.a_hot_size = 33554432
—
3. 実践コード：ポリモーフィズムを抑制しJIT効率を上げる
メモリを節約する最も「Hackらしい」手法は、「JITがマシン語を生成しやすい明確な型付け」を行うことだ。曖昧な型はJITの推論を複雑にし、過剰な分岐予測コード（Guard Code）を生成させる。
アンチパターンと改善案
悪い例：動的な型によるJITの肥大化
// 毎回異なる型が渡されると、JITはそれぞれの型に対するガードを生成し、
// コードキャッシュが断片化する。
function processData(mixed $data): void {
// $dataがintかstringかによってJITが別々のコードパスを生成してしまう
echo (string)$data;
}
良い例：型を固定化し、インライン化を促進する
`final` や `shape` を活用することで、JITの推論コストを最小化し、生成されるマシン語を極限までシンプルにする。
namespace App\Optimization;
// 構造を完全に固定する
type TPayload = shape(‘id’ => int, ‘value’ => string);
final class DataProcessor {
// 型を明示することで、JITは型チェックのガードを省略できる
public function execute(TPayload $data): void {
// 複雑な条件分岐を避け、単一のコードパスに強制する
$id = $data[‘id’];
$this->process($id);
}
private function process(int $id): void {
// 処理が単純であれば、JITはこれを関数呼び出しのオーバーヘッドなしでインライン展開する
// これによりコードキャッシュの占有率が劇的に下がる
}
}
—
4. チーフアーキテクトからの助言
大規模プロダクションにおいて、メモリ消費を最適化する鍵は「JITに迷わせないこと」だ。
1. `final`を多用せよ: クラスやメソッドを `final` にすることで、HHVMはディスパッチコストを排除し、生成されるコードを最短距離にする。
2. `shape`を活用せよ: `array`のような動的構造はJITにとって「地雷」だ。`shape`を使えば、メモリレイアウトが静的に決定されるため、マシン語の生成量も最小で済む。
3. プロファイリングを怠るな: どの関数が最も多くのコードキャッシュを消費しているかは、`hhvm.jit.profile_log` を有効にして解析せよ。
JITのチューニングは、計算機科学の根幹に触れる作業だ。メモリを節約するということは、CPUの実行パスを最適化することと同義である。コードをただ書くのではなく、「HHVMがどう解釈し、どうマシン語に落とし込むか」を脳内で描けるようになれば、君も真のHackエンジニアだ。
次は、JITのガードコードが生成される条件について、もっと深く潜ろうか。準備はできているか？