浅析PHP7 的垃圾回收机制


Posted in PHP onSeptember 06, 2019

垃圾回收机制

垃圾回收机制是一种动态存储分配方案。它会自动释放程序不再需要的已分配的内存块。 自动回收内存的过程叫垃圾收集。垃圾回收机制可以让程序员不必过分关心程序内存分配,从而将更多的精力投入到业务逻辑。 在现在的流行各种语言当中,垃圾回收机制是新一代语言所共有的特征。

垃圾的产生

PHP7 中复杂类型,像字符串、数组、对象等的数据结构中,头部都有一个 gc, 这个 gc 的作用就是用来对垃圾回收的支持。当变量赋值、传递时,会增加 value 的引用数, unset、return 等释放变量时再减掉引用数,减掉后如果发现 refcount 变为 0 则直接释放 value,这是变量的基本回收过程。

不过有一种问题是这个机制无法解决的,就是循环引用的问题。

什么是循环引用呢? 简单说就是变量的内部里存的 value 又引用了变量自身。 这种比较经常发生在数组和对象类型的变量上。

这里先讲一下引用,即 zend_reference 这个类型,这个是 PHP7 新增的变量类型,当对变量使用 “&” 操作时,会创建新的中间结构体 zend_reference,这个结构体会真正的指向对应的 value 结构。

举个例子:

// 当进行如下赋值操作时
$a = 'hello'; // $a -> zend_string
$b = $a; // $b,$a -> zend_string
$c = &$b; // $c,$b -> zval(type = IS_REFERENCE, refcount = 2) -> zend_string

最终会变成如下这样:

 浅析PHP7 的垃圾回收机制

即 $b 和 $c 的 zval 是通过中间结构体 zend_reference 再指向最终的 zend_string

回到循环引用的问题,举个数组循环引用例子:

$arr = [1];
$a[] = &$a;
unset($a);

使用 & 操作之后,变量 a 就变成了引用类型且引用计数 refcount 为 2,而又赋值给自己里面的元素,即变量 a 变成了自己引用自己。

具体如下如所示:

 浅析PHP7 的垃圾回收机制

当 unset 之后就变成下图这样:

 浅析PHP7 的垃圾回收机制

即 $a 所在的 zval 类型已经变成了 IS_UNDEF 了,zend_reference 结构体的引用计数减 1,但是仍然大于 0,这时候,这部分结构体就变成了垃圾,对此不处理的话,就可能会造成内存泄露。这里就需要垃圾收集器将这部分收集到缓冲区,之后进行回收处理。

回收过程

如果当变量的 refcount 减小后大于 0,PHP 并不会立即对这个变量进行垃圾鉴定和回收,而是放入一个缓冲区中,等这个缓冲区满了以后(10000 个值)再统一进行处理,加入缓冲区的是变量 zend_value 里的 gc,目前垃圾只会出现在数组和对象两种类型中,数组的情况上面已经介绍了,对象的情况则是成员属性引用对象本身导致的,其它类型不会出现这种变量中的成员引用变量自身的情况,所以垃圾回收只会处理这两种类型的变量。

gc 的结构 zend_refcounted_h 具体如下:

typedef struct _zend_refcounted_h {
  uint32_t     refcount; // 记录 zend_value 的引用数
  union {
    struct {
      zend_uchar  type, // zend_value的类型, 与zval.u1.type一致
      zend_uchar  flags, 
      uint16_t   gc_info // GC信息,记录在 gc 池中的位置和颜色,垃圾回收的过程会用到
    } v;
    uint32_t type_info;
  } u;
} zend_refcounted_h;

一个变量只能加入一次缓冲区,为了防止重复加入,变量加入后会把 zend_refcounted_h.gc_info 置为 GC_PURPLE,即标为紫色,后续不会重复插入。

垃圾缓冲区是一个双向链表,等到缓存区满了以后则启动垃圾检查过程:遍历缓冲区,对当前变量的所有成员进行遍历,然后把成员的 refcount 减 1 (如果成员还包含子成员则也进行递归遍历,即深度优先遍历),最后再检查当前变量的引用,如果减为了 0 则为垃圾。这个算法的原理核心是:垃圾是由于成员引用自身导致的,那么就对所有的成员减一遍引用,如果发现最后变量本身的 refcount 变为了 0 则就表明其引用全部来自自身成员,即其他任何地方都不再使用它,那么它就是垃圾,需要被回收掉。反之说明不是垃圾,需要将其从缓冲区移出去。具体的过程如下:

(1) 从缓冲区链表的 roots 开始遍历,把当前 value 标为灰色 (zend_refcounted_h.gc_info 置为 GC_GREY),然后对当前 value 的成员进行深度优先遍历,把成员 value 的 refcount 减 1,并且也标为灰色;

