深入PHP内核之ZVAL

一、PHP的变量类型

PHP的变量类型有8种：

  • 标准类型：布尔boolen，整型integer，浮点float，字符string
  • 复杂类型：数组array，对象object
  • 特殊类型：资源resource

PHP不会严格检验变量类型，变量可以不显示的声明其类型，而在运行期间直接赋值。也可以将变量自由的转换类型。如下例，没有实现声明的情况下，$i可以赋任意类型的值。

<?PHP
    $str1 = null;
    $str2 = false;
    $str3 = ‘‘;
    $str4 = 0;
    $str5 = ‘0‘;  

    echo $str1==$str2 ;
    echo $str3==$str4 ;
    echo $str4==$str5 ;
    echo $str2==$str5 ;
?>

很多时候，你会遇到很多意想不到的效果 使用  "=="或者"==="

二、ZVAL的基本结构

Zval是PHP中最重要的数据结构之一（另一个比较重要的数据结构是hash table），它包含了PHP中的变量值和类型的相关信息。

它是一个struct，基本结构为：

struct _zval_struct {
    zvalue_value value;     /* 存储变量的值*/
    zend_uint refcount__gc;  /* 表示引用计数 */
    zend_uchar type;          /* 变量具体的类型 */
    zend_uchar is_ref__gc;    /* 表示是否为引用 */
};
typedef struct _zval_struct zval;

其中：

1.zval_value value

变量的实际值，具体来说是一个zvalue_value的联合体（union）:

typedef union _zvalue_value {
    long lval;                  /* long value */
    double dval;                /* double value */
    struct {                    /* string */
        char *val;
        int len;
    } str;
    HashTable *ht;              /* hash table value,used for array */
    zend_object_value obj;      /* object */
} zvalue_value;

2.zend_uint refcount__gc  

该值实际上是一个计数器，用来保存有多少变量（或者符号，symbols, 所有的符号都存在符号表（symble table）中, 不同的作用域使用不同的符号表，关于这一点，我们之后会论述）指向该zval。在变量生成时，其refcount=1，典型的赋值操作如$a = $b会令zval的refcount加1，而unset操作会相应的减1。在PHP5.3之前，使用引用计数的机制来实现GC，如果一个zval的 refcount较少到0，那么Zend引擎会认为没有任何变量指向该zval，因此会释放该zval所占的内存空间。但，事情有时并不会那么简单。后面 我们会看到，单纯的引用计数机制无法GC掉循环引用的zval，即使指向该zval的变量已经被unset，从而导致了内存泄露（Memory Leak）。

3.zend_uchar type

该字段用于表明变量的实际类型。在开始学习PHP的时候，我们已经知道，PHP中的变量包括四种标量类型（bool,int,float,string），两种复合类型（array, object）和两种特殊的类型（resource 和NULL）。在zend内部，这些类型对应于下面的宏（代码位置 phpsrc/Zend/zend.h）：

#define IS_NULL     0
#define IS_LONG     1
#define IS_DOUBLE   2
#define IS_BOOL     3
#define IS_ARRAY    4
#define IS_OBJECT   5
#define IS_STRING   6
#define IS_RESOURCE 7
#define IS_CONSTANT 8
#define IS_CONSTANT_ARRAY   9
#define IS_CALLABLE 10

4.is_ref__gc

这个字段用于标记变量是否是引用变量。对于普通的变量，该值为0，而对于引用型的变量，该值为1。这个变量会影响zval的共享、分离等。关于这点，我们之后会有论述。

正如名字所示，ref_count__gc和is_ref__gc是PHP的GC机制所需的很重要的两个字段，这两个字段的值，可以通过xdebug等调试工具查看。

三、ZVAL在内核中的如何工作的

前面我们已经说过，PHP使用Zval这种结构来保存变量，这里我们将继续追踪zval的更多细节。

1、 创建变量时，会创建一个zval.

$str = "test zval";
xdebug_debug_zval(‘str‘);

输出结果：

str: (refcount=1, is_ref=0)=‘test zval‘

当使用$str="test zval";来创建变量时，会在当前作用域的符号表中插入新的符号（str）,由于该变量是一个普通的变量，因此会生成一个refcount=1且is_ref=0的zval容器。

也就是说，实际上是这样的:

zval.value=‘test zval‘;

