码迷,mamicode.com
首页 > Web开发 > 详细

PHP中的垃圾回收机制

时间:2018-04-17 14:20:52      阅读:220      评论:0      收藏:0      [点我收藏+]

标签:object   pre   UNC   并且   没有   优先   内存管理   argument   增加   

PHP5的Zval容器

struct _zval_struct {
    union {
        long lval;
        double dval;
        struct {
            char *val;
            int len;
        } str;
        HashTable *ht;
        zend_object_value obj;
        zend_ast *ast;
    } value;     /* 变量的值 */
    zend_uint refcount__gc; /* 引用次数 */
    zend_uchar type;        /* 变量当前的数据类型 */
    zend_uchar is_ref__gc;  /* 是否是属于引用集合 */
};

PHP7的Zval容器

struct _zval_struct {
    union {
        zend_long         lval;             /* long value */
        double            dval;             /* double value */
        zend_refcounted  *counted;
        zend_string      *str;
        zend_array       *arr;
        zend_object      *obj;
        zend_resource    *res;
        zend_reference   *ref;
        zend_ast_ref     *ast;
        zval             *zv;
        void             *ptr;
        zend_class_entry *ce;
        zend_function    *func;
        struct {
            uint32_t w1;
            uint32_t w2;
        } ww;
    }  value; /* 变量的值 */
    union {
        struct {
            ZEND_ENDIAN_LOHI_4(
                zend_uchar    type,         /* active type */
                zend_uchar    type_flags,
                zend_uchar    const_flags,
                zend_uchar    reserved)     /* call info for EX(This) */
        } v;    /* 简化赋值, 四个字符变量的结构体 */
        uint32_t type_info;   /* 类型信息 */
    } u1;
    union {
        uint32_t     var_flags;
        uint32_t     next;                 /* hash碰撞链 */
        uint32_t     cache_slot;           /* literal cache slot */
        uint32_t     lineno;               /* 行号(AST,对象生成树槽点) */
        uint32_t     num_args;             /* arguments number for EX(This) */
        uint32_t     fe_pos;               /* foreach位置 */
        uint32_t     fe_iter_idx;          /* foreach迭代器索引 */
    } u2;
};

PHP引用计数基本知识点

  • 当一个变量被赋常量值时,就会生成一个zval变量容器。
  • unset并非一定会释放内存,当有两个变量指向的时候,并非会释放变量占用的内存,只是refcount减1.

<PHP7

  • php变量存在一个叫"zval"的变量容器中, zval变量容器,除了包含变量的类型和值,还包括两个字节的额外信息。第一个是"is_ref",是个bool值,用来标识这个变量是否是属于引用集合(reference set),通过这个字节,php引擎才能把普通变量和引用变量区分开来,由于php允许用户通过使用&来使用自定义引用,zval变量容器中还有一个内部引用计数机制,来优化内存使用。第二个额外字节是"refcount",用以表示指向这个zval变量容器的变量(也称符号即symbol)个数。所有的符号存在一个符号表中,其中每个符号都有作用域(scope)。

>PHP7

  • PHP变量容器"zval"中,zval_value 结构体中包含zend_refcounted、zend_reference分别替代了refcount,is_ref

内存管理机制

内存申请与释放设计

  • 对于php的核心结构Hashtable来说,由于未知性,定义的时候不可能一次性分配足够多的内存块。所以初始化的时候只会分配一小块,等不够的时候在进行扩容,而Hashtable只扩容不减少。
  • php并非简单的向os申请内存,而是会申请一大块内存,把其中一部分分给申请者,这样当再有逻辑来申请内存的时候,就不需要向os申请了,避免了频繁调用。当内存不够的时候才会再次申请。
  • 当释放内存的时候,php并非会把内存还给os,而是把内存轨道自己维护的空闲内存列表,以便重复利用。

内存的分配做了两件事情

  • 1.为变量名分配内存,存入符号表
  • 2.为变量值分配内存

垃圾定义

  • 判断有没有任何变量名指向变量容器zval, 如果没有则认为是垃圾,需要释放。
  • 当变量容器zval中的refcount=0时,表示没有变量名指向该容器。

内存泄漏

环形引用

<?php
    $a = ['one'];
    $a[] = &$a;
    xdebug_debug_zval('a');
    /**
     (refcount=2, is_ref=1),
        array (size=2)
          0 => (refcount=1, is_ref=0),string 'one' (length=3)
          1 => (refcount=2, is_ref=1),
     */

处理垃圾内存

PHP5.3 && <PHP7

<?php
    $a = ['one']; //--- zval_a(将$a对应的zval,命名为zval_a)
    $a[] = &$a;   //--- step1
    unset($a);    //--- step2
判断处理过程
  • 1.如果一个zval的refcount增加,那么此zval还在使用,不属于垃圾
  • 2.如果一个zval的refcount减少到0, 那么zval可以被释放掉,不属于垃圾
  • 3.如果一个zval的refcount减少之后大于0,那么此zval还不能被释放,此zval可能成为一个垃圾
仅当因此出现第3种情况时进行如下操作
  • zval容器放入缓冲区
    • 直接将此zval节点放入一个节点(root)缓冲区(root buffer),并且将这些zval节点标记成紫色。
  • 预减操作(子zval节点refcount减1)
    • 当缓冲区被节点塞满的时候(或者进入垃圾回收周期),GC才开始开始对缓冲区中的zval节点进行垃圾判断。
    • 垃圾判断算法以深度优先对节点所包含的zval进行减1操作,为了确保不会对同一个zval的refcount重复执行减1操作,一旦zval的refcount减1之后会将zval标记成灰色。在此期间,起初节点zval本身不做减1操作,但是如果节点zval中包含的zval又指向了节点zval(环形引用),那么这个时候需要对节点zval进行减1操作。
  • 垃圾判断
    • 算法再次以深度优先判断每一个节点包含的zval的值,如果zval的refcount等于0,那么将其标记成白色(代表垃圾),如果zval的refcount大于0,那么将对此zval以及其包含的zval进行refcount加1操作,这个是对非垃圾的还原操作,同时将这些zval的颜色变成黑色(zval的默认颜色属性)。
  • 释放垃圾
    • 遍历zval节点,将垃圾判断过程中标记成白色的节点zval释放掉。

总结:

对于一个包含环形引用的数组,对数组中包含的每个元素的zval进行减1操作,之后如果发现数组自身的zval的refcount变成了0,那么可以判断这个数组是一个垃圾。

相关函数

  • gc_enable() : 开启GC
  • gc_disable() : 关闭GC
  • gc_collect_cycles() : 在节点缓冲区未满的情况下强制执行垃圾分析算法

PHP中的垃圾回收机制

标签:object   pre   UNC   并且   没有   优先   内存管理   argument   增加   

原文地址:https://www.cnblogs.com/one-villager/p/8865403.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!