(2) 重复遍历缓冲区链表,检查当前 value 引用是否为 0,为 0 则表示确实是垃圾,把它标为白色(GC_WHITE),如果不为 0 则排除了引用全部来自自身成员的可能,表示还有外部的引用,并不是垃圾,这时候因为步骤(1)对成员进行了 refcount 减 1 操作,需要再还原回去,对所有成员进行深度遍历,把成员 refcount 加 1,同时标为黑色;

(3) 再次遍历缓冲区链表,将非 GC_WHITE 的节点从 roots 链表中移出(移到待释放的列表),最终 roots 链表中全部为真正的垃圾,最后将这些垃圾清除。

总结

以上所述是小编给大家介绍的PHP7 的垃圾回收机制,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对三水点靠木网站的支持!
如果你觉得本文对你有帮助,欢迎转载,烦请注明出处,谢谢!

PHP 相关文章推荐
PHP在Web开发领域的优势
Oct 09 PHP
PHP 数组实例说明
Aug 18 PHP
phpmyadmin里面导入sql语句格式的大量数据的方法
Jun 05 PHP
深入分析使用mysql_fetch_object()以对象的形式返回查询结果
Jun 05 PHP
php类常量的使用详解
Jun 08 PHP
PHP中判断变量为空的几种方法小结
Nov 12 PHP
thinkphp获取栏目和文章当前位置的方法
Oct 29 PHP
PHP Static延迟静态绑定用法分析
Mar 16 PHP
功能强大的php文件上传类
Aug 29 PHP
php面向对象的用户登录身份验证
Jun 08 PHP
基于swoole实现多人聊天室
Jun 14 PHP
Smarty模板变量与调节器实例详解
Jul 20 PHP
PHP的介绍以及优势详细分析
Sep 05 #PHP
laravel5.1框架基础之Blade模板继承简单使用方法分析
Sep 05 #PHP
Laravel5.4框架中视图共享数据的方法详解
Sep 05 #PHP
php生成微信红包数组的方法
Sep 05 #PHP
Laravel框架创建路由的方法详解
Sep 04 #PHP
Laravel框架查询构造器 CURD操作示例
Sep 04 #PHP
Yii框架操作cookie与session的方法实例详解
Sep 04 #PHP
You might like
mysql 的 like 问题,超强毕杀记!!!
2007/01/18 PHP
php preg_filter执行一个正则表达式搜索和替换
2012/02/27 PHP
分享一个PHP数据流应用的简单例子
2012/06/01 PHP
PHP 过滤页面中的BOM(实现代码)
2013/06/29 PHP
CentOS下PHP安装Oracle扩展
2015/02/15 PHP
PHP 文件锁与进程锁的使用示例
2017/08/07 PHP
PHP实现将上传图片自动缩放到指定分辨率,并保持清晰度封装类示例
2019/06/17 PHP
使用jQuery操作Cookies的实现代码
2011/10/09 Javascript
Three.js源码阅读笔记(Object3D类)
2012/12/27 Javascript
jQuery简单图表peity.js使用示例
2014/05/02 Javascript
JS组件Form表单验证神器BootstrapValidator
2016/01/26 Javascript
聊一聊JavaScript作用域和作用域链
2016/05/03 Javascript
BootStrap实现轮播图效果(收藏)
2016/12/30 Javascript
基于JavaScript实现熔岩灯效果导航菜单
2017/01/04 Javascript
基于AGS JS开发自定义贴图图层
2017/03/31 Javascript
详解jQuery同步Ajax带来的UI线程阻塞问题及解决办法
2017/08/09 jQuery
vue.js template模板的使用(仿饿了么布局)
2018/08/13 Javascript
JavaScript this关键字的深入详解
2021/01/14 Javascript
[02:40]2018年度DOTA2最佳新人-完美盛典
2018/12/16 DOTA
Python中__call__用法实例
2014/08/29 Python
python3中dict(字典)的使用方法示例
2017/03/22 Python
python实现解数独程序代码
2017/04/12 Python
python实现教务管理系统
2018/03/12 Python
Python2.7 实现引入自己写的类方法
2018/04/29 Python
python得到单词模式的示例
2018/10/15 Python
Python代码中如何读取键盘录入的值
2020/05/27 Python
详解python os.path.exists判断文件或文件夹是否存在
2020/11/16 Python
canvas绘制太极图的实现示例
2020/04/29 HTML / CSS
欧铁通票官方在线销售网站:Eurail.com
2017/10/14 全球购物
2014年清明节网上祭英烈寄语
2014/04/09 职场文书
协议书样本
2014/04/23 职场文书
索赔员岗位职责
2015/02/15 职场文书
2015年领导班子工作总结
2015/05/23 职场文书
培养联系人考察意见
2015/06/01 职场文书
安全教育第一课观后感
2015/06/17 职场文书
汽车修理厂管理制度
2015/08/05 职场文书