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：变量当前的数据类型

is_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;}