【入門編】HHVMのJITにおけるコード生成のメモリ消費量を制御する：大規模アプリケーションでのチューニング – Hack言語コア・静的型システムとHHVMのアーキテクチャ解析バイブル

やあ！Hackの世界へようこそ。
HHVM（HipHop Virtual Machine）のコアエンジニアとして、君がこの洗練された言語とランタイムの世界に足を踏み入れてくれたことを心から歓迎します。

Hack言語の魅力は、厳格な静的型システムによる安全性と、HHVMによる圧倒的な実行速度の融合にあります。しかし、大規模なアプリケーションを運用し始めると、多くのエンジニアが最初にぶつかる「謎の壁」があります。

それが「コードはメモリリークしていないはずなのに、なぜかHHVMプロセスのメモリ消費量が膨らみ続ける」という現象です。

その犯人の正体こそが、HHVMの心臓部であるJIT（Just-In-Time）コンパイラが生成した「マシンコードそのもの」なのです。

今日は、HHVMのJITがどのようにマシンコードをメモリ上に配置し、それをどのように監視・コントロール（チューニング）すべきなのかを、基本から分かりやすく紐解いていきましょう。ここをクリアすれば、君もHackランタイムの挙動を自在に操る本物のエンジニアへ一歩近づけますよ！

—

1. JITとTranslation Cache（TC）の仕組みをイメージしよう

まずは「なぜコードがメモリを食うのか？」という仕組みをビジュアルで捉えてみましょう。

Hackのコード（`.hack`）は、まず中間形式であるHHBC（HHVM Bytecode）に変換されます。そしてリクエストが走り、特定のコードが何度も実行されると、HHVMのJITコンパイラが起動し、CPUが直接理解できるx86-64やAArch64のマシンコードへリアルタイムに翻訳します。

この翻訳されたマシンコードが保存される専用のメモリ領域をTranslation Cache（TC: トランスレーション・キャッシュ）と呼びます。

【 Hackソースコード】 (例: function add(int $a, int $b): int { … })
│
▼ (コンパイル)
【 HHBC（Bytecode）】 (コンパクトな中間データ)
│
▼ (頻繁に実行されるとJITが起動！)
┌─────────────────────────────────────────────────────────┐
│ Translation Cache (TC) – メモリ上に確保された巨大な書庫 │
│ │
│ [ Hot Code ] 頻繁に呼ばれる超高速マシンコード │
│ [ Cold Code ] めったに呼ばれない例外処理などのコード │
│ [ Frozen Code ] ほぼ起動時しか使わない極冷コード │
└─────────────────────────────────────────────────────────┘
│
▼ (CPUが直接高速実行！)
【 CPU（ハードウェア）】

なぜTCはメモリを圧迫するのか？

Bytecodeに比べて、CPUの生のマシンコードはサイズが数倍〜十数倍に膨らみます。
なぜなら、レジスタの割り当て、型チェックの防護柵（Guards）、メモリのアライメント処理など、CPUが最速で動くための「お膳立て」がびっしり詰まっているからです。

大規模なウェブアプリになればなるほど、作成されるマシンコードの量が増え、TC領域がメモリをどんどん圧迫していくわけですね。

—

2. JITのメモリ消費を監視する（モニタリング）

「今、JITがどれくらいメモリを使っているのか？」を知らなければ、チューニングはできません。HHVMには、このTCの状態を観察するための強力なツールが備わっています。

最もシンプルな方法は、HHVMのAdmin Server機能を有効にして統計情報を確認することです。

設定例 (`server.ini`)

; Admin Serverを有効化（ローカルの9001番ポートで待機）
hhvm.admin_server.port = 9001
hhvm.admin_server.tcp_backlog = 128

この状態で、管理者用エンドポイントにアクセスするか、コマンドラインからHHVMの情報を取得します。

HHVMのJITメモリ使用統計を取得するコマンド例
curl http://localhost:9001/check-heaps

出力されるデータの中に、以下のような項目が見つかるはずです：

`tc_size`: TC全体として確保されているメモリ容量
`tc_used`: 実際にマシンコードが書き込まれたメモリ容量
`jit_a_size` (Hot): 一番高速に動く「熱い」コードの領域
`jit_a_cold_size` (Cold): 時々しか動かない「冷たい」コードの領域
`jit_frozen_size` (Frozen): エラーハンドリング等の「極冷」コード領域

> 💡 先輩からのワンポイントアドバイス
> TCのメモリは、一度確保されるとプロセスが生存している間は基本的に開放されません（ガベージコレクションの対象外です）。だからこそ、「最初からどれくらいのサイズをTCに割り当てるか」の設計が極めて重要なのです。

—

3. 設定によるメモリ使用量の最適化戦略（チューニング）