zval.is_ref__gc=0;

zval.type="string";

zval.refcount__gc=1;

2、变量赋值给另外一个变量时，会增加zval的refcount值。

$str  = "test zval";
$str2 = $str;
xdebug_debug_zval(‘str‘);
xdebug_debug_zval(‘str2‘);

输出结果：

str: (refcount=2, is_ref=0)=‘test zval‘
str2: (refcount=2, is_ref=0)=‘test zval‘

同时我们看到，str和是str2这两个symbol的zval结构是一样的。

这里其实是PHP所做的一个优化，由于str和str2都是普通变量，因而它们指向了同一个zval，而没有为str2开辟单独的zval。

这么做，可以在 一定程度上节省内存。这时的str,str2与zval的对应关系是这样的：

3、使用unset时，对减少相应zval的refcount值

$str  = "test zval";
$str3 = $str2 = $str;
xdebug_debug_zval(‘str‘);
unset($str2,$str3)
xdebug_debug_zval(‘str‘);

结果为：

str: (refcount=3, is_ref=0)=‘test zval‘
str: (refcount=1, is_ref=0)=‘test zval‘

由于unset($str2,$str3)会将str2和str3从符号表中删除，因此，在unset之后，只有str指向该zval，如下图所示：

现在如果执行unset($str)，则由于zval的refcount会减少到0，该zval会从内存中清理。这当然是最理想的情况。

但是事情并不总是那么乐观。

4、数组变量与普通变量生成的zval非常类似，但也有很大不同

与标量这些普通变量不同，数组和对象这类复合型的变量在生成zval时，会为每个item项生成一个zval容器。例如：

$ar = array(
    ‘id‘   => 38,
    ‘name‘ => ‘shine‘
); xdebug_debug_zval(‘ar‘);

打印出zval的结构是：

ar: (refcount=1, is_ref=0)=array (
    ‘id‘ => (refcount=1, is_ref=0)=38,
    ‘name‘ => (refcount=1, is_ref=0)=‘shine‘
)

如下图所示：

可以看出，变量$ar生成的过程中，共生成了3个zval容器（红色部分标注）。对于每个zval而言，refcount的增减规则与普通变量的相同。

例如，我们在数组中添加另外一个元素，并把$ar[‘name‘]的值赋给它：

$ar = array(
    ‘id‘   => 38,
    ‘name‘ => ‘shine‘
);

$ar[‘test‘] = $ar[‘name‘];
xdebug_debug_zval(‘ar‘);

则打印出的zval为：

ar: (refcount=1, is_ref=0)=array (
    ‘id‘ => (refcount=1, is_ref=0)=38,
    ‘name‘ => (refcount=2, is_ref=0)=‘shine‘,
    ‘test‘ => (refcount=2, is_ref=0)=‘shine‘
)

如同普通变量一样，这时候,name和test这两个symbol指向同一个zval:

同样的，从数组中移除元素时，会从符号表中删除相应的符号，同时减少对应zval的refcount值。同样，如果zval的refcount值减少到0，那么就会从内存中删除该zval：

$ar = array(
    ‘id‘   => 38,
    ‘name‘ => ‘shine‘
);

$ar[‘test‘] = $ar[‘name‘];
unset($ar[‘test‘],$ar[‘name‘]);
xdebug_debug_zval(‘ar‘);

输出结果为：

ar: (refcount=1, is_ref=0)=array (‘id‘ => (refcount=1, is_ref=0)=38)

5、引用的出现，会令zval的规则变得复杂

在加入引用之后，情况会变的稍微复杂一点。例如，在数组中添加对本身的引用：

$a = $array(‘one‘);
$a[] = &$a;
xdebug_debug_zval(‘a‘);

输出的结果：

a: (refcount=2, is_ref=1)=array (
    0 => (refcount=1, is_ref=0)=‘one‘,
    1 => (refcount=2, is_ref=1)=...
)

上述输出中，…表示指向原始数组，因而这是一个循环的引用。如下图所示：

现在，我们对$a执行unset操作，这会在symbol table中删除相应的symbol,同时，zval的refcount减1（之前为2），也就是说，现在的zval应该是这样的结构：

(refcount=1, is_ref=1)=array (
    0 => (refcount=1, is_ref=0)=‘one‘,
    1 => (refcount=1, is_ref=1)=...
)

