【テクニカル・上級編】PHPの`memory_limit`設定とGCの相互作用：リクエスト終了時のメモリ解放遅延とピークメモリ使用量 – PHPコア・内部エンジンと高速化・並行処理の極意解析バイブル

PHPコアの深淵：`memory_limit`とGCの共犯関係——リクエスト終端におけるメモリ解放遅延のメカニズム

Zend Engineの内部構造において、1つのHTTPリクエストのライフサイクルは、プロセス空間におけるメモリの劇的な生滅のドラマである。リクエストがNginx/ApacheからPHP-FPMへ到達した瞬間、Zend Memory Manager（ZMM）はOSからヒープ領域を切り出し、シンボルテーブル、関数テーブル、そして無数の`zval`（Zend Value）コンテナを高速に割り当てていく。

しかし、多くのアーキテクトが誤解している事実がある。それは、「プログラマが不要になったオブジェクトを捨てた瞬間、あるいはスコープを抜けた瞬間に、OSへのメモリが即座に返還されているわけではない」という点だ。特に、巨大なデータ構造や複雑な依存関係を持つオブジェクトグラフを扱う大規模Webアプリケーションにおいて、`memory_limit`の設定値とガベージコレクション（GC）のアルゴリズムがどのように作用し合っているかを知らなければ、プロセスは不必要なピークメモリ肥大化を引き起こし、最悪の場合は`Allowed memory size of … bytes exhausted`という致命的な例外に直面する。

本稿では、Zend VMの低レイヤメモリ管理、参照カウントの限界、そしてリクエスト終了間際におけるメモリ解放遅延の物理的メカニズムを、極限の解像度で解き明かす。

—

1. Zend VMにおけるメモリ管理と参照カウントの基本構造

PHPのすべての変数（整数、文字列、配列、オブジェクト）は、C言語レベルの構造体である`zval`として表現される。PHP 7以降、スカラー値は`zval`内に直接値（Value）としてインライン化され、配列やオブジェクトなどの複合型はポインタを通じてヒープ上の専用構造体を指し示す。

/ Zend Engine 3 (PHP 7/8) における基本構造の概念 /
typedef struct _zval_struct {
zend_value val;
union {
struct {
zend_uchar type,
zend_uchar type_flags,
zend_uchar const_flags,
zend_uchar reserved,
} v;
uint32_t type_info;
} u1;
union {
uint32_t var_flags;
uint32_t next;
uint32_t cache_slot;
uint32_t lineno;
} q5;
} zval;

オブジェクトや配列が別の変数に代入されたり、関数の引数として渡されたりするとき、Zend Engineはパフォーマンスを最大化するため、データをコピーするのではなく、参照先を指すポインタを複製し、`zval`のヘッダにある参照カウンター（`refcount`）をインクリメントする（Copy-on-Write: COW）。

