深入理解 PHP7 中全新的 zval 容器和引用计数机制


Posted in PHP onOctober 15, 2018

最近在查阅 PHP7 垃圾回收的资料的时候,网上的一些代码示例在本地环境下运行时出现了不同的结果,使我一度非常迷惑。 仔细一想不难发现问题所在:这些文章大多是 PHP5.x 时代的,而 PHP7 发布后,采用了新的 zval 结构,相关的资料也比较贫瘠,所以我结合一些资料做了一个总结, 主要侧重于解释新 zval 容器中的引用计数机制 ,如有谬误,还望不吝指教。

PHP7 中新的 zval 结构

明人不说暗话,先看代码!

struct _zval_struct {
 union {
 zend_long     lval;       /* long value */
 double      dval;       /* double value */
 zend_refcounted *counted;
 zend_string   *str;
 zend_array    *arr;
 zend_object   *obj;
 zend_resource  *res;
 zend_reference  *ref;
 zend_ast_ref   *ast;
 zval       *zv;
 void       *ptr;
 zend_class_entry *ce;
 zend_function  *func;
 struct {
  uint32_t w1;
  uint32_t w2;
 } ww;
 } value;
  union {
    struct {
      ZEND_ENDIAN_LOHI_4(
        zend_uchar  type,     /* active type */
        zend_uchar  type_flags,
        zend_uchar  const_flags,
        zend_uchar  reserved)   /* call info for EX(This) */
    } v;
    uint32_t type_info;
  } u1;
  union {
    uint32_t   var_flags;
    uint32_t   next;         /* hash collision chain */
    uint32_t   cache_slot;      /* literal cache slot */
    uint32_t   lineno;        /* line number (for ast nodes) */
    uint32_t   num_args;       /* arguments number for EX(This) */
    uint32_t   fe_pos;        /* foreach position */
    uint32_t   fe_iter_idx;     /* foreach iterator index */
  } u2;
};

对于该结构的详细描述可以参考文末鸟哥的文章,写的非常详细,我就不关公面前耍大刀了,这里我只提出几个比较关键的点:

  1. PHP7 中的变量分为 变量名 和 变量值 两部分,分别对应 zval_struct 和在其中声明的 value
  2. zval_struct.value 中的 zend_long 、 double 都是 简单数据类型 ,能够直接储存具体的值,而其他复杂数据类型储存一个指向其他数据结构的 指针
  3. PHP7 中,引用计数器储存在 value 中而不是 zval_struct
  4. NULL 、 布尔型 都属于 没有值 的数据类型(其中布尔型通过 IS_FALSE 和 IS_TRUE 两个常量来标记),自然也就没有引用计数
  5. 引用 (REFERENCE)变为了一种数据结构而不再只是一个标记位了,它的结构如下:
struct _zend_reference {
  zend_refcounted_h gc;
  zval       val;
}

6.zend_reference 作为 zval_struct 中包含的一种 value 类型,也拥有自己的 val 值,这个值是指向一个 zval_struct.value 的。他们都拥有自己的 引用计数器 。

引用计数器用来记录当前有多少 zval 指向同一个 zend_value 。

针对第六点,请看如下代码:

$a = 'foo';
$b = &$a;
$c = $a;

此时的数据结构是这样的:

$a 与 $b 各拥有一个 zval_struct 容器,并且其中的 value 都指向同一个 zend_reference 结构, zend_reference 内嵌一个 val 结构, 指向同一个 zend_string , 字符串的内容 就储存在其中。

而 $c 也拥有一个 zval_struct ,而它的 value 在初始化的时候可以直接指向上面提到的 zend_string ,这样在拷贝时就不会产生复制。

下面我们就聊一聊在这种全新的 zval 结构中,会出现的种种现象,和这些现象背后的原因。

问题

一. 为什么某些变量的引用计数器的初始值为 0

现象

$var_int = 233;
$var_float = 233.3;
$var_str = '233';
xdebug_debug_zval('var_int');
xdebug_debug_zval('var_float');
xdebug_debug_zval('var_str');
/** 输出 **
var_int:
(refcount=0, is_ref=0)int 233
var_float:
(refcount=0, is_ref=0)float 233.3
var_str:
(refcount=0, is_ref=0)string '233' (length=3)
**********/

