怎么在PHP中實(shí)現(xiàn)一個(gè)垃圾回收機(jī)制

這篇文章給大家介紹怎么在PHP中實(shí)現(xiàn)一個(gè)垃圾回收機(jī)制，內(nèi)容非常詳細(xì)，感興趣的小伙伴們可以參考借鑒，希望對(duì)大家能有所幫助。

頑固垃圾的產(chǎn)生過(guò)程

<?php
  $a = "new string";
?>

代碼中，$a變量?jī)?nèi)部存儲(chǔ)信息為

a: (refcount_gc=1, is_ref_gc=0)='new string'

當(dāng)把               a           賦           值           給           另           外           一           個(gè)           變           量           的           時(shí)           候           ，             a賦值給另外一個(gè)變量的時(shí)候，        a賦值給另外一個(gè)變量的時(shí)候，a對(duì)應(yīng)的zval的refcount_gc會(huì)加1

<?php
  $a = "new string";
  $b = $a;
?>

此時(shí)               a           和             a和        a和b變量對(duì)應(yīng)的內(nèi)部存儲(chǔ)信息為,               a           和             a和        a和b同時(shí)指向一個(gè)字符串"new string" ,它的refcount變成2

a,b: (refcount_gc=2, is_ref=0)='new string'

當(dāng)用unset刪除$b變量時(shí)，“new string” 的refcount_gc會(huì)減1變成1。

<?php
  $a = "new string"; //a: (refcount_gc=1, is_ref_gc=0)='new string'
  $b = $a;      //a,b: (refcount_gc=2, is_ref=0)='new string'
  unset($b);     //a: (refcount_gc=1, is_ref=0)='new string'
?>

對(duì)于普通的變量來(lái)說(shuō)，這一切很正常，但是在復(fù)合類型變量（數(shù)組和對(duì)象）中，會(huì)發(fā)生比較有意思的事情：

<?php
  $a = array('meaning' => 'life', 'number' => 42);
?>

$a內(nèi)部存儲(chǔ)信息為:

a: (refcount=1, is_ref=0)=array (
'meaning' => (refcount=1, is_ref=0)='life',
'number' => (refcount=1, is_ref=0)=42
)

數(shù)組變量本身($a)在引擎內(nèi)部實(shí)際上是一個(gè)哈希表，這張表中有兩個(gè)zval項(xiàng) meaning和number，所以實(shí)際上那一行代碼中一共生成了3個(gè)zval,這3個(gè)zval都遵循變量的引用和計(jì)數(shù)原則，用圖來(lái)表示:

下面在$a中添加一個(gè)元素，并將現(xiàn)有的一個(gè)元素的值賦給新的元素:

<?php
  $a = array('meaning' => 'life', 'number' => 42);
  $a['name'] = $a['meaning'];
?>

那么$a的內(nèi)部存儲(chǔ)為 , “l(fā)ife” 的ref_count變成2 , 42的ref_count是1:

a: (refcount=1, is_ref=0)=array (
'meaning' => (refcount=2, is_ref=0)='life',
'number' => (refcount=1, is_ref=0)=42,
'name' => (refcount=2, is_ref=0)='life'
)

如果將數(shù)組的引用賦值給數(shù)組中的一個(gè)元素，有意思的事情就會(huì)發(fā)生：

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

這樣               a           數(shù)           組           就           有           兩           個(gè)           元           素           ，           一           個(gè)           索           引           為           0           ，           值           為           字           符           o           n           e           ，           另           外           一           個(gè)           索           引           為           1           ，           為             a數(shù)組就有兩個(gè)元素，一個(gè)索引為0，值為字符one，另外一個(gè)索引為1，為        a數(shù)組就有兩個(gè)元素，一個(gè)索引為0，值為字符one，另外一個(gè)索引為1，為a自身的引用，內(nèi)部存儲(chǔ)如下:

a: (refcount=2, is_ref=1)=array (
0 => (refcount=1, is_ref=0)='one',
1 => (refcount=2, is_ref=1)=…
)

array這個(gè)zval的ref_count是2 , 是一個(gè)環(huán)形引用
這時(shí)對(duì)$a進(jìn)行unset,那么               a           會(huì)           從           符           號(hào)           表           中           刪           除           ，           同           時(shí)           ‘             a會(huì)從符號(hào)表中刪除，同時(shí)`        a會(huì)從符號(hào)表中刪除，同時(shí)‘a(chǎn)指向的zval的refcount_gc`減少1.

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

那么問(wèn)題就產(chǎn)生了，               a           已           經(jīng)           不           在           符           號(hào)           表           中           ，           用           戶           無(wú)           法           再           訪           問(wèn)           此           變           量           ，           但           是             a已經(jīng)不在符號(hào)表中，用戶無(wú)法再訪問(wèn)此變量，但是        a已經(jīng)不在符號(hào)表中，用戶無(wú)法再訪問(wèn)此變量，但是a之前指向的zval的refcount_gc變?yōu)?而不是0，因此不能被回收，從而產(chǎn)生內(nèi)存泄露，新的GC要做的工作就是清理此類垃圾。

為了解決循環(huán)引用內(nèi)存泄露問(wèn)題 , 使用同步周期回收算法 , 這種ref_count減1后還大于0的會(huì)被作為疑似垃圾

比如當(dāng)數(shù)組或?qū)ο笱h(huán)的引用自身 , unset掉數(shù)組的時(shí)候 , 當(dāng)refcount-1后還大于0的 , 會(huì)進(jìn)行遍歷 ,并且模擬的刪除一次refcount-1如果是0就刪除 ,如果不是0就恢復(fù)。

關(guān)于怎么在PHP中實(shí)現(xiàn)一個(gè)垃圾回收機(jī)制就分享到這里了，希望以上內(nèi)容可以對(duì)大家有一定的幫助，可以學(xué)到更多知識(shí)。如果覺得文章不錯(cuò)，可以把它分享出去讓更多的人看到。