では、具体的にHHVMの環境設定（`php.ini` や `server.ini`）を調整して、JITのメモリ消費をコントロールする方法を見ていきましょう。

戦略①：TC領域のサイズを上限固定する

デフォルトのHHVMは、TC領域をかなり太っ腹に確保しようとします。メモリ制限の厳しいコンテナ環境（Dockerなど）では、これでOOM（Out of Memory） Killerにプロセスを殺されることがよくあります。

以下のように領域サイズを明示的に絞ることで、突然のメモリ高騰を防ぐことができます。

; — HHVM JIT Memory Tuning Settings —

; Hotコード（高頻度実行）領域の上限 (例: 64MB)
hhvm.jit_a_size = 67108864

; Coldコード（低頻度実行）領域の上限 (例: 32MB)
hhvm.jit_a_cold_size = 33554432

; Frozenコード（例外処理等）領域の上限 (例: 32MB)
hhvm.jit_frozen_size = 33554432

; Global Data（JIT内部のテーブル等）の領域上限 (例: 16MB)
hhvm.jit_global_data_size = 16777216

戦略②：PGO（Profile-Guided Optimization）を活用する

現代のHHVMにおいて、最も強力なメモリ削滅兵器がPGOです。

アプリ起動直後の全コードを無差別にJITコンパイルするのではなく、「本当に頻繁に呼ばれる重要なパスはどこか？」をログとして記録（プロファイリング）し、本当に必要な場所だけを極上のマシンコードに変換します。これにより、無駄なJITコードが作られず、TCの消費量を劇的に抑えられます。

; PGO（プロファイル駆動最適化）を有効化
hhvm.eval.jit_p_g_o = true

; プロファイリング情報を元にしたJITコンパイルを許可
hhvm.eval.jit_p_g_o_use_data = true

—

4. コードレベルでできること：JITに優しいHackコードを書こう

実は、インフラの設定だけでなく、君が書くHackのコード表現そのものもJITのメモリ消費量に巨大な影響を与えます。

JITコンパイラが最も嫌うのは「型があやふやなコード」です。型が不確定だと、JITは「もしかしたら整数かも？いや文字列かも？」という無数のパターンに対応するための防御コード（Guards）を大量にTCに生成してしまい、マシンコードが肥大化します。

具体的なコード例で見てみましょう。

❌ JITメモリを浪費するコード（アンチパターン）

<<__EntryPoint>>
function bad_example(): void {
// dynamic型や型無指定はJITにとって天敵！
$values = vec[10, “20”, 30.5];
foreach ($values as $v) {
// JITは $v の型ごとに別々の処理用マシンコードを生成しようとしてTCを圧迫する
process_data($v);
}
}

function process_data(dynamic $input): void {
// 型が定まらないため、膨大な型チェック命令（Guards）がマシンコードに埋め込まれる
echo $input;
}

⭕️ JITメモリに優しく高速なコード（ベストプラクティス）

<<__EntryPoint>>
function good_example(): void {
// 厳格に型を指定されたコレクション
$values = vec[10, 20, 30];
foreach ($values as $v) {
process_int($v);
}
}

// 静的型付けが完璧なので、JITは超コンパクトで無駄のないマシンコードを1つだけ生成する
function process_int(int $input): void {
echo $input;
}

よくある文法エラーと落とし穴：`dynamic` と `mixed` の乱用

他の言語からHackに来た開発者がやりがちなのが、型エラーを回避するために `dynamic` や `mixed` を多用してしまうことです。

`mixed`: 型チェックを要求する安全な型ですが、JIT側では「実行時に型を検査するコード」が必要になり、少しマシンコードが大きくなります。
`dynamic`: 静的型チェックすらスキップするため、JITは最悪のケースを想定した巨大なフォールバックコードをTCに吐き出します。TCメモリ肥大化の一番の要因です！

極力、具体型（`int`, `string`, `MyClass` など）をぴっちり書き書きすることが、「バグを減らし、かつHHVMのメモリも節約する」という最高の相乗効果を生むのです。

—

まとめ：コンパイラと対話するエンジニアへ

今日学んだことを振り返ってみましょう。

1. JITが生成するマシンコードは `Translation Cache (TC)` というメモリ領域に溜まる。
2. `server.ini` で `hhvm.jit_a_size` などの上限を適切に設定し、PGOを活用する。
3. Hackの厳格な静的型付け（`int` や `string` など）を徹底することで、JITが生成するコード自体をコンパクトに保つ。

「型を書くこと」が、単なるコードのチェックだけでなく、CPUとメモリの効率化に直接繋がっているという感覚……ワクワクしませんか？

ここをクリアできれば、Hackの基本とHHVMランタイムの深層理解はバッチリマスターですよ！
何か疑問があったら、いつでもコアコミッターの私に聞いてくださいね。これからも一緒に、極上のパフォーマンスを追求していきましょう！