この参照カウント方式は極めて高速に動作するが、ひとたび「循環参照（Circular Reference）」が形成されると、決定的な綻びが生じる。

  • 循環参照の典型例：親オブジェクトが子を保持し、子が親を逆参照する

    • /
    class Node {
    public ?Node $child = null;
    public ?Node $parent = null;
    }

    $parent = new Node();
    $child = new Node();

    $parent->child = $child;
    $child->parent = $parent; // ここで循環参照が成立

    // 変数のスコープを抜ける、あるいは明示的にunsetする
    unset($parent, $child);

    上記のコードにおいて、`$parent`と`$child`の変数を破棄（`unset`）しても、それぞれの`zval`が持つ`refcount`は、お互いを指し合っているため「0」にはならない。結果として、メモリ上に孤立したポインタの輪（ゴミ）が残り続けることになる。これが、通常の参照カウントでは回収不可能な循環参照の正体である。

    —

    2. 循環参照コレクタと`memory_limit`の不可避な関係

    PHPのガベージコレクション（正確にはバッファリングされた循環参照コレクタ）は、この「死んだ輪」を回収するために存在する。Zend Engineは、`refcount`がデクリメントされたものの、ゼロにならなかった複合型データ（配列やオブジェクト）の候補を「ルートバッファ（Root Buffer）」へ次々とバッファリングしていく。

    バッファのしきい値とGCのトリガー

    デフォルトでは、このルートバッファが10,000エントリに達すると、自動的にGCアルゴリズムが発動し、バッファ内のオブジェクトを走査して循環参照を特定・解放する。また、プログラマが明示的に `gc_collect_cycles()` を呼び出した場合も同様の処理が走る。

    ここで`memory_limit`との決定的な相互作用が生まれる。

    1. メモリの急激な肥大化: 大量のエントリを処理するバッチ処理やAPIレスポンスの構築時、GCが発動する閾値（10,000エントリ）に達する前に、アプリケーションは膨大なメモリを消費し続ける。
    2. `memory_limit`の壁: もし`memory_limit`が厳しく設定されている場合、GCが自動実行される前に、ZMMが「これ以上ヒープを拡張できない」と判断し、FATAL ERRORを投げてリクエストが強制終了する。
    3. 解放の遅延によるピークメモリ増大: 逆に、`memory_limit`に余裕がある場合、GCは頻繁に走らず、バッファにゴミが蓄積し続ける。結果として、リクエストの終端（レスポンス送信直前や終了処理のフェーズ）に到達するまでメモリが解放されず、プロセスのピークメモリ使用量が不必要に跳ね上がる。

    [リクエスト開始] ──> [オブジェクト生成・循環参照の蓄積] ──> [ルートバッファ肥大化] ──> [リクエスト終端での一括解放] ──> [リクエスト終了]
    ↑
    memory_limit の範囲内であれば、GCは遅延し続ける

    —

    3. リクエスト終端における「メモリ解放遅延」の裏側

    「なぜリクエスト終了間際にメモリが解放されないのか？」
    この疑問の答えは、Zend VMのライフサイクルと、FPMプロセスモデルのメモリ管理戦略にある。

    PHP-FPMのワーカープロセスは、1つのリクエストを処理し終えると、プロセス自体は終了せずに次のリクエストを待ち受ける（Keep-Alive / プロセス再利用）。したがって、リクエストが終了した瞬間（`request shutdown`フェーズ）、Zend Engineは次への備えとして、そのリクエスト内で割り当てられたすべてのヒープメモリを一括して解放（`zend_mm_shutdown` またはリクエストプールの破棄）しなければならない。

    しかし、リクエストの実行中、以下のような要因でメモリ解放の「遅延」が引き起こされる。

    • 暗黙的なグローバルステートへの滞留: シングルトンパターンや静的プロパティ（`public static`）に巨大なオブジェクトグラフがキャッシュされた場合、それらはリクエストのスコープを超えて存在し続けるため、通常のリクエスト終了処理では解放されない（これがメモリリークの温床となる）。
    • デストラクタ（`__destruct`）の連鎖によるオーバーヘッド: リクエスト終了時に数万個のオブジェクトが同時に破棄される際、それぞれの`__destruct()`メソッドが同期的かつ再帰的に実行される。このデストラクタの実行順序や処理コストが原因で、Cレベルのメモリ解放処理そのものがブロックされ、プロセスが一時的に高負荷（CPU/Memoryスパイク）に陥る。

    —

    4. 極限の最適化：Zend VMとOPcacheプリローディングの物理構造

    PHP 7.4以降で導入されたOPcacheプリローディング（Preloading）は、このメモリ管理とパフォーマンスのパラダイムを根本から変えた。

    通常、PHPはリクエストごとにスクリプトファイルを読み込み、字句解析・構文解析を経てオペコード（Opcode）へコンパイルし、シンボルテーブルを構築する。プリローディングは、サーバー起動時（`php-fpm.conf`の`opcache.preload`で指定されたスクリプトの実行時）に、指定されたすべてのクラスや関数を永続的な共有メモリ（SHM: Shared Memory）上にコンパイル済みオペコードとして常駐させる。

    [OPcache 共有メモリ (SHM)]
    ├── Preloaded Classes (永続的・全プロセスで共有)
    └── OPcache Buffer
    ————————————————–
    [各FPMプロセスのプライベートヒープ (ZMM)]
    └── リクエストごとのインスタンス・動的変数 (リクエスト終了時に破棄)

    このアーキテクチャの真の強みは、「リクエストごとにクラス定義をパースし、メモリ（ヒープ）に割り当てるコストが完全にゼロになる」点にある。これにより、リクエスト処理開始時のメモリ割り当てのベースラインが劇的に引き下げられ、`memory_limit`に対する圧迫感が大幅に軽減される。

    ただし、プリロードされたクラスのプロパティや静的変数にミュータブル（変更可能）なデータを保持させてはならない。共有メモリ上の構造体は全FPMプロセス間で共有されるため、あるリクエストで行った静的変数の書き換えが、別のリクエストにリークするという致命的なセキュリティインシデント（データ汚染）を引き起こす。

    —

    5. 脆弱性のメカニズム：オブジェクトインジェクションとGadget Chain

    メモリ管理の不備や、シリアライズされたデータの不適切なデシリアライズ（`unserialize()`の乱用）は、単なるパフォーマンス低下に留まらない。それは、PHPエンジンのメモリ空間を乗っ取られるセキュリティハックへと直結する。

    オブジェクトインジェクション（Object Injection）の物理的背景

    攻撃者が外部から悪意あるシリアライズ文字列をアプリケーションに注入し、それが`unserialize()`に渡された瞬間、Zend Engineはバイトコードをパースし、指定されたクラス名のインスタンスをヒープ上に再構築する。

    このとき、もしターゲットのクラスに`__wakeup()`や`__destruct()`、あるいは`__toString()`といったマジックメソッドが定義されている場合、エンジンは自動的にそれらのメソッドに対応するオペコードの実行へとジャンプする。

  • 脆弱なクラスの例（Gadgetの部品となるクラス）

    • /
    class Logger {
    public string $logFile = ‘/var/www/html/logs/app.log’;
    public string $logData = ‘some data’;

    // デストラクタでファイル書き込みを行っている危険な実装
    public function __destruct() {
    file_put_contents($this->logFile, $this->logData, FILE_APPEND);
    }
    }

    // 攻撃者が外部から以下のようなシリアライズデータを送り込むと…
    // O:6:”Logger”:2:{s:7:”logFile”;s:19:”/var/www/html/rce.php”;s:7:”logData”;s:23:”“;}

    このコードにおいて、`unserialize()`の実行によって生成されたオブジェクトは、リクエスト終了時（あるいはスクリプトの実行完了直後）に必ず`__destruct()`が呼び出される。攻撃者は、`logFile`のパスをWebのドキュメントルート下の任意のPHPファイルに書き換え、`logData`に任意のバックドアコードを仕込むことで、リモートコード実行（RCE: Remote Code Execution）を達成する。これが、いわゆるGadget Chainの構築メカニズムの本質である。

    メモリ上の`zval`の型情報を巧みに偽装し、ポインタの参照先を書き換えるような低レイヤの攻撃（Use-After-Freeなど）に対し、現代のPHP（PHP 8以降）は型安全性と厳密なメモリ管理によって強固な防御壁を築いているが、アプリケーション層での「信頼できない入力のデシリアライズ禁止」は、今なお鉄則である。

    —

    6. 実践：高負荷環境におけるメモリ制御とGCのチューニング

    最後に、巨大なデータセットを扱うバッチ処理やAPIエンドポイントにおいて、`memory_limit`の枯渇とメモリ解放遅延を防ぐための実用的なコードパターンを提示する。

    以下のコードは、数百万件のレコードを処理する際に、明示的なGCの制御とチャンク分割によってメモリのピークをフラットに保つアーキテクチャである。

    chunkSize = $chunkSize;
    $this->gcThreshold = $gcThreshold;

    // 自動GCを一時的に無効化し、手動で制御のタイミングを握る
    // （高頻度の自動GCによるCPUスパイクを防ぐため）
    gc_disable();
    }

    public function execute(\Generator $dataSource): void
    {
    $processedCount = 0;
    $collectionBuffer = [];

    foreach ($dataSource as $record) {
    // データをチャンクごとに集約
    $collectionBuffer[] = $this.transform($record);
    $processedCount++;

    // チャンクサイズに達したら永続化層へフラッシュ
    if (count($collectionBuffer) >= $this->chunkSize) {
    $this->flush($collectionBuffer);
    $collectionBuffer = []; // 参照を切断し、zvalのrefcountを下げる

    // 蓄積されたゴミが閾値を超えたら、明示的にGCを強制実行
    if ($processedCount >= $this->gcThreshold) {
    $collected = gc_collect_cycles();
    // ログ出力やメトリクス計測（必要に応じて）
    // error_log(“GC executed: {$collected} cycles collected. Current memory: ” . memory_get_usage(true));

    $processedCount = 0;
    }
    }
    }

    // 残余データのフラッシュ
    if (!empty($collectionBuffer)) {
    $this->flush($collectionBuffer);
    }

    // 最後に全体のクリーンアップ
    gc_enable();
    gc_collect_cycles();
    }

    private function transform(array $record): object
    // 戻り値の型: 匿名クラスによる軽量なデータコンテナ
    {
    return new class($record) {
    public array $data;
    public function __construct(array $data) {
    $this->data = $data;
    }
    };
    }

    private function flush(array &$buffer): void
    {
    // データベースへのバルクインサートなどの重い処理
    // … 処理完了後、配列変数を明示的にクリア
    unset($buffer);
    }
    }

    // — 実行例 —
    // 擬似的な無限データジェネレータ
    $infiniteGenerator = function(): \Generator {
    for ($i = 0; $i < 50000; $i++) { yield ['id' => $i, ‘payload’ => str_repeat(‘A’, 1024)];
    }
    };

    $processor = new BulkDataProcessor(200, 1000);
    // $processor->execute($infiniteGenerator());

    このコードのアーキテクチャ的意図

    1. GCの手動制御（`gc_disable` / `gc_collect_cycles`）: 大量データ処理において自動GCがランダムなタイミングで走ると、予測不可能なレイテンシのスパイク（Stop-the-World的な挙動）が発生する。処理の境界（チャンク単位）で明示的に制御することで、CPU負荷とメモリ使用量を完全にコントロール下に置く。
    2. 参照の即時切断（`unset`）: スコープを抜ける前であっても、不要になった配列やオブジェクトの参照を積極的に`unset`し、ルートバッファへのエントリ登録を促すことで、リクエスト終了間際の「一括解放遅延」を分散・回避する。

    —

    結びにかえて

    PHPの`memory_limit`とガベージコレクションの相互作用を制することは、Zend VMの呼吸を制することに他ならない。

    高トラフィックを支えるWebシステムや、ミッションクリティカルなバックエンドプロセスにおいて、メモリは単なる「潤沢にあるリソース」ではなく、常に枯渇の危険性を孕んだ有限の物理空間である。フレームワークが提供する抽象化の背後で、エンジンがどのような`zval`の操作を行い、どのタイミングでヒープを拡張・解放しているのか——その低レイヤの挙動を見通す眼光こそが、真にスケーラブルなPHPアーキテクチャを構築する唯一の道である。

    スポンサーリンク
    " "
    タイトルとURLをコピーしました