|
上次說到了refcount和is_ref,這里來說說內(nèi)存泄露的情況
復(fù)制代碼 代碼如下:
$a = array(1, 2, &$a);
unset($a);
在老的php版本中,這里就會出現(xiàn)內(nèi)存泄露,分析如下:
執(zhí)行第一行,可以知道$a和$a[2]指向的zval refcount=2,is_ref=1
然后執(zhí)行第二行,$a將會從符號表中被刪除,同時指向的zval的refcount--,此時refcount=1,因為refcount!=0,故此zval不會被當(dāng)做垃圾回收,但是此時我們卻失去了$a[2]指向這個zval的入口,因此這個zval成了一塊內(nèi)存垃圾
同樣的道理可以發(fā)生在類內(nèi)部引用里,例如
復(fù)制代碼 代碼如下:
$a = new Man();
$a->self = &$a;
unset($a);
那么如何解決這種問題呢,新的GC機(jī)制采用了一個算法來解決這個問題
php有一個root buffer用來存儲zval的節(jié)點(diǎn)信息,當(dāng)root buffer滿了或者手動調(diào)用gc函數(shù)時,GC算法啟動
對于一個數(shù)組或者類類型的zval而言,在垃圾回收機(jī)制啟動時,算法會對該zval的數(shù)組/類內(nèi)部的元素/成員的zval進(jìn)行一次遍歷并將refcount減1,如果說遍歷完成后該zval的refcount被減為0,則說明這個zval是一個內(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í)行的時候,$a就已經(jīng)從符號表中刪去,同時我們也失去了訪問z1的入口,此時z1 refcount=2,is_ref=1
當(dāng)GC啟動時,會對該z1的數(shù)組元素的zval的refcount進(jìn)行遍歷減1,遍歷到a[2]時,z1 refcount--, a[3]時 z1 refcount--,此時z1 refcount = 0,即可將z1標(biāo)記為內(nèi)存垃圾,算法后將其回收
總結(jié)來說可以這么表述:若一個數(shù)組類型的zval,對他的元素zval進(jìn)行一次遍歷,同時將遍歷到的zval的refcount--,如果最后refcount=0的zval,就是垃圾,需要被回收
php技術(shù):深入解析PHP垃圾回收機(jī)制對內(nèi)存泄露的處理,轉(zhuǎn)載需保留來源!
鄭重聲明:本文版權(quán)歸原作者所有,轉(zhuǎn)載文章僅為傳播更多信息之目的,如作者信息標(biāo)記有誤,請第一時間聯(lián)系我們修改或刪除,多謝。