欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  后端开发

PHP源码分析-变量的引用计数、写时复制(Reference counting & Copy-on-Wr_PHP教程

程序员文章站 2022-03-30 14:55:03
...
PHP语法中有两种赋值方式:引用赋值、非引用赋值。

$a = 1;

$b = $a; // 非引用赋值

$c = &$b; // 引用赋值

$a = 1;

$b = $a; // 非引用赋值

$c = &$b; // 引用赋值

从表面看,通常会这样认为:“引用赋值就是两个变量对应同一个变量(在C中其实就是一个zval),非引用赋值则是直接产生的一个新的变量(zval),同时将值copy过来”。

这种认为在大部分情况下都是可以想通的。(#1)

但有些情况下则会显得非常低效,例如:(#2)

function print_arr($arr){//非引用传递

print_r($arr);

}

$test_arr = array(

'a' => 'a',

'b' => 'b',

'c' => 'c',

...

);//这里一个比较大的数组

print_arr($test_arr);//第一次调用print_arr函数执行输出

print_arr($test_arr);//第二次调用print_arr函数执行输出

function print_arr($arr){//非引用传递

print_r($arr);

}

$test_arr = array(

'a' => 'a',

'b' => 'b',

'c' => 'c',

...

);//这里一个比较大的数组

print_arr($test_arr);//第一次调用print_arr函数执行输出

print_arr($test_arr);//第二次调用print_arr函数执行输出

如果按照上面的理解方式(#1),那么执行两次print_arr,并且是非引用的方式,则会产生两个与$test_arr完全相同的新的变量,那么将是非常低效的。

实际代码在运行中,并不会产生两个新的变量。因为PHP内核中已经帮助我们进行了优化。

具体如何实现的呢?这里就要讲到本文的要点:Reference counting & Copy-on-Write,正是采用引用计数、写时复制这两个机制得以优化。

在介绍这两个机制前,先了解一个基本知识:PHP中的变量在内核中是如何表示的。

PHP中定义的变量都是以一个zval来表示的,zval的定义在Zend/zend.h中定义:

typedef struct _zval_struct zval;

typedef union _zvalue_value {

long lval; /* long value */

double dval; /* double value */

struct {

char *val;

int len;

} str;

HashTable *ht; /* hash table value */

zend_object_value obj;

} zvalue_value;

struct _zval_struct {

/* Variable information */

zvalue_value value; /* value */

zend_uint refcount;

zend_uchar type; /* active type */

zend_uchar is_ref;

};

typedef struct _zval_struct zval;

typedef union _zvalue_value {

long lval; /* long value */

double dval; /* double value */

struct {

char *val;

int len;

} str;

HashTable *ht; /* hash table value */

zend_object_value obj;

} zvalue_value;

struct _zval_struct {

/* Variable information */

zvalue_value value; /* value */

zend_uint refcount;

zend_uchar type; /* active type */

zend_uchar is_ref;

};

其中,refcount和is_ref就是实现引用计数、写时复制这两个机制的基础。

refcount当前变量存储引用计数,在zval初始创建的时候就为1。每增加一个引用,则refcount ++。当进行引用分离时,refcount--。

is_ref用于表示一个zval是否是引用状态。zval初始化的情况下会是0,表示不是引用。

$a;//a:refcount=1,is_ref=0, value=NULL;

$a = 1; //a:refcount=2,is_ref=0, value=1;

$b = $a; //a,b:refcount=3,is_ref=0,value=1;

$c = $a; //a,b,c:refcount=4,is_ref=0,value=1;

$d = &$c; //a,b:refcount=3,is_ref=0,value=1; c,d:refcount=1, is_ref=1, value=1

$a;//a:refcount=1,is_ref=0, value=NULL;

$a = 1; //a:refcount=2,is_ref=0, value=1;

$b = $a; //a,b:refcount=3,is_ref=0,value=1;

$c = $a; //a,b,c:refcount=4,is_ref=0,value=1;

$d = &$c; //a,b:refcount=3,is_ref=0,value=1; c,d:refcount=1, is_ref=1, value=1上面代码的注释,表示当执行这一行后,refcount与is_ref的变化.

Copy on Write

Php变量通过引用计数实现变量共享数据,那如果改变其中一个变量值呢?

当试图写入一个变量时,Zend若发现该变量指向的zval被多个变量共享,则为其复制一份ref_count为1的zval,并递减原zval的refcount,这个过程称为“zval分离”。可见,只有在有写操作发生时zend才进行拷贝操作,因此也叫copy-on-write(写时拷贝)

对于引用型变量,其要求和非引用型相反,引用赋值的变量间必须是捆绑的,修改一个变量就修改了所有捆绑变量。

$a=1;

$b=$a;

$a=1;

$b=$a;执行过程中的内存结构图:

PHP源码分析-变量的引用计数、写时复制(Reference counting & Copy-on-Wr_PHP教程

$a=1;

$b=&a;

$a=1;

$b=&a;执行过程中的内存结构图:

PHP源码分析-变量的引用计数、写时复制(Reference counting & Copy-on-Wr_PHP教程

从上可以看到,无论是引用、非引用,这种直接赋值都不会产生新的变量。

只是当是引用时,is_ref设置为1。当非引用时,is_ref设置为0。

读写复制,就是根据is_ref来进行变量分离的。

当is_ref=1时,是引用变量时,执行“引用下的变量分离”

$a = 1;

$b = $a;

$c = &$b;

$a = 1;

$b = $a;

$c = &$b;执行过程中的内存结构图:

PHP源码分析-变量的引用计数、写时复制(Reference counting & Copy-on-Wr_PHP教程

当is_ref=0时,是非引用变量时,执行“非引用下的变量分离”

$a = 1;

$b = &$a;

$c = $b;

$a = 1;

$b = &$a;

$c = $b;

执行过程中的内存结构图:

PHP源码分析-变量的引用计数、写时复制(Reference counting & Copy-on-Wr_PHP教程

只有真正在需要改变变量的值时,

回头在看(#2)代码,可以看到实际上,并没有产生新的变量,始终是$test_arr的变量在输出。所以,这也是为什么很少看到在PHP中使用引用方式传递变量,却仍然不会有性能问题的原因。


摘自 God's blog

www.bkjia.comtruehttp://www.bkjia.com/PHPjc/478512.htmlTechArticlePHP语法中有两种赋值方式:引用赋值、非引用赋值。 ?php $a = 1; $b = $a; // 非引用赋值 $c = $b; // 引用赋值 ?php $a = 1; $b = $a; // 非引用赋值 $c...