Hackを掌握する極限の知見：`readonly` 属性による不変性の強制とHHVMランタイムの内部機構
HHVM（HipHop Virtual Machine）のコアエンジニアリングにおいて、最もパラダイムシフトをもたらした言語機能の一つが、Hackの厳格な静的型システムにおける `readonly` 修飾子だ。
PHPの系譜を持つ言語でありながら、Hackは完全に安全な関数型プログラミングの領域へと踏み込んでいる。単なる「書き換え不可の糖衣構文」ではない。コンパイル時の静的型チェッカー（hh_client）とHHVMのJITコンパイラ、そしてメモリ管理層が一体となって、データ構造の不変性を物理的に強制するメカニズムを、内部アーキテクチャの視点から解き明かす。
—
1. なぜ `readonly` なのか：共有メモリと副作用の断絶
大規模な非同期処理（AsyncIO）やマルチスレッド的挙動を伴うシステムにおいて、バグの温床となるのは常に「意図しないデータの書き換え（Shared Mutable State）」である。
従来のオブジェクト指向やPHPのセマンティクスでは、メソッドチェーンや参照渡しによって、どこで誰がオブジェクトの状態を書き換えたのかを追跡することは極めて困難だった。コピー＆ペーストによる防御的複製（Defensive Copying）は、CPUキャッシュの効率を落とし、メモリ割り当てのオーバーヘッドを増大させる。
Hackの `readonly` は、このジレンマをゼロコストの型システムで解決する。データ構造の完全性をコンパイル時に証明し、ランタイムでの無駄な複製を排除するのだ。
—
2. `readonly` の型システムと伝播セマンティクス
Hackの `readonly` は、単一の変数に対する修飾子ではなく、「値へのアクセス経路（Path）」に対する制約である。
以下のコードを見てほしい。Strictモード（`hh_orion` / `<<__Strict>>`）下において、型チェッカーは `readonly` の境界を厳密に監視する。
<<__Strict>>
namespace Hack\Architectures;
class NetworkPacket {
public function __construct(
public string $payload,
public int $timestamp,
) {}
}
class PacketProcessor {
// 引数として readonly なオブジェクトを受け取る
public function process(readonly NetworkPacket $packet): void {
// コンパイルエラー: readonly なオブジェクトのプロパティを書き換えることはできない
// $packet->timestamp = time();
// OK: 内部のプリミティブな読み取り
echo “Processing packet with payload: ” . $packet->payload . “\n”;
}
public function execute(): void {
$packet = new NetworkPacket(“SYN”, 1700000000);
// readonly への昇格（Promotion）
// 以降、$r_packet を通じた書き換えは静的に禁止される
readonly $r_packet = $packet;
$this->process($r_packet);
// 注意: $packet 自体はミュータブルなままである可能性がある（エイリアシングの制御）
// ただし、厳格なスコープ内では readonly コンテキストが伝播する
}
}
型チェッカー（hh_client）の内部挙動
hh_clientは、AST（抽象構文木）の段階で「Readonlyivity（読取専用性）」という型属性をすべての式に伝播させる。
- `readonly` なコンテキストから取得したプロパティは、自動的に `readonly` として扱われる。
- ミュータブルな変数への `readonly` 对象的代入は、型不一致（Type Mismatch）として即座に弾かれる。
—
3. HHVMアーキテクチャとメモリレイアウト：なぜ高速なのか
プログラマが最も懸念するのは、「厳格な制約がパフォーマンスを低下させるのではないか」という点だ。しかし、HHVMの設計思想はその逆を行く。
参照カウントとCopy-on-Writeの最適化
HHVMの内部において、オブジェクトはヒープ上に割り当てられ、参照カウント（Reference Counting）によって管理される。
通常、PHP的な言語で変数を別のスコープに渡す場合、将来的な書き換えに備えて深いコピー（Deep Copy）を行うか、あるいは予期せぬ副作用のリスクを抱えながら参照（Reference）を共有するかしかなかった。
しかし、型システムが `readonly` によって「このデータ構造は絶対に書き換えられない」と保証している場合、HHVMのランタイムおよびJITコンパイラ（LLVMベースのTC: Translation Cache）は以下の最適化を行える。
1. ロックフリーな共有（Lock-Free Sharing）:
マルチスレッドや非同期コンテキスト間において、ミュータブルなデータを安全に共有するためにはミューテックスやアトミック操作による同期が必要になる場合がある。しかし、`readonly` データは不変であることが保証されているため、同期機構なしで安全にメモリアドレスを共有できる。
2. ライトプロテクションの回避:
JIT生成されたネイティブマシン語において、不変データへのアクセスはレジスタへの直接ロードに最適化され、ライトバリア（Write Barrier）のコストが完全にバイパスされる。
—
4. 実践：非同期処理における `readonly` データパイプライン
実際の高スループットシステムを想定した、非同期パイプラインの設計パターンを示す。
<<__Strict>>
namespace Hack\Architectures;
<<__SupportDynamicType>>
class ImmutableConfig {
public function __construct(
public string $dbHost,
public int $dbPort,
) {}
}
class AsyncPipeline {
// 非同期タスク間で readonly 構造体を安全に共有
public async function handleRequestAsync(readonly ImmutableConfig $config): Awaitable
// I/O 処理のシミュレーション
await \HH\Asio\usleep(1000);
// $config->dbHost はコンパイル時に保護されているため、
// 非同期処理の途中で別スレッドやコルーチンによって書き換えられる心配がゼロになる。
$this->queryDatabase($config->dbHost, $config->dbPort);
}
private function queryDatabase(string $host, int $port): void {
// 接続処理…
}
}
このパターンでは、ミューテックスによる排他制御のオーバーヘッドが完全に消滅している。CPUコア間のキャッシュファロウト（Cache Line Bouncing）を防ぎ、メモリスループットを極限まで引き上げることが可能になる。
—
チーフアーキテクトからの提言
Hackの `readonly` 属性は、単なるモダンな構文の導入ではない。それは、ダイナミック言語の系譜を継ぎながらも、極限のパフォーマンスと堅牢性が要求される現代の分散システムや高負荷バックエンドにおいて、「コンパイラに証明させることでランタイムの無駄を削ぎ落とす」という、極めてプリミティブかつ高度なエンジニアリングの成果である。
動的言語特有の「動かしてみるまで分からない副作用」をコンパイルエラーとしてねじ伏せ、HHVMの低レイヤ最適化の恩恵を最大限に引き出すこと。それこそが、Hack言語を使いこなすシニアエンジニアに課された責務であり、特権なのだ。
コードを書くときは常に自問せよ──「このデータは、本当にミュータブルである必要があるのか？」
答えがノーであるならば、直ちに `readonly` を付与し、コンパイラにその安全性を委ねるべきだ。