也就是下图所示的结构：

　　这时，不幸的事情发生了！

　　Unset之后，虽然没有变量指向该zval，但是该zval却不能被 GC（指PHP5.3之前的单纯引用计数机制的GC）清理掉，因为zval的refcount均大于0。这样，这些zval实际上会一直存在内存中，直到 请求结束（参考SAPI的生命周期）。在此之前，这些zval占据的内存不能被使用，便白白浪费了，换句话说，无法释放的内存导致了内存泄露。

　　如果这种内存泄露仅仅发生了一次或者少数几次，倒也还好，但如果是成千上万次的内存泄露，便是很大的问题了。尤其在长时间运行的脚本中（例如守护程序，一直在后台执行不会中断），由于无法回收内存，最终会导致系统“再无内存可用”。

6、zval分离（Copy on write和change on write）

前面我们已经介绍过，在变量赋值的过程中例如$b = $a，为了节省空间,并不会为$a和$b都开辟单独的zval，而是使用共享zval的形式：

那么问题来了：如果其中一个变量发生变化时，如何处理zval的共享问题？

对于这样的代码：

$a = "a simple test";
$b = $a;

echo "before write:".PHP_EOL;
xdebug_debug_zval(‘a‘);
xdebug_debug_zval(‘b‘);

$b = "thss";
echo "after write:".PHP_EOL;
xdebug_debug_zval(‘a‘);
xdebug_debug_zval(‘b‘);

打印的结果是：

before write:
a: (refcount=2, is_ref=0)=‘a simple test‘
b: (refcount=2, is_ref=0)=‘a simple test‘
after write:
a: (refcount=1, is_ref=0)=‘a simple test‘
b: (refcount=1, is_ref=0)=‘thss‘

起初，符号表中a和b指向了同一个zval(这么做的原因是节省内存)，而后$b 发生了变化，Zend会检查b指向的zval的refcount是否为1，如果是1，那么说明只有一个符号指向该zval，则直接更改zval。否则，说 明这是一个共享的zval，需要将该zval分离出去，以保证单独变化互不影响，这种机制叫做COW –Copy on write。在很多场景下，COW都是一种比较高效的策略。

那么对于引用变量呢？

$a = ‘test‘;
$b = &$a;<br>
echo "before change:".PHP_EOL;
xdebug_debug_zval(‘a‘);
xdebug_debug_zval(‘b‘);<br>
$b = 12;
echo "after change:".PHP_EOL;
xdebug_debug_zval(‘a‘);
xdebug_debug_zval(‘b‘);<br>
unset($b);
echo "after unset:".PHP_EOL;
xdebug_debug_zval(‘a‘);
xdebug_debug_zval(‘b‘);

输出的结果为：

before change:
a: (refcount=2, is_ref=1)=‘test‘
b: (refcount=2, is_ref=1)=‘test‘

after change:
a: (refcount=2, is_ref=1)=12
b: (refcount=2, is_ref=1)=12

after unset:
a: (refcount=1, is_ref=0)=12

可以看出，在改变了$b的值之后，Zend会检查zval的is_ref检查是否 是引用变量，如果是引用变量，则直接更改即可，否则，需要执行刚刚提到的zval分离。由于$a 和 $b是引用变量，因而更改共享的zval实际上也间接更改了$a的值。而在unset($b)之后，变量$b从符号表中删除了。

这里也说明一个问题，unset并不是清除zval，而只是从符号表中删除相应的symbol。这样一来，之前很多的关于引用的疑问也可以理解了（下一节我们将深入探索PHP的引用）。

时间： 2024-11-10 01:12:21

深入PHP内核之ZVAL的相关文章

深入PHP内核之数组

定义: PHP 中的数组实际上是一个有序映射.映射是一种把 values 关联到 keys 的类型.此类型在很多方面做了优化,因此可以把它当成真正的数组,或列表(向量),散列表(是映射的一种实现),字典,集合,栈,队列以及更多可能性.数组元素的值也可以是另一个数组.树形结构和多维数组也是允许的. 这是手册中对PHP数组的定义,本质上是一种键-值映射的关系,算是一种散列表(哈希表). 到这里我不得不说,PHP内核中的神器了  HashTable HashTable即具有双向链表的优点,PHP中的定

