PHP におけるガベージ コレクションとメモリ管理の詳細な分析

この記事は、PHP におけるガベージ コレクションとメモリ管理の詳細な分析を提供します。一定の参考価値があります。必要な友人は参照できます。お役に立てれば幸いです。

参照カウント

PHP 5.2 以前のバージョンでは、PHP のガベージ コレクションは参照カウント アルゴリズムを使用します。

参照カウントの基礎知識

php 変数は「zval」変数コンテナ (データ構造) に格納され、「zval」属性には次の情報が含まれます。

• 現在の変数のデータ型;

• ##現在の変数の値;

# 変数が参照であるかどうかを識別するために使用されます 渡された is_ref ブール型識別子;
は、「zval」変数コンテナー内の変数の数の refcount 識別子を指します (つまり、 、この zval が参照された回数。ここでの参照は参照ではないことに注意してください。値を渡すため、区別に注意してください)。
変数に値が割り当てられると、対応する「zavl」変数コンテナが生成されます。

変数 zval コンテナ情報の表示

変数の「zval」コンテナ情報を表示 (つまり、変数の is_ref および refcount を表示) するには、次の手順を実行します。 XDebug デバッグ ツールを使用します

xdebug_debug_zval()

関数。 XDebug 拡張プラグインのインストール方法はこちらのチュートリアルで確認できますが、XDebug の使用方法については公式ドキュメントを参照してください。

XDebug ツールが正常にインストールされ、変数をデバッグできるようになったと仮定します。

通常の変数の zval 情報の表示
PHP ステートメントが単なる変数の単純な代入である場合、is_ref 識別子の値は 0 です。および refcount 値は 1 です。この変数が別の変数の値として割り当てられる場合、zval 変数コンテナの refcount カウントが増加します。同様に、変数が破棄される (設定解除される) と、「refcount」が 1 減算されます。それに応じて。

次の例を参照してください。

