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

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

PHP7 中新的 zval 结构

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

  1. struct _zval_struct{
  2. union {
  3. zend_long     lval;       /* long value */
  4. double      dval;       /* double value */
  5. zend_refcounted *counted;
  6. zend_string   *str;
  7. zend_array    *arr;
  8. zend_object   *obj;
  9. zend_resource  *res;
  10. zend_reference*ref;
  11. zend_ast_ref   *ast;
  12. zval       *zv;
  13. void       *ptr;
  14. zend_class_entry *ce;
  15. zend_function  *func;
  16. struct {
  17. uint32_t w1;
  18. uint32_t w2;
  19. } ww;
  20. } value;
  21. union {
  22. struct {
  23. ZEND_ENDIAN_LOHI_4(
  24. zend_uchar  type,     /* active type */
  25. zend_uchar  type_flags,
  26. zend_uchar  const_flags,
  27. zend_uchar  reserved)   /* call info for EX(This) */
  28. } v;
  29. uint32_t type_info;
  30. } u1;
  31. union {
  32. uint32_t   var_flags;
  33. uint32_t   next;         /* hash collision chain */
  34. uint32_t   cache_slot;      /* literal cache slot */
  35. uint32_t   lineno;        /* line number (for ast nodes) */
  36. uint32_t   num_args;       /* arguments number for EX(This) */
  37. uint32_t   fe_pos;        /* foreach position */
  38. uint32_t   fe_iter_idx;     /* foreach iterator index */
  39. } u2;
  40. };

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

  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)变为了一种数据结构而不再只是一个标记位了,它的结构如下:
  1. struct _zend_reference{
  2. zend_refcounted_h gc;
  3. zval       val;
  4. }

6.

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

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

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

  1. $a = 'foo';
  2. $b = &$a;
  3. $c = $a;

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

$a 与 $b 各拥有一个 zval_struct容器,并且其中的 value 都指向同一个

zend_reference结构, zend_reference内嵌一个 val 结构, 指向同一个 zend_string , 字符串的内容 就储存在其中。

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

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

问题

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

现象

  1. $var_int = 233;
  2. $var_float = 233.3;
  3. $var_str = '233';
  4. xdebug_debug_zval('var_int');
  5. xdebug_debug_zval('var_float');
  6. xdebug_debug_zval('var_str');
  7. /** 输出 **
  8. var_int:
  9. (refcount=0, is_ref=0)int 233
  10. var_float:
  11. (refcount=0, is_ref=0)float 233.3
  12. var_str:
  13. (refcount=0, is_ref=0)string '233' (length=3)
  14. **********/

原因

在 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

现象

  1. $var_int_1 = 233;
  2. $var_int_2 = &var_int;
  3. xdebug_debug_zval('var_int_1');
  4. /** 输出 **
  5. var_int:
  6. (refcount=2, is_ref=1)int 233
  7. **********/

原因

回忆一下我们开头讲的 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

现象

  1. $var_empty_arr = [1, 2, '3'];
  2. xdebug_debug_zval('var_empty_arr');
  3. /** 输出 **
  4. var_arr:
  5. (refcount=3, is_ref=0)
  6. array (size=3)
  7. 0 => (refcount=0, is_ref=0)int 1
  8. 1 => (refcount=0, is_ref=0)int 2
  9. 2 => (refcount=1, is_ref=0)string '3' (length=1)
  10. **********/

原因

这牵扯到 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。

参考文章:

  • 深入解析PHP的引用计数机制
  • PHP 应用容器化以及部署方法
  • PHP解耦的三重境界(浅谈服务容器)

