资讯专栏INFORMATION COLUMN

php底层原理之垃圾回收机制

light / 1617人阅读

摘要:总结垃圾回收机制以的引用计数机制为基础以前只有该机制同时使用根缓冲区机制,当发现有存在循环引用的时,就会把其投入到根缓冲区,当根缓冲区达到配置文件中的指定数量后,就会进行垃圾回收,以此解决循环引用导致的内存泄漏问题开始引入该机制

php垃圾回收机制,对于PHPer来说是一个不陌生但是又不是很熟悉的内容。那么php是怎么实现对不需要的内存进行回收的呢?

php变量的内部存储结构

首先还是需要了解下基础知识,便于垃圾回收原理内容的理解。大家都知道php是由C编写而成的,所以php变量的内部存储结构也会和C语言相关,即zval的结构体:

struct _zval_struct {
    union {
        long lval;
        double dval;
        struct {
            char *val;
            int len;
        } str;
        HashTable *ht;
        zend_object_value obj;
    } value;                    //变量value值
    zend_uint refcount__gc;   //引用计数内存中使用次数,为0删除该变量
    zend_uchar type;           //变量类型
    zend_uchar is_ref__gc;    //区分是否是引用变量
};

从上面结构体内容可以看出每一个php变量都会由变量类型value值引用计数次数是否是引用变量四部分组成

注:上面zval结构体是php5.3版本之后的结构,php5.3之前因为没有引入新的垃圾回收机制,即GC,所以命名也没有_gc;而php7版本之后由于性能问题所以改写了zval结构,这里不再表述

引用计数原理

了解了php变量的内部存储结构之后,我们再了解下php变量赋值相关的原理和早期垃圾回收机制

变量容器 非array和object变量

每次将常量赋值给一个变量时,都会产生一个变量容器

举例:

$a = "许铮的技术成长之路";
xdebug_debug_zval("a")

结果:

a: (refcount=1, is_ref=0)="许铮的技术成长之路"
array和object变量

会产生元素个数+1的变量容器

举例:

$b = [
"name" => "许铮的技术成长之路",
"number" => 3
];
xdebug_debug_zval("b")

结果:

b: (refcount=1, is_ref=0)=array ("name" => (refcount=1, is_ref=0)="许铮的技术成长之路", "number" => (refcount=1, is_ref=0)=3)
赋值原理(写时复制技术)

了解了常量赋值之后,接下来我们从内存角度思考变量之间的赋值

举例:

$a = [
"name" => "许铮的技术成长之路",
"number" => 3
]; //创建一个变量容器,变量a指向给变量容器,a的ref_count为1
$b = $a; //变量b也指向变量a指向的变量容器,a和b的ref_count为2
xdebug_debug_zval("a", "b");
$b["name"] = "许铮的技术成长之路1";//变量b的其中一个元素发生改变,此时会复制出一个新的变量容器,变量b重新指向新的变量容器,a和b的ref_count变成1
xdebug_debug_zval("a", "b"); 

结果:

a: (refcount=2, is_ref=0)=array ("name" => (refcount=1, is_ref=0)="许铮的技术成长之路", "number" => (refcount=1, is_ref=0)=3)
b: (refcount=2, is_ref=0)=array ("name" => (refcount=1, is_ref=0)="许铮的技术成长之路", "number" => (refcount=1, is_ref=0)=3)
a: (refcount=1, is_ref=0)=array ("name" => (refcount=1, is_ref=0)="许铮的技术成长之路", "number" => (refcount=1, is_ref=0)=3)
b: (refcount=1, is_ref=0)=array ("name" => (refcount=1, is_ref=0)="许铮的技术成长之路1", "number" => (refcount=1, is_ref=0)=3)

所以,当变量a赋值给变量b的时候,并没有立刻生成一个新的变量容器,而是将变量b指向了变量a指向的变量容器,即内存"共享";而当变量b其中一个元素发生改变时,才会真正发生变量容器复制,这就是写时复制技术

引用计数清0

当变量容器的ref_count计数清0时,表示该变量容器就会被销毁,实现了内存回收,这也是php5.3版本之前的垃圾回收机制

举例:

$a = "许铮的技术成长之路";
$b = $a;
xdebug_debug_zval("a");
unset($b);
xdebug_debug_zval("a");

结果:

