上次說(shuō)到了refcount和is_ref，這里來(lái)說(shuō)說(shuō)內(nèi)存泄露的情況
復(fù)制代碼 代碼如下:
$a = array(1, 2, &$a);
unset($a);

在老的php版本中，這里就會(huì)出現(xiàn)內(nèi)存泄露，分析如下:

執(zhí)行第一行，可以知道$a和$a[2]指向的zval refcount=2，is_ref=1

然后執(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);

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

php有一個(gè)root buffer用來(lái)存儲(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，如果說(shuō)遍歷完成后該zval的refcount被減為0，則說(shuō)明這個(gè)zval是一個(gè)內(nèi)存垃圾，他將被銷毀，見(jiàn)下面的例子
復(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í)我們也失去了訪問(wèn)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é)來(lái)說(shuō)可以這么表述：若一個(gè)數(shù)組類型的zval，對(duì)他的元素zval進(jìn)行一次遍歷，同時(shí)將遍歷到的zval的refcount--，如果最后refcount=0的zval，就是垃圾，需要被回收

php技術(shù)：深入解析PHP垃圾回收機(jī)制對(duì)內(nèi)存泄露的處理，轉(zhuǎn)載需保留來(lái)源！

鄭重聲明：本文版權(quán)歸原作者所有，轉(zhuǎn)載文章僅為傳播更多信息之目的，如作者信息標(biāo)記有誤，請(qǐng)第一時(shí)間聯(lián)系我們修改或刪除，多謝。