陈大剩博客

PHP官方手册研读--php的垃圾回收机制

  • 陈大剩
  • 2020-05-06 20:09:04
  • 1765

概述

php中何为垃圾

在PHP中,没有任何变量指向这个对象时,这个对象就成为垃圾;

垃圾的产生过程

<?php
$a = array('one');
$a[] = &$a;
xdebug_debug_zval('a');

注意,xdebug_debug_zval函数是xdebug扩展的,使用前必须安装xdebug扩展,输出如下

output:
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)  &array<

这样$a数组就有两个元素,一个索引为0,值为字符one,另外一个索引为1,为$a自身的引用,内部存储如下:
应用图片
那么问题就产生了,$a已经不在符号表中,用户无法再访问此变量,但是$a之前指向的zval的refcount_gc变为1而不是0,因此不能被回收,从而产生内存泄露,GC要做的工作就是清理此类垃圾。

算法(内存泄露)

PHP手册中有简单的介绍GC使用的垃圾清理算法,这个算法名为 Concurrent Cycle Collection in Reference Counted Systems(引用计数系统中的同步周期回收)。

  • 如果一个zval的refcount_gc增加,那么此zval还在使用,不属于垃圾

  • 如果一个zval的refcount减少到0, 那么zval可以被释放掉,不属于垃圾

  • 如果一个zval的refcount减少之后大于0,那么此zval还不能被释放,此zval可能成为一个垃圾

算法介绍:

  A:为避免不得不检查所有引用计数可能减少的垃圾周期,这个算法把所有可能根(possible roots 都是zval变量容器),放在根缓冲区(root buffer)中(用紫色来标记,称为疑似垃圾),这样可以同时确保每个可能的垃圾根(possible garbage root)在缓冲区中只出现一次。仅仅在根缓冲区满了时,才对缓冲区内部所有不同的变量容器执行垃圾回收操作。

  B:模拟删除每个紫色变量。模拟删除时可能将不是紫色的普通变量引用数减”1”,如果某个普通变量引用计数变成0了,就对这个普通变量再做一次模拟删除。每个变量只能被模拟删除一次,模拟删除后标记为灰。

  C:模拟恢复每个紫色变量。恢复是有条件的,当变量的引用计数大于0时才对其做模拟恢复。同样每个变量只能恢复一次,恢复后标记为黑,基本就是步骤 B 的逆运算。这样剩下的一堆没能恢复的就是该删除的蓝色节点了,在步骤 D 中遍历出来真的删除掉。

算法中都是模拟删除、模拟恢复、真的删除,都使用简单的遍历即可(最典型的深搜遍历)。复杂度为执行模拟操作的节点数正相关,不只是紫色的那些疑似垃圾变量。

分享到:
0

说点儿什么吧

头像

表情
box
box

我的博客是zhaobo.top

2020-06-10 11:02:16
陈大剩
2020-06-11 21:42:03
box
box 回复 陈大剩

谢谢老板,已互加

2020-06-18 14:26:22
box
box

可以互相加个友链吗, 一起学习 记录

2020-06-10 11:02:02

本站由陈大剩博客程序搭建 | 湘ICP备17009938号| Copyright © 2017 - Laravel | 本站采用创作共用版权:CC BY-NC 4.0

站长统计| 文章总数[21]| 评论总数[10]| 登录用户[17]| 时间点[23]

登入

社交账号登录