这篇文章将为大家详细讲解有关PHP垃圾回收机制的案例分析,小编觉得挺实用的,因此分享给大家做个参考,希望大家阅读完这篇文章后可以有所收获。
, <强> PHP垃圾回收机制强>:
1。PHP可以自动进行内存管理,清除不需要的对象,主要使用了引用计数
2。在zval结构体中定义了ref_count和is_ref, ref_count是引用计数,标识此zval被多少个变量引用,为0时会被销毁.is_ref标识是否使用的,取地址符强制引用
3。为了解决循环引用内存泄露问题,使用同步周期回收算法。
比如当数组或对象循环的引用自身,设置掉数组的时候,当refcount-1后还大于0的,就会被当成疑似垃圾,会进行遍历,并且模拟的删除一次refcount-1如果是0就删除,如果不是0就恢复顽固垃圾的产生过程:
& lt; php ? 一美元=靶聅tring"; ?在
,(refcount_gc=1, is_ref_gc=0)=& # 39;新字符串# 39;
当把美元一个赋值给另外一个变量的时候,一美元对应的zval的refcount_gc会加1
& lt; php ? 一美元=靶聅tring"; b=一美元; ?在
此时一个和b美元变量对应的内部存储信息为,a和b同美元时指向一个字符串“新string",它的refcount变成2 a, b: (refcount_gc=2, is_ref=0)=& # 39;新字符串# 39;
当用设置删除b美元变量时,“新string"的refcount_gc会减1变成1
& lt; php ? 一美元=靶聅tring";//答:(refcount_gc=1, is_ref_gc=0)=& # 39;新字符串# 39; b=一美元;//a, b: (refcount_gc=2, is_ref=0)=& # 39;新字符串# 39; 设置($ b);//答:(refcount_gc=1, is_ref=0)=& # 39;新字符串# 39; ?在
对于普通的变量来说,这一切很正常,但是在复合类型变量(数组和对象)中,会发生比较有意思的事情:
& lt; php ? $=数组(& # 39;意义# 39;=比;& # 39;生活# 39;& # 39;数字# 39;=比;42); ?在
美元内部存储信息为:
,(refcount=1, is_ref=0)=阵列( & # 39;意义# 39;=比;(refcount=1, is_ref=0)=& # 39;生活# 39; & # 39;数字# 39;=比;(refcount=1, is_ref=0)=42 )
数组变量本身(美元)在引擎内部实际上是一个哈希表,这张表中有两个zval项意义和号码,所以实际上那一行代码中一共生成了3个zval,这3个zval都遵循变量的引用和计数原则,用图来表示:
下面在一美元中添加一个元素,并将现有的一个元素的值赋给新的元素:
& lt; PHP ? $=数组(& # 39;意义# 39;=比;& # 39;生活# 39;& # 39;数字# 39;=比;42); 美元(& # 39;名字# 39;]=美元[& # 39;意义# 39;]; 祝辞;
那么一个美元的内部存储为,“life"的ref_count变成2,42岁的ref_count是1:
,(refcount=1, is_ref=0)=阵列( & # 39;意义# 39;=比;(refcount=2, is_ref=0)=& # 39;生活# 39; & # 39;数字# 39;=比;(refcount=1, is_ref=0)=42岁 & # 39;名字# 39;=比;(refcount=2, is_ref=0)=& # 39;生活# 39; )
如果将数组的引用赋值给数组中的一个元素,有意思的事情就会发生:
& lt; php ? $=数组(& # 39;一个# 39;); []=美元,一美元; ?在
这样一数元组就有两个元素,一个索引为0,值为字符,另外一个索引为1美元为一个自身的引用,内部存储如下:
,(refcount=2, is_ref=1)=阵列( 0=比;(refcount=1, is_ref=0)=& # 39;一个# 39;, 1=比;(refcount=2, is_ref=1)=? )
数组这个zval的ref_count是2,是一个环形引用。这时对美元一进行设置,那么一美元会从符号表中删除,同时一个指美元向的zval的refcount_gc减少1。
那么问题就产生了,一个美元已经不在符号表中,用户无法再访问此变量,但美元是一个之前指向的zval的refcount_gc变为1而不是0,因此不能被回收,从而产生内存泄露,新的GC要做的工作就是清理此类垃圾。
为了解决循环引用内存泄露问题,使用同步周期回收算法,这种ref_count减1后还大于0的会被作为疑似垃圾。
比如当数组或对象循环的引用自身,设置掉数组的时候,当refcount-1后还大于0的,会进行遍历,并且模拟的删除一次refcount-1如果是0就删除,如果不是0就恢复。