浅析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 相关文章推荐
phpMyAdmin 安装及问题总结
May 28 PHP
php小技巧 把数组的键和值交换形成了新的数组,查找值取得键
Jun 02 PHP
浅谈web上存漏洞及原理分析、防范方法(文件名检测漏洞)
Jun 29 PHP
PHP反射机制用法实例
Aug 28 PHP
PHP分页类集锦
Nov 18 PHP
初识laravel5
Mar 02 PHP
在Mac上编译安装PHP7的开发环境
Jul 28 PHP
Yii2实现中国省市区三级联动实例
Feb 08 PHP
php框架CodeIgniter使用redis的方法分析
Apr 13 PHP
PHP实现一个轻量级容器的方法
Jan 28 PHP
Yii框架常见缓存应用实例小结
Sep 09 PHP
利用PHP计算有多少小于当前数字的数字方法示例
Aug 26 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
如何阻止网站被恶意反向代理访问(防网站镜像)
2014/03/18 PHP
PHP array_key_exists检查键名或索引是否存在于数组中的实现方法
2016/06/13 PHP
详解PHP中的 input属性(隐藏 只读 限制)
2017/08/14 PHP
html下载本地
2006/06/19 Javascript
不能再简单的无闪刷新验证码原理很简单
2007/11/05 Javascript
仿迅雷焦点广告效果(JQuery版)
2008/11/19 Javascript
THREE.JS入门教程(3)着色器-下
2013/01/24 Javascript
js判断FCKeditor内容是否为空的两种形式
2013/05/14 Javascript
JS 按钮点击触发(兼容IE、火狐)
2013/08/07 Javascript
使用Node.js实现一个简单的FastCGI服务器实例
2014/06/09 Javascript
Javascript判断文件是否存在(客户端/服务器端)
2014/09/16 Javascript
基于jQuery+PHP+Mysql实现在线拍照和在线浏览照片
2015/09/06 Javascript
关于数据与后端进行交流匹配(点亮星星)
2016/08/03 Javascript
值得分享的JavaScript实现图片轮播组件
2016/11/21 Javascript
Javascript中for循环语句的几种写法总结对比
2017/01/23 Javascript
vue.js中指令Directives详解
2017/03/20 Javascript
Node.js 回调函数实例详解
2017/07/06 Javascript
在layui中layer弹出层点击事件无效的解决方法
2019/09/05 Javascript
Python中列表(list)操作方法汇总
2014/08/18 Python
利用python生成一个导出数据库的bat脚本文件的方法
2016/12/30 Python
Django框架用户注销功能实现方法分析
2019/05/28 Python
Flask使用Pyecharts在单个页面展示多个图表的方法
2019/08/05 Python
python图形用户接口实例详解
2019/12/16 Python
Pytorch中.new()的作用详解
2020/02/18 Python
python 使用cx-freeze打包程序的实现
2020/03/14 Python
python用tkinter实现一个简易能进行随机点名的界面
2020/09/27 Python
墨西哥巴士车票在线购买:ClickBus
2018/03/27 全球购物
巴西手表购物网站:eclock
2019/03/19 全球购物
高校十八大报告感想
2014/01/27 职场文书
采购求职信
2014/03/17 职场文书
商务英语专业求职信
2014/06/26 职场文书
珍惜资源的建议书
2014/08/26 职场文书
个人自查自纠材料
2014/10/14 职场文书
幼儿园法制宣传日活动总结
2014/11/01 职场文书
初中班干部工作总结
2015/08/10 职场文书
mysql备份策略的实现(全量备份+增量备份)
2021/07/07 MySQL