您的位置:首页 > 编程语言 > PHP开发

详解 php 垃圾回收机制

2018-03-26 19:55 676 查看
php的垃圾回收机制 总结可以简单总结为 引用计数 写时复制 COW机制

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

每个php变量存在一个叫”zval”的变量容器中

一个zval变量容器,除了包含变量的类型和值 ,还包括两个字节的额外信息
is_ref
refcount


is_ref
是个bool值,用来标识这个变量是否是属于引用集合(reference set)。通过这个字节,php引擎才能把普通变量和引用变量区分开来

refcount
用以表示指向这个zval变量容器的变量个数

PHP5 中的引用计数

在PHP5中,zval 的内存是单独从堆(heap)中分配的(有少数例外情况),PHP 需要知道哪些 zval 是正在使用的,哪些是需要释放的。所以这就需要用到引用计数:zval 中 refcount__gc 的值用于保存 zval 本身被引用的次数,比如 a=a=b = 12语句中,12 被两个变量引用,所以它的引用计数就是 2。如果引用计数变成 0,就意味着这个变量已经没有用了,内存也就可以释放了。

如下

<?php

//php zval变量容器

$a = 1;
$b = 1;
$c = &$a;
$d = $b;

$e = range(0, 3);

xdebug_debug_zval('a');
xdebug_debug_zval('b');
xdebug_debug_zval('c');
xdebug_debug_zval('d');
xdebug_debug_zval('e');

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

结果如下

a:
(refcount=2, is_ref=1),int 1
b:
(refcount=2, is_ref=0),int 1
c:
(refcount=2, is_ref=1),int 1
d:
(refcount=2, is_ref=0),int 1
e:
(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('a');
xdebug_debug_zval('b');
xdebug_debug_zval('c');
xdebug_debug_zval('d');
xdebug_debug_zval('e');

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

a:
(refcount=2, is_ref=1)int 1
b:
(refcount=0, is_ref=0)int 1
c:
(refcount=2, is_ref=1)int 1
d:
(refcount=0, is_ref=0)int 1
e:
(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


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

什么是垃圾

如果一个zval的refcount增加,那么此zval还在使用,不属于垃圾

如果一个zval的refcount减少到0, 那么zval可以被释放掉,不属于垃圾

如果一个zval的refcount减少之后大于0,那么此zval还不能被释放,此zval可能成为一个垃圾

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

简单的说,就是对此zval中的每个元素进行一次refcount减1操作,操作完成之后,如果zval的refcount=0,那么这个zval就是一个垃圾
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: