Hack言語の深淵：コレクション型の「固定長メモリレイアウト」への昇格とJITの真実
Hackのコードを書く際、単に「`Vector`を使えば速い」と信じているなら、あなたはまだ表面を撫でているに過ぎない。HHVMのアーキテクチャにおいて、なぜHackのコレクションがPHPの連想配列と一線を画すのか。その核心は、「JITコンパイル時のメモリレイアウトの最適化」にある。
今日は、Hackのコレクションがどのようにして低レベルの機械語へ昇華されるのか、その裏側と、プロダクションコードで絶対に守るべき「型とメモリの規律」について解説する。
—
1. なぜ「配列」ではなく「Vector」なのか：抽象化の先にある物理レイアウト
PHPの`array`は、ハッシュテーブルをベースにした万能型の「ハック」だ。しかし、万能であることは、メモリ効率とアクセスの局所性において最悪を意味する。
一方、Hackの`Vector
JITによる「昇格（Promotion）」のメカニズム
HHVMのJITコンパイラは、型チェックによって要素の型が`T`であると確約されたとき、そのコレクションを「固定長メモリレイアウト」へ昇格させる。
1. 型の観測: JITがプロファイリングを通じて、特定の`Vector`に挿入される値が単一の型（例：`int`や`float`）であることを特定する。
2. 型特化（Specialization）: `Generic`なポインタ演算を排除し、CPUのレジスタに直接ロード可能なネイティブ命令へと変換する。
3. キャッシュヒット率の向上: メモリが連続しているため、CPUのL1/L2キャッシュに乗りやすく、ハッシュ計算のオーバーヘッドがゼロになる。
—
2. パフォーマンスを殺す「型推論の放棄」を避けよ
多くのエンジニアが犯す最大の過ちは、コレクションの型定義を曖昧にすることだ。
// 悪い例: 型が不明確で、HHVMはハッシュテーブルの検索を強いられる
function processData(Vector
foreach ($data as $item) {
// HHVMは毎回 $item が何かをチェックする（Type Check Overhead）
// メモリレイアウトは断片化されたヒープ上のポインタを辿る
}
}
このコードでは、JITはメモリレイアウトを最適化できない。`mixed`という「逃げ道」を作った瞬間、君のコレクションは低速なPHP互換のハッシュテーブルに逆戻りする。
堅牢かつ高速な設計パターン
プロダクションコードでは、常に「型を限定し、メモリの連続性を守る」設計を徹底せよ。
/
- 堅牢な設計パターン:
- 型をTに固定し、HHVMが物理メモリレイアウトを最適化できる状態を作る
/
final class UserMetrics {
public function __construct(
public int $id,
public float $value,
) {}
}
function calculateAverage(Vector
// Vector
// 連続するポインタ配列として最適化できる
$sum = 0.0;
foreach ($metrics as $m) {
$sum += $m->value;
}
return $sum;
}
—
3. 実務で活かす：コレクション操作の鉄則
非同期API連携や重厚なデータ処理を行う際、以下の3点を意識するだけでHHVMの性能を極限まで引き出せる。
A. 事前のサイズ確保（Pre-allocation）
`Vector`に要素を動的に追加し続けると、メモリの再確保（Reallocation）とコピーが発生する。サイズが予測可能なら、必ず初期化時に指定せよ。
// ダメな例: 逐次追加によるメモリコピーの連鎖
$v = Vector {};
foreach ($items as $i) { $v->add($i); }
// 良い例: 事前にメモリを確保し、断片化を抑制する
$v = Vector::withCapacity(count($items));
foreach ($items as $i) { $v->add($i); }
B. データの不変性（Immutability）
可能な限り`ImmVector`を使用せよ。不変であることは、JITに対して「このメモリ領域は二度と変更されない」という強力なヒントを与え、さらなるインライン展開を可能にする。
C. 形状（Shape）の活用
`Map
—
チーフアーキテクトからのメッセージ
Hackの型システムは、単なる「バグを防ぐためのガードレール」ではない。それは、君のコードを低レベルのハードウェアで効率よく動かすための「設計図」だ。
型を疎かにすることは、CPUのパイプラインを止めることに等しい。コードレビューの際、`mixed`が放置されていたら「それはCPUへの冒涜だ」と伝えてやってくれ。美しいコードは、メモリレイアウトが美しいコードのことだ。
君たちが書くその一行が、HHVMのJITエンジンを通って、もっとも美しい機械語に変換されることを期待している。