Hackの『readonly』が引き出す真の性能：メモリバリアの壁を越える最適化の極意
こんにちは。HHVMの深淵を覗き込み、Hackの静的型システムを愛してやまないエンジニアです。
皆さんはHack言語でコードを書く際、`readonly`という修飾子をなんとなく「値を変更不可にするための安全装置」だと思っていませんか？実はこれ、単なる安全装置ではありません。HHVMのJITコンパイラが「アクセルを全開にするためのトリガー」なのです。
今日は、なぜ`readonly`がパフォーマンスを飛躍的に向上させるのか、その裏側にある「メモリバリア」という概念を紐解きながら解説していきますね。ここを理解すれば、あなたの書くコードは一気にプロフェッショナルな領域へと昇華されますよ。
—
1. なぜ「不変性」がパフォーマンスを生むのか？
まずは、プロセッサ（CPU）の視点になってみましょう。
通常、クラスのプロパティは「いつでもどこでも書き換わる可能性がある」とみなされます。すると、JITコンパイラはメモリ上の値を読み込むたびに、「さっき読み込んだ値は、別のスレッドや別の関数で書き換えられていないか？」という疑いを持ち続けなければなりません。
この疑いを晴らすために、CPUは「メモリバリア（メモリフェンス）」という処理を挿入します。これは、メモリの読み込み順序を強制的に制御する非常にコストの高い命令です。
`readonly`がもたらす魔法
`readonly`を付けると、HHVMは「この値は二度と書き換わらない」と確信できます。
1. メモリバリアの撤廃: 「書き換わらないなら、キャッシュ（CPUレジスタ）に保持し続けても安全だ」と判断し、無駄なメモリ再読み込みをスキップします。
2. インライン展開の最適化: 値が固定されているため、JITコンパイル時にその値を直接コードに埋め込む（定数畳み込み）ことが可能になります。
—
2. 具体的なコードで見てみよう
例えば、ユーザーの権限を管理するシンプルなクラスを考えてみましょう。
<<__ConsistentConstruct>>
final class UserSession {
// readonlyを使うことで、インスタンス生成後に書き換え不可を保証
public function __construct(
public readonly int $userId,
public readonly string $role,
) {}
}
function process(UserSession $session): void {
// JITは $session->userId が変わらないと知っているため、
// ループ内でもメモリを再検索せずにレジスタ上の値を使い回す。
for ($i = 0; $i < 1000; $i++) {
// 実際にはもっと複雑なロジックを想定
if ($session->userId === 1) {
// …
}
}
}
もし`readonly`がなかったら？
もし`readonly`がない場合、HHVMは「ループの途中で誰かが`$session->userId`を書き換えるかも？」と警戒し、毎回メモリを確認しに行きます。この小さなコストの積み重ねが、高負荷なWebアプリケーションでは大きな性能差となって現れるのです。
—
3. 陥りやすい文法と「設計の罠」
`readonly`は非常に強力ですが、いくつか注意点があります。
罠1：コンストラクタ以外での代入
`readonly`プロパティは、コンストラクタ内で一度値を割り当てたら、その後は一切変更できません。
final class Config {
public readonly string $env;
public function __construct(string $env) {
$this->env = $env; // OK
}
public function updateEnv(string $newEnv): void {
// $this->env = $newEnv; // これはコンパイルエラー！
}
}
罠2：不変オブジェクトと「可変な中身」
ここが最も注意すべき点です。`readonly`は「参照先」を固定しますが、「参照先の中身」までは保護しません。もし`readonly`プロパティに配列や可変オブジェクトを入れると、その中身は書き換えられてしまいます。
解決策: 可能な限り、`readonly`プロパティには`immutability`（不変性）が保証された型や、スカラー型（int, string, boolなど）を使用しましょう。
—
4. まとめ：今日から始める「高速化戦略」
Hackで最高峰のパフォーマンスを引き出すための極意は以下の通りです。
- 「変える必要がない値」には必ず`readonly`を付ける: 型チェッカーのためだけでなく、JITコンパイラへの強力な最適化ヒントになります。
- メモリバリアを意識する: 無駄な書き込み操作を減らすことが、現代のマルチコアCPU環境では最大の高速化の近道です。
- 不変性を設計の軸にする: クラスのプロパティを「一度決めたら変えない」設計にすることで、バグを減らし、パフォーマンスを最大化できます。
—
「不変性」を愛することは、堅牢で速いコードを書くための第一歩です。最初は少し厳しく感じるかもしれませんが、この制約こそが、Hackという言語が世界最高水準の安定性と実行速度を両立させている理由なんですよ。
さあ、あなたのコードのプロパティを見直して、`readonly`の力を解放してあげましょう。きっと、HHVMがより賢く、より速く動いてくれるはずです！