PHP垃圾回收機制:
1. PHP可以自動進行記憶體管理,清除不需要的物件,主要使用了引用計數
#2 . 在zval結構體中定義了ref_count和is_ref , ref_count是引用計數,標識此zval被多少個變數引用, 為0時會被銷毀。 is_ref標識是否使用的 &取位址符強制引用
3. 為了解決循環引用記憶體外洩問題 , 使用同步週期回收演算法。
例如當數組或物件循環的引用自身, unset掉數組的時候, 當refcount-1後還大於0的, 就會被當成疑似垃圾, 會進行遍歷,並且模擬的刪除一次refcount- 1如果是0就刪除,如果不是0就恢復頑固垃圾的產生過程:
<?php $a = "new string"; ?>
a: (refcount_gc=1, is_ref_gc=0)='new string'
當把$a賦值給另外一個變數的時候,$a對應的zval的refcount_gc會加1
<?php $a = "new string"; $b = $a; ?>
此時$a和$b變數對應的內部儲存資訊為,$a和$b同時指向一個字串"new string" ,它的refcount變成2a,b: (refcount_gc=2,is_ref= 0)='new string'
當用unset刪除$b變數時,"new string" 的refcount_gc會減1變成1
對於普通的變數來說,這一切很正常,但是在複合型別變數(陣列和物件)中,會發生比較有趣的事情:
<?php $a = array('meaning' => 'life', 'number' => 42); ?>
$a內部儲存資訊為:
a: (refcount=1, is_ref=0)=array ( 'meaning' => (refcount=1, is_ref=0)='life', 'number' => (refcount=1, is_ref=0)=42 )
陣列變數本身($a)在引擎內部實際上是一個哈希表,這張表中有兩個zval項meaning和number,所以實際上那一行程式碼中一共生成了3個zval,這3個zval都遵循變數的引用和計數原則,用圖來表示:
下面在$a中加入一個元素,並將現有的一個元素的值賦給新的元素:
<?php $a = array('meaning' => 'life', 'number' => 42); $a['name'] = $a['meaning']; ?>
那麼$a的內部儲存為, "life" 的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' )
如果將數組的引用賦值給數組中的一個元素,有意思的事情就會發生:
<?php $a = array('one'); $a[] = &$a; ?>
這樣$a數組就有兩個元素,一個索引為0,值為字元one,另外一個索引為1,為$a自身的引用,內部儲存如下:
a: (refcount=2, is_ref=1)=array ( 0 => (refcount=1, is_ref=0)='one', 1 => (refcount=2, is_ref=1)=… )
array這個zval的ref_count是2 , 是一個環形參考。這時對$a進行unset,那麼$a會從符號表中刪除,同時$a指向的zval的refcount_gc減少1.
#那麼問題就產生了,$a已經不在符號表中,用戶無法再存取此變量,但是$a之前指向的zval的refcount_gc變為1而不是0,因此不能被回收,從而產生內存洩露,新的GC要做的工作就是清理此類垃圾。
為了解決循環引用記憶體外洩問題 , 使用同步週期回收演算法 , 這種ref_count減1後還大於0的會被當作疑似垃圾。
例如當數組或物件循環的引用自身, unset掉數組的時候, 當refcount-1後還大於0的, 會進行遍歷,並且模擬的刪除一次refcount-1如果是0就刪除,如果不是0就恢復。
想了解更多相關內容請造訪PHP中文網:PHP影片教學
#以上是透過實例詳細講解PHP垃圾回收機制的詳細內容。更多資訊請關注PHP中文網其他相關文章!