标签：
一直使用PHP，但它究竟什么，底层是怎么实现才成就了PHP这样方便快捷的弱类型语言。
最近也查阅了很多书籍，还有相关博客资料，了解到了许多关于PHP内核的一些机制。
php简单的理解就是一个c语言的类库，你去php.net 下面下载一下它的源代码就会发现，首先php的内核是zend engine ，它是一个用c语言写的函数库，用于处理底层的函数管理，内存管理，类管理，和变量管理。在内核上面，他们写了很多扩展，这些扩展大多数都是独立的。用操作系统来比喻的话，zend
engine 就是一个操作系统，然后官方提供了很多“应用程序”，只是这个“应用程序” 不是media play 而是 mysql ， libxml，dom。当然，你也可以根据zend engine 的api 开发自己的扩展。
1.zval结构
typedef struct _zval_struct zval;
typedef union _zvalue_value {
long lval; /* long value */
double dval; /* double value */
struct {
char *val; //4字节
int len; //4字节
} str;
HashTable *ht; /* hash table value */
zend_object_value obj;
} zvalue_value; struct _zval_struct {
/* Variable information */
zvalue_value value; /* 变量值保存在这里 12字节*/
zend_uint refcount;//4字节，变量引用计数器
zend_uchar type; /* active type变量类型 1字节*/
zend_uchar is_ref;//是否变量被&引用，0表示非引用，1表示引用，1字节
};
3.zend_uint refcount__gc
正如名字所示，ref_count__gc和is_ref__gc是PHP的GC机制所需的很重要的两个字段，这两个字段的值，可以通过xdebug等调试工具查看。
下面我们围绕zval，展开叙述，PHP变量到底是怎么个存储机制。
Xdebug的安装我在前边PHPstorm Xdebug调试也介绍过，这里不赘述，请看： phpstorm+Xdebug断点调试PHP
安装成功后，你的脚本中，可以通过xdebug_debug_zval打印Zval的信息，用法：
$var = 1; debug_zval_dump($var); $var_dup = $var; debug_zval_dump($var);
$a = 1;
$b = $a;
$c = $b;
$d = &$c; // 在一堆非引用赋值中，插入一个引用
---------------------------------------------------------
$a = 1;
$b = &$a;
$c = &$b;
$d = $c; // 在一堆引用赋值中，插入一个非引用
通过实例一、二，展现了，这就是PHP的copy on write写时分离机制、change
on write写时改变机制
过程：
PHP在修改一个变量以前，会首先查看这个变量的refcount，如果refcount大于1，PHP就会执行一个分离的例程，
对于上面的实例一代码，当执行到第四行的时候，PHP发现$c指向的zval的refcount大于1，那么PHP就会复制一个新的zval出来，将原zval的refcount减1，并修改symbol_table，使得$a,$b和$c分离(Separation)。这个机制就是所谓的copy on write(写时复制/写时分离)。把$d指向的新zval的is_ref的值 == 1 ，这个机制叫做change on write(写时改变)
分离指的是：分离两个变量存储的zval的位置，让分开不指向同一个空间！ (那如何判定是否要分离呢，依据是什么？见下边)
改变指的是，有&引用赋值时，要把新开辟的zval 的 is_ref 赋值为1
if((*val)->is_ref || (*val)->refcount<2){
//不执行Separation
... ;//process
}$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)=...
)
unset($a);
(refcount=1, is_ref=1)=array (
0 => (refcount=1, is_ref=0)='one',
1 => (refcount=1, is_ref=1)=...
)
（应该ref_count=1）这时，不幸的事情发生了！
Unset之后，虽然没有变量指向该zval，但是该zval却不能被GC（指PHP5.3之前的单纯引用计数机制的GC）清理掉，$a 被释放，但是$a里的$a[1]也指向了该zval，它没有被释放，导致zval的refcount均大于0。这样，这些zval实际上会一直存在内存中，直到请求结束（参考SAPI的生命周期）。在此之前，这些zval占据的内存不能被使用，便白白浪费了，换句话说，无法释放的内存导致了内存泄露。
如果这种内存泄露仅仅发生了一次或者少数几次，倒也还好，但如果是成千上万次的内存泄露，便是很大的问题了。尤其在长时间运行的脚本中（例如守护程序，一直在后台执行不会中断），由于无法回收内存，最终会导致系统“再无内存可用”，所以说，一定要避免这种操作。
$a
= 1; $b = $a; unset($a);//$a开辟的内存不会回收
标签：
原文地址：http://blog.csdn.net/ty_hf/article/details/51057954
