掌握php垃圾回收机制-php教程-PHP中文网

首页

后端开发

php教程

掌握php垃圾回收机制

小云云

Mar 27, 2018 pm 02:20 PM

php回收机制

php的垃圾回收机制总结可以简单总结为引用计数写时复制 COW机制，本文主要和大家分享掌握php垃圾回收机制的知识，希望能帮助到大家。

引用计数基本知识官网的解答如下

每个php变量存在一个叫”zval”的变量容器中
一个zval变量容器，除了包含变量的类型和值，还包括两个字节的额外信息 is_ref 和 refcount
is_ref 是个bool值，用来标识这个变量是否是属于引用集合(reference set)。通过这个字节，php引擎才能把普通变量和引用变量区分开来
refcount 用以表示指向这个zval变量容器的变量个数

PHP5 中的引用计数

在PHP5中，zval 的内存是单独从堆（heap）中分配的（有少数例外情况），PHP 需要知道哪些 zval 是正在使用的，哪些是需要释放的。所以这就需要用到引用计数：zval 中 refcount__gc 的值用于保存 zval 本身被引用的次数，比如

b = 12语句中，12 被两个变量引用，所以它的引用计数就是 2。如果引用计数变成 0，就意味着这个变量已经没有用了，内存也就可以释放了。

如下

<?php

//php zval变量容器$a = 1;$b = 1;$c = &$a;$d = $b;$e = range(0, 3);

xdebug_debug_zval(&#39;a&#39;);
xdebug_debug_zval(&#39;b&#39;);
xdebug_debug_zval(&#39;c&#39;);
xdebug_debug_zval(&#39;d&#39;);
xdebug_debug_zval(&#39;e&#39;);

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

结果如下

a:(refcount=2, is_ref=1),int 1b:(refcount=2, is_ref=0),int 1c:(refcount=2, is_ref=1),int 1d:(refcount=2, is_ref=0),int 1e:(refcount=1, is_ref=0),
array (size=4)
  0 => (refcount=1, is_ref=0),int 0
  1 => (refcount=1, is_ref=0),int 1
  2 => (refcount=1, is_ref=0),int 2
  3 => (refcount=1, is_ref=0),int 3

每一个变量都记了自己的数

PHP7 中的 zval

在 PHP7 中 zval 有了新的实现方式。最基础的变化就是 zval 需要的内存不再是单独从堆上分配，不再自己存储引用计数。复杂数据类型（比如字符串、数组和对象）的引用计数由其自身来存储。这种实现方式有以下好处：

简单数据类型不需要单独分配内存，也不需要计数
不会再有两次计数的情况，在对象中，只有对象自身存储的计数是有效的
由于现在计数由数值自身存储，所以也就可以和非 zval 结构的数据共享，比如 zval 和 hashtable key 之间
间接访问需要的指针数减少了

<?php

//php zval变量容器$a = 1;$b = 1;$c = &$a;$d = $b;$e = range(0, 3);

xdebug_debug_zval(&#39;a&#39;);
xdebug_debug_zval(&#39;b&#39;);
xdebug_debug_zval(&#39;c&#39;);
xdebug_debug_zval(&#39;d&#39;);
xdebug_debug_zval(&#39;e&#39;);


>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
结果如下

a:(refcount=2, is_ref=1)int 1b:(refcount=0, is_ref=0)int 1c:(refcount=2, is_ref=1)int 1d:(refcount=0, is_ref=0)int 1e:(refcount=1, is_ref=0)array (size=4)
  0 => (refcount=0, is_ref=0)int 0
  1 => (refcount=0, is_ref=0)int 1
  2 => (refcount=0, is_ref=0)int 2
  3 => (refcount=0, is_ref=0)int 3

普通变量不再记自己的数，数组这样的复杂类型记自己的数

什么是垃圾

只有在准则3下，GC才会把zval收集起来，然后通过新的算法来判断此zval是否为垃圾。那么如何判断这么一个变量是否为真正的垃圾呢？

简单的说，就是对此zval中的每个元素进行一次refcount减1操作，操作完成之后，如果zval的refcount=0，那么这个zval就是一个垃圾