原因

在 PHP7 中,为一个变量赋值的时候,包含了两部分操作:

  1. 为符号量(即变量名)申请一个 zval_struct 结构
  2. 将变量的值储存到 zval_struct.value 中 对于 zval 在 value 字段中能保存下的值,就不会在对他们进行引用计数, 而是在拷贝的时候直接赋值 ,这部分类型有:
  • IS_LONG
  • IS_DOUBLE

即我们在 PHP 中的 整形 与 浮点型 。

那么 var_str 的 refcount 为什么也是 0 呢?

这就牵扯到 PHP 中字符串的两种类型:

1.interned string 内部字符串(函数名、类名、变量名、静态字符串):

$str = '233';    // 静态字符串

2.普通字符串:

$str = '233' . time();

对于 内部字符串 而言,字符串的内容是唯一不变的,相当于 C 语言中定义在静态变量区的字符串, 他们的生存周期存在于整个请求期间,request 完成后会统一销毁释放 ,自然也就无需通过引用计数进行内存管理。

二. 为什么在对整形、浮点型和静态字符串型变量进行引用赋值时,计数器的值会直接变为2

现象

$var_int_1 = 233;
$var_int_2 = &var_int;
xdebug_debug_zval('var_int_1');
/** 输出 **
var_int:
(refcount=2, is_ref=1)int 233
**********/

原因

回忆一下我们开头讲的 zval_struct 中 value 的数据结构,当为一个变量赋 整形 、 浮点型 或 静态字符串 类型的值时,value 的数据类型为 zend_long 、 double 或 zend_string ,这时值是可以直接储存在 value 中的。而按值拷贝时,会开辟一个新的 zval_struct 以同样的方式将值储存到相同数据类型的 value 中,所以 refcount 的值一直都会为 0。

但是当使用 & 操作符进行引用拷贝时,情况就不一样了:

  1. PHP 为 & 操作符操作的变量申请一个 zend_reference 结构
  2. 将 zend_reference.value 指向原来的 zval_struct.value
  3. zval_struct.value 的数据类型会被修改为 zend_refrence
  4. 将 zval_struct.value 指向刚刚申请并初始化后的 zend_reference
  5. 为新变量申请 zval_struct 结构,将他的 value 指向刚刚创建的 zend_reference

此时: var_int_2 都拥有一个 zval_struct 结构体,并且他们的 zval_struct.value 都指向了同一个 zend_reference 结构,所以该结构的引用计数器的值为 2。

题外话:zend_reference 又指向了一个整形或浮点型的 value,如果指向的 value 类型是 zend_string,那么该 value 引用计数器的值为 1。而 xdebug 出来的 refcount 显示的是 zend_reference 的计数器值(即 2)

三. 为什么初始数组的引用计数器的值为 2

现象

$var_empty_arr = [1, 2, '3'];
xdebug_debug_zval('var_empty_arr');
/** 输出 **
var_arr:
(refcount=3, is_ref=0)
array (size=3)
 0 => (refcount=0, is_ref=0)int 1
 1 => (refcount=0, is_ref=0)int 2
 2 => (refcount=1, is_ref=0)string '3' (length=1)
**********/

原因

这牵扯到 PHP7 中的另一个概念,叫做 immutable array (不可变数组)。 关于 immutable array 的详细介绍我放到下篇文章中讲,这里我们只需要知道,这样定义的数组,叫做 不可变数组 。

For arrays the not-refcounted variant is called an "immutable array". If you use opcache, then constant array literals in your code will be converted into immutable arrays. Once again, these live in shared memory and as such must not use refcounting. Immutable arrays have a dummy refcount of 2, as it allows us to optimize certain separation paths.

不可变数组和我们上面讲到的 内部字符串 一样,都是 不使用引用计数 的,但是不同点是,内部字符串的计数值恒为 0,而不可变数组会使用一个 伪计数值 2。

总结

以上所述是小编给大家介绍的 PHP7 中全新的 zval 容器和引用计数机制,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对三水点靠木网站的支持!

