然后執(zhí)行第二行，$a將會(huì)從符號(hào)表中被刪除，同時(shí)指向的zval的refcount--，此時(shí)refcount=1,因?yàn)閞efcount!=0，故此zval不會(huì)被當(dāng)做垃圾回收，但是此時(shí)我們卻失去了$a[2]指向這個(gè)zval的入口，因此這個(gè)zval成了一塊內(nèi)存垃圾

同樣的道理可以發(fā)生在類內(nèi)部引用里，例如

復(fù)制代碼代碼如下:

$a = new Man();
$a->self = &$a;
unset($a);

那么如何解決這種問題呢，新的GC機(jī)制采用了一個(gè)算法來解決這個(gè)問題

PHP有一個(gè)root buffer用來存儲(chǔ)zval的節(jié)點(diǎn)信息，當(dāng)root buffer滿了或者手動(dòng)調(diào)用gc函數(shù)時(shí)，GC算法啟動(dòng)

對(duì)于一個(gè)數(shù)組或者類類型的zval而言，在垃圾回收機(jī)制啟動(dòng)時(shí)，算法會(huì)對(duì)該zval的數(shù)組/類內(nèi)部的元素/成員的zval進(jìn)行一次遍歷并將refcount減1，如果說遍歷完成后該zval的refcount被減為0，則說明這個(gè)zval是一個(gè)內(nèi)存垃圾，他將被銷毀，見下面的例子

復(fù)制代碼代碼如下:

$a = array(1, 2, &$a, &$a);
unset($a);

容易知道$a指向的zval，假設(shè)為z1的refcount=3,is_ref=1

當(dāng)unset($a)執(zhí)行的時(shí)候，$a就已經(jīng)從符號(hào)表中刪去，同時(shí)我們也失去了訪問z1的入口，此時(shí)z1 refcount=2，is_ref=1

當(dāng)GC啟動(dòng)時(shí)，會(huì)對(duì)該z1的數(shù)組元素的zval的refcount進(jìn)行遍歷減1，遍歷到a[2]時(shí),z1 refcount--， a[3]時(shí) z1 refcount--，此時(shí)z1 refcount = 0，即可將z1標(biāo)記為內(nèi)存垃圾，算法后將其回收

總結(jié)來說可以這么表述：若一個(gè)數(shù)組類型的zval，對(duì)他的元素zval進(jìn)行一次遍歷，同時(shí)將遍歷到的zval的refcount--，如果最后refcount=0的zval，就是垃圾，需要被回收

您可能感興趣的文章: