日期:2012-01-02  浏览次数:20403 次

   一、 基础知识

  本章简要介绍一些Zend引擎的内部机制,这些知识和Extensions密切相关,同时也可以帮助我们写出更加高效的PHP代码。

  1.1 PHP变量的存储

  1.1.1 zval结构

  Zend使用zval结构来存储PHP变量的值,该结构如下所示:

  1. typedef union _zvalue_value { 
  2.     long lval;              /* long value */ 
  3.     double dval;                /* double value */ 
  4.     struct { 
  5.         char *val; 
  6.         int len; 
  7.     } str; 
  8.     HashTable *ht;              /* hash table value */ 
  9.     zend_object_value obj; 
  10. } zvalue_value; 
  11.  
  12. struct _zval_struct { 
  13.     /* Variable information */ 
  14.     zvalue_value value;     /* value */ 
  15.     zend_uint refcount; 
  16.     zend_uchar type;            /* active type */ 
  17.     zend_uchar is_ref; 
  18. }; 
  19.  
  20. typedef struct _zval_struct zval; 
  21. <span id="more-597"></span>Zend根据type值来决定访问value的哪个成员,可用值如下: 

  IS_NULLN/A

  IS_LONG对应value.lval

  IS_DOUBLE对应value.dval

  IS_STRING对应value.str

  IS_ARRAY对应value.ht

  IS_OBJECT对应value.obj

  IS_BOOL对应value.lval.

  IS_RESOURCE对应value.lval

  根据这个表格可以发现两个有意思的地方:首先是PHP的数组其实就是一个HashTable,这就解释了为什么PHP能够支持关联数组了;其次,Resource就是一个long值,它里面存放的通常是个指针、一个内部数组的index或者其它什么只有创建者自己才知道的东西,可以将其视作一个handle

  1.1.1 引用计数

  引用计数在垃圾收集、内存池以及字符串等地方应用广泛,Zend就实现了典型的引用计数。多个PHP变量可以通过引用计数机制来共享同一份zval,zval中剩余的两个成员is_ref和refcount就用来支持这种共享。

  很明显,refcount用于计数,当增减引用时,这个值也相应的递增和递减,一旦减到零,Zend就会回收该zval。

  那么is_ref呢?

  1.1.2 zval状态

  在PHP中,变量有两种——引用和非引用的,它们在Zend中都是采用引用计数的方式存储的。对于非引用型变量,要求变量间互不相干,修改一个变量时,不能影响到其他变量,采用Copy-On-Write机制即可解决这种冲突——当试图写入一个变量时,Zend若发现该变量指向的zval被多个变量共享,则为其复制一份refcount为1的zval,并递减原zval的refcount,这个过程称为“zval分离”。然而,对于引用型变量,其要求和非引用型相反,引用赋值的变量间必须是捆绑的,修改一个变量就修改了所有捆绑变量。

  可见,有必要指出当前zval的状态,以分别应对这两种情况,is_ref就是这个目的,它指出了当前所有指向该zval的变量是否是采用引用赋值的——要么全是引用,要么全不是。此时再修改一个变量,只有当发现其zval的is_ref为0,即非引用时,Zend才会执行Copy-On-Write。

  1.1.3 zva