PHP 相关文章推荐
优化PHP代码的53条建议
Mar 27 PHP
PHP下通过file_get_contents的代理使用方法
Feb 16 PHP
PHP写的加密函数,支持私人密钥(详细介绍)
Jun 09 PHP
浅析PHP中的字符串编码转换(自动识别原编码)
Jul 02 PHP
Laravel 5 学习笔记
Mar 06 PHP
php使用cookie实现记住登录状态
Apr 27 PHP
php文件操作之小型留言本实例
Jun 20 PHP
php计算title标题相似比的方法
Jul 29 PHP
php 如何获取文件的后缀名
Jun 05 PHP
php判断用户是否关注微信公众号
Jul 22 PHP
PHP curl 或 file_get_contents 获取需要授权页面的方法
May 05 PHP
在laravel中使用Symfony的Crawler组件分析HTML
Jun 19 PHP
php实现二叉树中和为某一值的路径方法
Oct 14 #PHP
php中青蛙跳台阶的问题解决方法
Oct 14 #PHP
PHP通过文件路径获取文件名的实例代码
Oct 14 #PHP
ThinkPHP中获取指定日期后工作日的具体日期方法
Oct 14 #PHP
php实现数组中出现次数超过一半的数字的统计方法
Oct 14 #PHP
php5.5使用PHPMailer-5.2发送邮件的完整步骤
Oct 14 #PHP
PHP中常见的密码处理方式和建议总结
Oct 14 #PHP
You might like
世界上第一台立体声收音机
2021/03/01 无线电
php代码优化及php相关问题总结
2006/10/09 PHP
模仿OSO的论坛(四)
2006/10/09 PHP
php解析xml方法实例详解
2015/05/12 PHP
WordPress中登陆后关闭登陆页面及设置用户不可见栏目
2015/12/31 PHP
如何在Web页面上直接打开、编辑、创建Office文档
2007/03/12 Javascript
制作高质量的JQuery Plugin 插件的方法
2010/04/20 Javascript
JavaScript中的onerror事件概述及使用
2013/04/01 Javascript
js实现键盘操作实现div的移动或改变的原理及代码
2014/06/23 Javascript
Bootstrap轮播插件中图片变形的终极解决方案 使用jqthumb.js
2016/07/10 Javascript
14 个折磨人的 JavaScript 面试题
2016/08/08 Javascript
利用Mongoose让JSON数据直接插入或更新到MongoDB
2017/05/03 Javascript
jQuery手风琴的简单制作
2017/05/12 jQuery
JS实现按钮控制计时开始和停止功能
2017/07/27 Javascript
浅谈在不使用ssr的情况下解决Vue单页面SEO问题(2)
2018/11/08 Javascript
vue项目设置scrollTop不起作用(总结)
2018/12/21 Javascript
vue+vant使用图片预览功能ImagePreview的问题解决
2020/04/10 Javascript
详解vue高级特性
2020/06/09 Javascript
[02:02]特效爆炸!DOTA2珍宝之瓶待你开启
2018/08/21 DOTA
Python简单获取网卡名称及其IP地址的方法【基于psutil模块】
2018/05/24 Python
分享vim python缩进等一些配置
2018/07/02 Python
python 处理数字,把大于上限的数字置零实现方法
2019/01/28 Python
在win10和linux上分别安装Python虚拟环境的方法步骤
2019/05/09 Python
Python list运算操作代码实例解析
2020/01/20 Python
Python爬取豆瓣数据实现过程解析
2020/10/27 Python
信息管理应届生求职信
2014/03/07 职场文书
《天游峰的扫路人》教学反思
2014/04/25 职场文书
经典团队口号大全
2014/06/21 职场文书
私人委托书格式
2014/09/10 职场文书
房屋登记授权委托书范本
2014/10/09 职场文书
2014财务年终工作总结
2014/12/08 职场文书
学校党风廉政建设调研报告
2015/01/01 职场文书
初中政治教师教学反思
2016/02/23 职场文书
python中的装饰器该如何使用
2021/06/18 Python
SpringBoot整合JWT的入门指南
2021/06/29 Java/Android
MySQL学习之基础命令实操总结
2022/03/19 MySQL