【问底】王帅：深入PHP内核（一）——弱类型变量原理探究

来源:CSDN    http://www.csdn.net/article/2014-09-15/2821685-exploring-of-the-php 作者:王帅 摘要:PHP作为一门简单而强大的语言,能够提供很多Web适用的语言特性,而从本期<问底>开始,王帅将从实践出发,带你弄清PHP内核中一些常用的部分,比如这里的"弱类型变量原理". PHP是一门简单而强大的语言,提供了很多Web适用的语言特性,其中就包括了变量弱类型,在弱类型机制下,你能够给一个变量赋任意类型

Zend API：深入 PHP 内核

Introduction Those who know don't talk. Those who talk don't know. Sometimes, PHP "as is" simply isn't enough. Although these cases are rare for the average user, professional applications will soon lead PHP to the edge of its capabilities, in t

深入剖析PHP7内核源码（二）- PHP变量容器

简介 PHP的变量使用起来非常方便,其基本结构是底层实现的zval,PHP7采用了全新的zval,由此带来了非常大的性能提升,本文重点分析PHP7的zval的改变. PHP5时代的ZVAL typedef struct _zval_struct { zvalue_value value; // (长度16字节,具体看下面的分析) zend_uint refcount__gc; // unsigned int (长度4字节) zend_uchar type; // unsigned char (长

PHP内核探索之变量（1）Zval

作为数据的容器,我们常常需要跟变量打交道,不管这个变量是数字.数组.字符串.对象还是其他,因而可以说变量是构成语言的不可或缺的基础.本文是PHP内核探索之变量的第一篇,主要介绍zval的基本知识,包括如下几个方面的内容: Zval的基本结构 查看zval的方法:debug_zval_dump和xdebug Zval的原理,COW等 由于写作仓促,难免会有错误,欢迎指出. 一.Zval的基本结构 Zval是PHP中最重要的数据结构之一(另一个比较重要的数据结构是hash table),它包含了PH

Php内核学习之类与对象详解

本文和大家分享的主要是php内核开发中的类与对象相关内容,一起来看看吧,希望对大家有所帮助. 类是什么,什么是对象,相信不需要我在这里解释.本文也不是要说什么OO思想,而是想探究一个问题.作为 PHP 底层的实现 C 语言,是一个面向过程的语言,C 语言是如何构建出可以使用类与对象的 PHP(PHP 绝对称不上是面向对象的语言),这就是本文探讨的重点.为了方便查阅,也方便说明,以下所涉及的源码和实现均来源于 PHP7,后面所有出现的 PHP 均表示 PHP7 版本. 类 通常,我们概念中,类是一

PHP内核探索之变量(4) - 数组操作

上一节(PHP内核探索之变量(3)- hash table),我们已经知道,数组在PHP的底层实际上是HashTable(链接法解决冲突),本文将对最常用的函数系列-数组操作的相关函数做进一步的跟踪. 本文主要内容: PHP中提供的数组操作函数 数组操作函数的实现 结语参考文献 一.PHP中提供的数组操作函数 可以说,数组是PHP中使用最广泛的数据结构之一,正因如此,PHP为开发者提供了丰富的数组操作函数(参见http://cn2.php.net/manual/en/ref.array.php

PHP内核探索之变量（3）- hash table

在PHP中,除了zval, 另一个比较重要的数据结构非hash table莫属,例如我们最常见的数组,在底层便是hash table.除了数组,在线程安全(TSRM).GC.资源管理.Global变量.ini配置管理中,几乎都有Hash table的踪迹(上一次我们也提到,符号表也是使用Hash table实现的).那么,在PHP中,这种数据有什么特殊之处,结构是怎么实现的? 带着这些问题,我们开始本次的内核探索之旅. 本文主要内容: Hash table的基本介绍 PHP底层Hash tabl

php内核为变量的值分配内存的几个宏

在php5.3之前,为某变量分配内存是用宏 MAKE_STD_ZVAL; 737 #define MAKE_STD_ZVAL(zv) \ # /Zend/zend.h738 ALLOC_ZVAL(zv); \739 INIT_PZVAL(zv); 165 #define ALLOC_ZVAL(z) \ # /Zend/zend_alloc.h166 (z) = (zval *) emalloc(sizeof(zval)) 727 #define INIT_PZVAL(z) \