不変性の冷徹な論理：Hackの `readonly` プロパティがJITの「境界」を消し去る理由
HHVMの深淵を覗くとき、多くのエンジニアは単に「実行速度」だけを見る。しかし、真にHackを掌握する者は、「メモリがいかにしてCPUのパイプラインを止めるか」という物理的な制約を見ている。
今回は、Hackの `readonly` プロパティが、単なる「バグ防止のガードレール」ではなく、HHVMのJITコンパイラに対して、いかにして重厚なメモリバリアを排除し、命令実行を加速させる「最適化のトリガー」となっているかを解説する。
—
1. JITが直面する「観測者効果」のコスト
HHVMのJITエンジンは、実行中のコードをプロファイリングし、高頻度で呼ばれるパスをマシンコードへと昇華させる。しかし、通常の状態ではJITは「疑心暗鬼」に陥っている。
もしプロパティが可変（Mutable）であれば、JITは常に以下の可能性を考慮しなければならない。
- エイリアシング問題: 別のポインタやスレッドから、このメモリ領域が書き換えられていないか？
- メモリの一貫性: 書き込み後の読み取りが、CPUキャッシュレベルで正しく同期されているか？
この疑念を晴らすために、JITは「メモリバリア（Load-Load/Store-Loadバリア）」を挿入する。これが積み重なると、CPUの投機的実行は封じられ、パイプラインはストールする。
2. `readonly` による「信頼の証明」
`readonly` プロパティを宣言することは、コンパイラに対して「このメモリ領域は、初期化以降、絶対的な静止状態にある」と宣言することと同義だ。
これにより、JITのバックエンド（HHVMでは `asm-x64` 領域など）は、以下の最適化を解禁する。
A. 値のレジスタキャッシュ（Register Promotion）
`readonly` ではないプロパティの場合、JITはループ内でプロパティにアクセスするたびに、メモリまたはキャッシュラインへの再ロードを強制される可能性がある。しかし、`readonly` があれば、JITは「この値は変わらない」と確信できるため、一度ロードした値をCPUの汎用レジスタに永続的に保持し続けることができる。
B. メモリバリアの排除
プロセッサのメモリ整合性モデルに従う必要がないため、高コストな `sfence` や `lfence` 命令を、コード生成の段階で省略可能になる。
—
3. 実践：JITの挙動を支配するコード例
以下のコードを見てほしい。`readonly` がある場合とない場合では、JITが生成するアセンブリレベルの「重み」が全く異なる。
<<__ConsistentConstruct>>
final class DataPacket {
// readonlyにより、HHVMはコンストラクタ終了後の書き込みをコンパイル時エラーにする
// これにより、JITは「値が不変である」という前提で最適化を確約できる
public function __construct(
public readonly int $id,
public readonly string $payload,
) {}
}
function process_packet(DataPacket $p): int {
$sum = 0;
// readonlyプロパティであれば、JITは$p->idをループ内でレジスタから読み出し続ける
for ($i = 0; $i < 1000; $i++) {
$sum += $p->id;
}
return $sum;
}
JITの脳内トレース
1. 通常プロパティ: JITは `$p->id` のメモリ位置を毎回計算し、メモリ読み取り命令を生成する。「途中で誰かが `$p->id` を書き換えるかもしれない」というリスクを負うためだ。
2. `readonly` プロパティ: JITは「このオフセットのメモリ値は不変」と判定し、ループの開始前に一度だけレジスタにロードし、ループ内では `ADD` 命令のみを繰り返す。メモリ・レイテンシを完全に排除できる。
—
4. セキュリティと設計への洞察
この「不変性」は単なるパフォーマンス向上ではない。「プログラマが意図的にメモリバリアを削減する権利を得る」という行為だ。
もしあなたが大規模な並列処理システムを構築しているなら、可変な状態を極限まで減らし、`readonly` で埋め尽くされた不変なデータ構造を通過させる設計にするべきだ。HHVMは、あなたが与えた「不変性の制約」というヒントを、CPUレベルの最適化命令へと変換する。
シニアエンジニアへ送るアドバイス
- 構造体の設計: クラスのプロパティを設計する際は、デフォルトで `readonly` を検討せよ。可変性が必要な場合のみ、それを `readonly` から外すという「不変性ファースト」の設計こそが、HHVMのパフォーマンスを最大限に引き出す鍵となる。
- メモリレイアウト: `readonly` にすることで、HHVMのオブジェクト・レイアウト最適化（`PropInit`の簡略化など）も恩恵を受ける。無駄な初期化チェックをバイパスできるのだ。
結論
`readonly` は、単なるシンタックスシュガーではない。それは、JITコンパイラという「論理の怪物」に対して、「ここではメモリ同期を気にする必要はない」と命令するための物理的なハンドルである。
Hackを操ることは、コードを書くことではない。HHVMの仮想マシンと対話し、コンパイラが最も効率的なマシンコードを生成できるよう、論理的な制約を配置する作業に他ならない。
次にあなたがコードを書くとき、`readonly` を付与するたびに、CPUのクロックサイクルが一つ節約されていることを思い出してほしい。それこそが、伝説的アーキテクトが追求する「完璧な実行」の姿だ。