a: (refcount=2, is_ref=0)="许铮的技术成长之路"
a: (refcount=1, is_ref=0)="许铮的技术成长之路"
循环引用引发的内存泄露问题

但是php5.3版本之前的垃圾回收机制存在一个漏洞,即当数组或对象内部子元素引用其父元素,而此时如果发生了删除其父元素的情况,此变量容器并不会被删除,因为其子元素还在指向该变量容器,但是由于所有作用域内都没有指向该变量容器的符号,所以无法被清除,因此会发生内存泄漏,直到该脚本执行结束

举例:

$a = array( "one" );
$a[] = &$a;
xdebug_debug_zval( "a" );

由于该示例不好输出结果,用图表示,如图:

举例:

unset($a);
xdebug_debug_zval("a");

如图:

新的垃圾回收机制

php5.3版本之后引入根缓冲机制,即php启动时默认设置指定zval数量的根缓冲区(默认是10000),当php发现有存在循环引用的zval时,就会把其投入到根缓冲区,当根缓冲区达到配置文件中的指定数量(默认是10000)后,就会进行垃圾回收,以此解决循环引用导致的内存泄漏问题

确认为垃圾的准则

1、如果引用计数减少到零,所在变量容器将被清除(free),不属于垃圾
2、如果一个zval 的引用计数减少后还大于0,那么它会进入垃圾周期。其次,在一个垃圾周期中,通过检查引用计数是否减1,并且检查哪些变量容器的引用次数是零,来发现哪部分是垃圾。

总结

垃圾回收机制:
1、以php的引用计数机制为基础(php5.3以前只有该机制)
2、同时使用根缓冲区机制,当php发现有存在循环引用的zval时,就会把其投入到根缓冲区,当根缓冲区达到配置文件中的指定数量后,就会进行垃圾回收,以此解决循环引用导致的内存泄漏问题(php5.3开始引入该机制)

文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。

转载请注明本文地址:https://www.ucloud.cn/yun/30911.html

相关文章

  • php底层原理变量(一)

    摘要:对于来说,变量有全局变量和局部变量之分那么,他们都是存储到一个哈希表内了么其实不是的,变量存储也有作用域的概念。 上次跟大家讲了垃圾回收机制后,有些小伙伴对底层原理比较感兴趣,私信问我了一些关于变量的相关知识,既然大家对变量比较感兴趣,那么这次我们来系统的讲一下变量的底层原理 变量结构 首先,我们还是先摆上我们的zval结构体,即php所有变量都会以zval结构体的形式实现 struc...

    curlyCheng 评论0 收藏0
  • 手撕面试官系列(十一):BAT面试必备常问85题

    摘要:什么是线程饿死,什么是活锁多线程中的忙循环是什么变量是什么变量和变量有什么不同类型变量提供什么保证能使得一个非原子操作变成原子操作吗 JVM专题 showImg(https://segmentfault.com/img/remote/1460000019943435); (面试题+答案领取方式见个人主页) Java 类加载过程? 描述一下 JVM 加载 Class 文件的原理机制? ...

    CatalpaFlat 评论0 收藏0
  • Java问题汇总,持续更新到GitHub

    摘要:目录介绍问题汇总具体问题好消息博客笔记大汇总年月到至今,包括基础及深入知识点,技术博客,学习笔记等等,还包括平时开发中遇到的汇总,当然也在工作之余收集了大量的面试题,长期更新维护并且修正,持续完善开源的文件是格式的同时也开源了生活博客,从年 目录介绍 00.Java问题汇总 01.具体问题 好消息 博客笔记大汇总【16年3月到至今】,包括Java基础及深入知识点,Android技...

    beita 评论0 收藏0
  • 八年phper的高级工程师面试

    摘要:它们的用处都是用来能让数据正常插入到数据库中,并防止注入,但是并不能做到防止注入。进来抽奖的用户使用原子加锁,实现抽奖次数自增,当抽奖次数到达时,返回不中奖。 转载于:https://zhuanlan.zhihu.com/p/...答案并非标准,是作者经验之谈,仅供参考 mysql_real_escape_string mysql_escape_string有什么本质的区别,有什么用处...

    韩冰 评论0 收藏0

发表评论

0条评论

light

|高级讲师

TA的文章

阅读更多
最新活动
阅读需要支付1元查看
<