PHP扩展开发与内核应用阅读笔记---php的内存管理

PHP扩展开发与内核应用----第三章内存管理  阅读笔记！仅作为个人笔记，深入了解请移步：php扩展开发与内科应用

再次向作者表示感谢！同时欢迎同看此书的人加入QQ群：76761320

• 内存泄露
  

何为内存泄露：操作内存两个最基本的方法是申请内存，释放内存。如果应用程序向系统申请内存，系统便会在内存中寻找剩余的地方分配给应用程序，并标记下来，以后知道这块内存释放之前其它的应用程序都不能再用这块地方了。当这个应用程序不再使用申请的这块内存，却没有将这块内存释放，这样所有者应用程序也永远不再使用它了。那么我们就称之为内存泄露。

• ZendMM
  

Zend内存管理(Zend Memory Manager,简称ZendMM、ZMM)层。ZendMM封装了系统的请求和释放内存的方法，为请求和释放内存提供了一个更加安全的方式。

所有这些在ZendMM中提供的内存管理函数都能够从下表中找到其在C语言中的函数。

C语言原生函数	PHP内核封装后的函数
void *malloc(size_t count);	void *emalloc(size_t count); void *pemalloc(size_t count, char persistent);
void *calloc(size_t count);	void *ecalloc(size_t count); void *pecalloc(size_t count, char persistent);
void *realloc(void *ptr, size_t count);	void *erealloc(void *ptr, size_t count); void *perealloc(void *ptr, size_t count, char persistent);
void *strdup(void *ptr);	void *estrdup(void *ptr); void *pestrdup(void *ptr, char persistent);
void free(void *ptr);	void efree(void *ptr); void pefree(void *ptr, char persistent);

• 重看zval

zval的四个成员

value：变量的值

type：变量当前的数据类型

i s_ref__gc：

当一个变量被第一次创建的时候，它对应的zval结构体的is_ref_gc成员的值会被初始化为0,因为这个时候没有变量引用它，当有变量引用它的时候就会将is_ref_gc的值改为1。这时候表明这个zval结构是被引用的。

refcount__gc：

当一个变量被第一次创建的时候，它对应的zval结构体的refcount__gc成员的值会被初始化为1，理由很简单，因为只有这个变量自己在用它。但是当你把这个变量赋值给别的变量时，refcount__gc属性便会加1变成2，因为现在有两个变量在用这个zval结构了！

• 写时复制机制

  $a = 1;
  $b = $a;
  $b += 5;

       第一句创建了一个zval结构，value=1，is_ref_gc=0,refcount__gc = 1。 

     第二句 refcount__gc的值改为2。这时$a和$b是公用一个zval结构体的。

       第三句内核首先查看refcount__gc属性，如果它大于1，并且is_ref_gc=0.则为这个变化的变量从原zval结构中复制出一份新的专属与$b的zval来，并改变其值。

zval *get_var_and_separate(char *varname, int varname_len TSRMLS_DC)
{
    zval **varval, *varcopy;
    if (zend_hash_find(EG(active_symbol_table),varname, varname_len + 1, (void**)&varval) == FAILURE)
    {
        /* 如果在符号表里找不到这个变量则直接return */
        return NULL;
    }
    
    if ((*varval)->refcount < 2)
    {   
        //如果这个变量的zval部分的refcount小于2，代表没有别的变量在用，return
        return *varval;
    }
    
  /* 如果这个zval在php语言中是通过引用的形式存在的，或者它的refcount小于2，则不许要复制。*/
  if((*varval)->is_ref || (*varval)->refcount < 2) {
      return *varval;
  }  
    
    /* 否则，复制一份zval*的值 */
    MAKE_STD_ZVAL(varcopy);
    varcopy = *varval;
     
    /* 复制任何在zval*内已分配的结构*/
    zval_copy_ctor(varcopy);
 
    /* 从符号表中删除原来的变量
     * 这将减少该过程中varval的refcount的值
     */
    zend_hash_del(EG(active_symbol_table), varname, varname_len + 1);
 
    /* 初始化新的zval的refcount，并在符号表中重新添加此变量信息，并将其值与我们的新zval相关联。*/
    varcopy->refcount = 1;
    varcopy->is_ref = 0;
    zend_hash_add(EG(active_symbol_table), varname, varname_len + 1,&varcopy, sizeof(zval*), NULL);
     
    /* 返回新zval的地址 */
    return varcopy;
}

• Change on Write

  $a = 1;
  $b = &$a;
  $b += 5; 

  第一句创建了一个zval结构，value=1，is_ref_gc=0,refcount__gc = 1。

        第二句refcount__gc的值改为2，is_ref_gc=1。这时$a和$b是公用一个zval结构体的。

        第三条语句，内核检查$b的zval当is_ref_gc为真，或者refcount__gc小于2的时候不需要复制值，直接更改值。

下面是内核源码：

/* 如果这个zval在php语言中是通过引用的形式存在的，或者它的refcount小于2，则不许要复制。*/
if ((*varval)->is_ref || (*varval)->refcount < 2) {
    return *varval;
}