【テクニカル・上級編】HHVMのJITにおける定数畳み込みの限界：実行時定数とコンパイル時定数の使い分け – Hack言語コア・静的型システムとHHVMのアーキテクチャ解析バイブル

HHVM JITの深淵：定数畳み込みの境界線と「実行時」の最適化戦略

HackのランタイムであるHHVMにおいて、パフォーマンスの限界を押し広げるのは、単なるコードの書き方ではない。HHVMのJIT（Just-In-Time）コンパイラが「どこまでを見通せ、どこからを諦めるのか」という、コンパイル時と実行時の境界線を掌握することだ。

今回は、我々がHHVMのJITにおいて最も注力する領域の一つ、「定数畳み込み（Constant Folding）」の極限と、その制約を逆手に取った設計思想について深掘りする。

—

1. JITが「見通せる」壁：静的定数の限界

HHVMのJITは、HHBC（HipHop Bytecode）をマシンコードへ変換する際、SSA（静的単一代入）形式の中間表現を用いて最適化を行う。定数畳み込みは、このフェーズで最も効果を発揮する武器だ。

しかし、多くのエンジニアが陥る罠がある。「コンパイル時に計算できるはずだ」という直感が、ランタイムの動的な性質によって裏切られるケースだ。

コンパイル時定数の制約

JITは以下の条件を満たすものだけを「確実な定数」として畳み込む。

リテラル値: `1024 1024` は `1048576` に変換される。
クラス定数: `const` 修飾された値。ただし、クラスのロードが遅延（Lazy Loading）される環境下では、JITがその値の不変性を保証するためにガード（Guard）を挿入する必要がある。

// 非効率なパターン
public function getBuffer(): int {
// 毎回定数をロードし、計算を行う
return 1024 1024 4;
}

このレベルの単純な計算は、HHBC生成時に既に畳み込まれている。しかし、問題は「定数に見えるが、実は実行時まで決定できない値」を扱うときだ。

—

2. 実行時定数（Runtime Constants）という幻想

Hackにおいて最も注意すべきは、`define()` や環境変数、あるいは外部設定ファイルに依存した値だ。これらはJITにとって「可変（Mutable）」と見なされる。

JITを「盲目」にするコード

// ランタイムで一度だけ決まる値
private static int $blockSize = (int)getenv(‘BLOCK_SIZE’) ?: 4096;

public function process(): void {
// JITは $blockSize を定数として扱えない
// 毎回メモリから値を取得し、ガード（型チェック）を走らせる
$val = $this->data self::$blockSize;
}

このコードでは、JITは `$blockSize` がループ内で変化しないことを証明するために、膨大なコストを払う。もしこれがホットパスであれば、「定数伝播（Constant Propagation）」の恩恵を一切受けられない。

—

3. 限界を突破する：最適化の極致

JITに「これは定数である」と強制的に認識させるには、コンパイラの推論を待つのではなく、構造的に不変性を保証する必要がある。

戦略：特化型クラスの生成（Monomorphization）

型チェッカーを利用して、値を型の一部として組み込むテクニックだ。

// 型システムを利用した定数の埋め込み
interface BlockSizeProvider {
public static function getSize(): int;
}

final class DefaultBlockSize implements BlockSizeProvider {
public static function getSize(): int { return 4096; }
}

// 呼び出し側
function process(vec $data): void {
$size = T::getSize(); // JITはここを定数として展開する機会を得る
}

HHVMのJITは、特定の型 `T` が確定した時点でコードを特化（Specialize）させる。`T` が `DefaultBlockSize` であることが確定すれば、`T::getSize()` はインライン化され、その結果である `4096` が即値（Immediate value）としてマシンコードに埋め込まれる。

—

4. チーフアーキテクトからの忠告

あなたがもし、パフォーマンスが命題となる大規模なHackシステムの開発を行っているなら、次の3点を鉄則として刻んでほしい。

1. ガードの排除こそが最適化の鍵:
JITが「この値は変わらないはずだ」と確信できるよう、変数のスコープを極小化し、`readonly` プロパティを積極的に活用せよ。HHVMは `readonly` をメタデータとして捉え、プロファイル駆動最適化（PGO）の精度を向上させる。

2. 型ヒントは単なる装飾ではない:
JITは型ヒントを「型ガード」として利用する。明示的な型指定がなければ、JITは常に「あらゆる型が来る可能性がある」という最悪のケース（Type-check guards）をコードに挿入せざるを得ない。これはキャッシュラインの無駄な消費を招く。

3. プロファイラの結果を神と崇めるな:
`hhvm.jit.log_level` を引き上げ、JITが実際にどの程度インライン化（Inlining）に成功しているか、どの関数が `SideExit`（最適化されたコードから抜け出すこと）を繰り返しているかを追跡せよ。定数畳み込みが効いていない箇所には、必ずコンパイラが「諦めた理由」が存在する。

—

結びに：低レイヤへの敬意

HHVMは、PHPの柔軟性と静的型言語の速度を両立させるための、壮大な「妥協の産物」であり「結晶」だ。定数畳み込みの限界を知ることは、すなわちマシンが実行時に何を考え、どこで迷っているかを理解することに他ならない。

コードを書くとき、目の前のエディタの先に、数百万の命令を毎秒処理するシリコンの息遣いを感じろ。それが、伝説的なエンジニアへと至る唯一の道だ。