转载于:https://www.cnblogs.com/sohuhome/p/9800977.html

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

  1. php zval_copy_static_var(),深入理解 PHP7 中全新的 zval 容器和引用计数机制

    深入理解 PHP7 中全新的 zval 容器和引用计数机制2020-06-14 13:11:54 最近在查阅 PHP7 垃圾回收的资料的时候,网上的一些代码示例在本地环境下运行时出现了不同的结果,使我 ...

  2. 状态栏和navigationbar 关联上,结构体总是通过被复制的方式在代码中传递,因此请不要使用引用计数。...

    @interface MapDetailViewController ()<UINavigationBarDelegate> - (UIBarPosition)positionForBar ...

  3. 如何理解JavaScript中给变量赋值,是引用还是复制

    一.JavaScript中值的类型 JavaScript中的值分为2大类:基本类型和引用类型.每种类型下面又分为5种类型. 基本类型: 数字类型:Number:字符串类型:String:布尔类型:Bo ...

  4. 深入理解 PHP7 unset 真的会释放内存吗?

    女主宣言 PHP 提供了 unset 用于释放指定的变量,那么它真的会释放内存吗?本文将从这个话题展开讨论. 本文作者范家鹏,360技术委员会--WEB服务端分TC委员. 文本转载自360技术,转载请 ...

  5. php7 unset函数,深入理解 PHP7 unset 真的会释放内存吗?

    一.关于unset的一些说法 有人说:unset() 并不真正释放内存: unset() 函数只能在变量值占用内存空间超过 256 字节时才会释放内存空间: 只有当指向该变量的所有变量(如引用变量)都 ...

  6. 深入理解PHP中赋值与引用

    原文:深入理解PHP中赋值与引用 先看下面的问题: <?php $a = 10;//将常量值赋给变量,会为a分配内存空间$b = $a;//变量赋值给变量,是不是copy了一份副本,b也分配了内 ...

  7. 深入理解C++中的循环引用问题及解决方法

    循环引用问题在C++中是指当两个或多个对象互相持有对方的引用(通常是通过智能指针),导致它们的引用计数永远不会降为零,从而导致内存泄漏的情况.这种问题在使用shared_ptr时尤为突出,因为shar ...

  8. php7引用计数,PHP7 引用计数 读书笔记

    PHP7 引用计数 读书笔记 每个 PHP 变量存在一个加 "zval" 的变量容器中. 一个 zval 变量容器, 除了包含变量的类型和值, 还包括两个字节的额外信息. 1.is ...

  9. iOS中引用计数内存管理机制分析

    在 iOS 中引用计数是内存的管理方式,虽然在 iOS5 版本中,已经支持了自动引用计数管理模式,但理解它的运行方式有助于我们了解程序的运行原理,有助于 debug 程序. 操作系统的内存管理分成堆和 ...

最新文章

  1. Winform中实现拖拽文件到ListView获取文件类型(附代码下载)
  2. 使用Webrtc和React Js在网络上共享跨平台的点对点文件
  3. python批处理代码_【原创源码】【python】python文本文件批处理
  4. oracle物理,Oracle物理结构概述
  5. 关于男生追女生的数学模型【转王博】
  6. 小球碰撞(理解ing)
  7. 大数据分析-实验五 pdfminer
  8. 麦考利久期公式(c语言实现)
  9. linux 词霸,Ubuntu下使用原版金山词霸
  10. SpringBoot+Mybatis实现三级分类联动
  11. 为什么要用“设计模式”?(六大好处)
  12. 合肥工业大学java考试试题_合肥工业大学JAVA程序设计问答题.docx
  13. SQL-spj库创建脚本
  14. php Excel 合并单元格
  15. DOCTYPE 的作用是什么
  16. ec----------
  17. android 机器人gif,看完这15张GIF图 就再也不用担心机器人叛乱了
  18. 简单的SQL注入攻击
  19. “碳中和”研究为什么需要气象数据
  20. backface-visibility 翻转特效

热门文章

  1. 【Gym - 101986F】Pizza Delivery(Dijkstra最短路,建图方式,反向建图,Tarjan求桥,图论模板)
  2. 百度飞桨顶会论文复现(5):视频分类论文之《Representation Flow for Action Recognition》篇
  3. linux 对硬盘重新分区,硬盘重新分区后,linux的硬盘表的重新设置
  4. mysql连接方式左联_数据库中的左连接(left join)和右连接(right join)区别 | 改变自己...
  5. 悟空php微信复制的东西在哪找,微信收藏的文件在哪?从哪里能看到?
  6. 东北育才高中2021年高考成绩查询,东北育才学校国际部2021年招生计划
  7. php 去掉不可见字符串,php去掉指定字符串的办法
  8. 解决ckeditor富文本在layui 弹框中大小字体等下拉不显示
  9. Struts2.3接收post方式提交的表单参数的方式
  10. (图文详细)如何使用Code::Blocks运行c/cpp文件?