<?php // 变量赋值时，refcount 值等于 1
$name = &#39;liugongzi&#39;;
xdebug_debug_zval(&#39;name&#39;); // (refcount=1, is_ref=0)string &#39;liugongzi&#39; (length=9)

// $name 作为值赋值给另一个变量， refcount 值增加 1
$copy = $name;
xdebug_debug_zval(&#39;name&#39;); // (refcount=2, is_ref=0)string &#39;liugongzi&#39; (length=9)

// 销毁变量，refcount 值减掉 1
unset($copy);
xdebug_debug_zval(&#39;name&#39;); // (refcount=1, is_ref=0)string &#39;liugongzi&#39; (length=9)

Copy on write

Copy on write (コピー の上 書き込み: COW)、簡単に説明すると、値が代入によって変数に割り当てられた場合、新しい変数によって保存された値を保存するために新しいメモリは割り当てられませんが、メモリは単にカウンタを介して共有されるだけです。変数の値が変更されると、値の内容を保存するために新しい領域が割り当てられ、メモリ使用量が削減されます。 - TPIP コピーオンライト

単純な変数の前述の zval 情報から、$copy と $name が zval 変数コンテナ (メモリ) を共有していることがわかり、refcount を使用して変数の数を示します。現在このzvalを使用しています。

例を見てください:

<?php $name = &#39;liugongzi&#39;;
xdebug_debug_zval(&#39;name&#39;); // name: (refcount=1, is_ref=0)string &#39;liugongzi&#39; (length=9)

$copy = $name;
xdebug_debug_zval(&#39;name&#39;); // name: (refcount=2, is_ref=0)string &#39;liugongzi&#39; (length=9)

// 将新的值赋值给变量 $copy
$copy = &#39;liugongzi handsome&#39;;
xdebug_debug_zval(&#39;name&#39;); // name: (refcount=1, is_ref=0)string &#39;liugongzi&#39; (length=9)
xdebug_debug_zval(&#39;copy&#39;); // copy: (refcount=1, is_ref=0)=&#39;liugongzi handsome&#39;

値 liugongzi ハンサムが変数 $copy に代入されると、name と copy の refcount 値が 1 になることに気づきましたか。このプロセスでは、次の操作が発生します:

$name の zval (内部スレーブ) から $copy を分離します (つまり、コピー);
$name の refcount から 1 を減算;
$copy の zval を変更します (refcount を再割り当てして変更します);

• #ここでは、「書きながらコピー」について簡単に紹介します。興味のある友人は、記事の最後にある参考資料を読んでさらに詳しく調べることができます。

参照渡しされた変数の zval 情報の表示

• 値渡しによる参照 (&) の「参照カウント」ルール
is_ref

の値が

1 であることを除き、通常の代入ステートメントと同じです。これは、変数が値渡しの参照型であることを示します。 次に、参照渡しの例を見てみましょう:

<?php $age = &#39;liugongzi&#39;;
xdebug_debug_zval(&#39;age&#39;); // (refcount=1, is_ref=0)string &#39;liugongzi&#39; (length=9)

$copy = &$age;
xdebug_debug_zval(&#39;age&#39;); // (refcount=2, is_ref=1)string &#39;liugongzi&#39; (length=9)

unset($copy);
xdebug_debug_zval(&#39;age&#39;); // (refcount=1, is_ref=1)string &#39;liugongzi&#39; (length=9)

複合型の参照カウント

• スカラー型の場合(整数、浮動小数点、ブール値など)、配列やオブジェクトなどの型の参照カウント ルールは少し複雑です。

よりわかりやすく説明するために、まず配列の参照カウントの例を見てみましょう:

$a = array( 'meaning' => 'life', 'number' => 42 );
xdebug_debug_zval( 'a' );

// a:
// (refcount=1, is_ref=0)
// array (size=2)
//  'meaning' => (refcount=1, is_ref=0)string 'life' (length=4)
//  'number' => (refcount=1, is_ref=0)int 42

上の参照カウントの図は次のとおりです:

図から、複合型の参照カウント ルールは基本的にスカラーのカウント ルールと同じであることがわかります。指定された例では、PHP は 3 つの zval 変数コンテナを作成し、1 つは保存用です配列自体、他の 2 つは配列内の要素を格納するために使用されます。

既存の要素を配列に追加すると、その参照カウンタの refcount が 1 ずつ増加します。

$a = array( 'meaning' => 'life', 'number' => 42 );
xdebug_debug_zval( 'a' );
$a['life'] = $a['meaning'];
xdebug_debug_zval( 'a' );

// a:
// (refcount=1, is_ref=0)
// array (size=3)
//  'meaning' => (refcount=2, is_ref=0)string 'life' (length=4)
//  'number' => (refcount=0, is_ref=0)int 42
//  'life' => (refcount=2, is_ref=0)string 'life' (length=4)

大まかな図は次のとおりです。

##メモリ リーク

• 複合型の参照カウント規則はスカラー型とほぼ同じですが、参照の値が変数そのもの（つまり循環適用）の場合、それを処理しないとメモリリークが発生する可能性があります。きちんと。

配列を参照渡しする次の例を見てみましょう:

<?php // @link http://php.net/manual/zh/function.memory-get-usage.php#96280
function convert($size)
{
    $unit=array(&#39;b&#39;,&#39;kb&#39;,&#39;mb&#39;,&#39;gb&#39;,&#39;tb&#39;,&#39;pb&#39;);
    return @round($size/pow(1024,($i=floor(log($size,1024)))),2).&#39; &#39;.$unit[$i];
}

// 注意：有用的地方从这里开始
$memory = memory_get_usage();

$a = array( &#39;one&#39; );

// 引用自身（循环引用）
$a[] =&$a;

xdebug_debug_zval( &#39;a&#39; );

var_dump(convert(memory_get_usage() - $memory)); // 296 b

unset($a); // 删除变量 $a，由于 $a 中的元素引用了自身（循环引用）最终导致 $a 所使用的内存无法被回收

var_dump(convert(memory_get_usage() - $memory)); // 568 b

从内存占用结果上看，虽然我们执行了 unset($a) 方法来销毁 $a 数组，但内存并没有被回收，整个处理过程的示意图如下：

可以看到对于这块内存，再也没有符合表（变量）指向了，所以 PHP 无法完成内存回收，官方给出的解释如下：

尽管不再有某个作用域中的任何符号指向这个结构 (就是变量容器)，由于数组元素 “1” 仍然指向数组本身，所以这个容器不能被清除 。因为没有另外的符号指向它，用户没有办法清除这个结构，结果就会导致内存泄漏。庆幸的是，php 将在脚本执行结束时清除这个数据结构，但是在 php 清除之前，将耗费不少内存。如果你要实现分析算法，或者要做其他像一个子元素指向它的父元素这样的事情，这种情况就会经常发生。当然，同样的情况也会发生在对象上，实际上对象更有可能出现这种情况，因为对象总是隐式的被引用。

简单来说就是「引用计数」算法无法检测并释放循环引用所使用的内存，最终导致内存泄露。

引用计数系统的同步周期回收

由于引用计数算法存在无法回收循环应用导致的内存泄露问题，在 PHP 5.3 之后对内存回收的实现做了优化，通过采用 引用计数系统的同步周期回收 算法实现内存管理。引用计数系统的同步周期回收算法是一个改良版本的引用计数算法，它在引用基础上做出了如下几个方面的增强：

• 引入了可能根（possible root）的概念：通过引用计数相关学习，我们知道如果一个变量（zval）被引用，要么是被全局符号表中的符号引用（即变量），要么被复杂类型（如数组）的 zval 中的符号（数组的元素）引用，那么这个 zval 变量容器就是「可能根」。

• 引入根缓冲区（root buffer）的概念：根缓冲区用于存放所有「可能根」，它是固定大小的，默认可存 10000 个可能根，如需修改可以通过修改 PHP 源码文件 Zend/zend_gc.c 中的常量 GC_ROOT_BUFFER_MAX_ENTRIES，再重新编译。

• 回收周期：当缓冲区满时，对缓冲区中的所有可能根进行垃圾回收处理。

下图（来自 PHP 手册）,展示了新的回收算法执行过程：

引用计数系统的同步周期回收过程

1. 缓冲区（紫色框部分，称为疑似垃圾），存储所有可能根（步骤 A）；

2. 采用深度优先算法遍历「根缓冲区」中所有的「可能根（即 zval 遍历容器）」，并对每个 zval 的 refcount 减 1，为了避免遍历时对同一个 zval 多次减 1（因为不同的根可能遍历到同一个 zval）将这个 zvel 标记为「已减」（步骤 B）；

3. 再次采用深度优先遍历算法遍历「可能根 zval」。当 zval 的 refcount 值不为 0 时，对其加 1,否则保持为 0。并请已遍历的 zval 变量容器标记为「已恢复」（即步骤 B 的逆运算）。那些 zval 的 refcount 值为 0 （蓝色框标记）的就是应该被回收的变量（步骤 C）；

4. 删除所有 refcount 为 0 的可能根（步骤 D）。

整个过程为：

采用深度优先算法执行：默认删除 > 模拟恢复 > 执行删除 达到内存回收的目的。

优化后的引用计数算法优势

• 将内存泄露控制在阀值内，这个由缓存区实现，达到缓冲区大小执行新一轮垃圾回收；

• 提升了垃圾回收性能，不是每次 refcount 减 1 都执行回收处理，而是等到根缓冲区满时才开始执行垃圾回收。

你可以从 PHP 手册 的回收周期 了解更多，也可以阅读文末给出的参考资料。

PHP 7 的内存管理

PHP 5 中 zval 实现上的主要问题：

• zval 总是单独 从堆中分配内存；

• zval 总是存储引用计数和循环回收 的信息，即使是整型（bool / null）这种可能并不需要此类信息的数据；

• 在使用对象或者资源时，直接引用会导致两次计数；
  

• 一部の間接アクセスには、より適切な処理方法が必要です。たとえば、変数に格納されているオブジェクトにアクセスするために 4 つのポインターが間接的に使用されるようになりました (ポインター チェーンの長さは 4 です);

• 直接カウントとは、値を共有できるのは変数間でのみであることを意味します。ズヴァルス 。これは、zval とハッシュテーブル キーの間で文字列を共有したい場合には機能しません (ハッシュテーブル キーも zval でない限り)。

PHP 7 での zval データ構造実装の調整:

最も基本的な変更は、zval に必要なメモリがヒープとは別に割り当てられなくなったことです。 zval によって割り当てられなくなり、参照カウントが格納されます。
複雑なデータ型 (文字列、配列、オブジェクトなど) の参照カウントは、それ自体で保存されます。

この実装の利点:

• 単純なデータ型は、メモリを個別に割り当てる必要がなく、カウントする必要もありません;

• 二重カウントはもう発生しません。オブジェクトでは、オブジェクト自体に保存されているカウントのみが有効です;

• カウントは値自体によって保存されるようになったので (PHP には zval 変数コンテナー ストレージがあります)、非 zval 構造との組み合わせ zval とハッシュテーブル キーの間などのデータ共有;

• 間接アクセスに必要なポインタの数が減少します。

# おすすめ関連記事:

#PHP スクリプトのメモリ管理とガベージ コレクション - 個人的な記事の考え方

me_javascript スキルで JavaScript のガベージ コレクションの仕組みとメモリ管理を学ぶ

ガベージ コレクション PHP のガベージ コレクションの仕組みの簡単な説明

以上がPHP におけるガベージ コレクションとメモリ管理の詳細な分析の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。