（推薦教學：PHP影片教學）
每個php變數存在一個叫zval 的變數容器中。
一個 zval 變數容器，除了包含變數的型別和值，還包含兩個位元組的額外資訊。
第一個是 is_ref，是個bool值，用來識別這個變數是否是屬於引用集合。透過這個位元組，php引擎才能把普通變數和引用變數區分開來，由於php允許使用者透過使用&來使用自訂引用，zval變數容器中還有一個內部引用計數機制，來優化記憶體使用。
第二個額外位元組是 refcount，用以表示指向這個zval變數容器的變數個數。
所有的符號存在一個符號表中，其中每個符號都有作用域(scope)，那些主腳本(比如：透過瀏覽器請求的的腳本)和每個函數或方法也都有作用域。
當一個變數被賦常量值時，就會產生一個zval變數容器
如果安裝了Xdebug，則可以透過xdebug_debug_zval()看這兩個
<?php $a = "new string"; xdebug_debug_zval('a'); //结果 a: (refcount=1, is_ref=0)='new string'
把一個變數賦值給另一個變數會增加引用次數
<?php $a = "new string"; $b = $a; xdebug_debug_zval( 'a' ); //结果 a: (refcount=2, is_ref=0)='new string'
使用unset() 可以減少引用次數
包含類型和值的這個變數容器就會從記憶體中刪除
<?php $a = "new string"; $c = $b = $a; xdebug_debug_zval( 'a' ); unset( $b, $c ); xdebug_debug_zval( 'a' ); //结果 a: (refcount=3, is_ref=0)='new string' a: (refcount=1, is_ref=0)='new string'
<?php $a = array( 'meaning' => 'life', 'number' => 42 ); xdebug_debug_zval( 'a' ); //结果 a: (refcount=1, is_ref=0)=array ( 'meaning' => (refcount=1, is_ref=0)='life', 'number' => (refcount=1, is_ref=0)=42 )
新增一個已經存在的元素到陣列中
<?php $a = array( 'meaning' => 'life', 'number' => 42 ); $a['life'] = $a['meaning']; xdebug_debug_zval( 'a' ); //结果 a: (refcount=1, is_ref=0)=array ( 'meaning' => (refcount=2, is_ref=0)='life', 'number' => (refcount=1, is_ref=0)=42, 'life' => (refcount=2, is_ref=0)='life' )
刪除陣列中的一個元素
就是類似於從作用域中刪除一個變數.
刪除後，陣列中的這個元素所在的容器的「refcount」值減少
<?php $a = array( 'meaning' => 'life', 'number' => 42 ); $a['life'] = $a['meaning']; unset( $a['meaning'], $a['number'] ); xdebug_debug_zval( 'a' ); //结果 a: (refcount=1, is_ref=0)=array ( 'life' => (refcount=1, is_ref=0)='life' )
當我們加入一個陣列本身作為這個陣列的元素時，事情就變得有趣
同上，對一個變數呼叫unset，將刪除這個符號，且它指向的變數容器中的引用次數也減少1
<?php $a = array( 'one' ); $a[] = &$a; xdebug_debug_zval( 'a' ); //结果 a: (refcount=2, is_ref=1)=array ( 0 => (refcount=1, is_ref=0)='one', 1 => (refcount=2, is_ref=1)=... )
儘管不再有某個作用域中的任何符號指向這個結構(就是變數容器)，由於陣列元素「1」仍然指向陣列本身，所以這個容器不能被清除。
因為沒有另外的符號指向它，使用者沒有辦法清除這個結構，結果就會導致記憶體洩漏。
慶幸的是，php將在腳本執行結束時清除這個資料結構，但是在php清除之前，將耗費不少記憶體。
如果上面的情況發生僅僅一兩次倒沒什麼，但是如果出現幾千次，甚至幾十萬次的內存洩漏，這顯然是個大問題
像是先前的php 用到的引用計數記憶體機制，無法處理循環的引用記憶體洩漏
而在php 5.3.0 中使用同步演算法，來處理這個記憶體洩漏問題
如果一個引用計數增加，它將繼續被使用，當然就不再在垃圾中。
如果引用計數減少到零，所在變數容器將被清除(free)
就是說，僅在引用計數減少到非零值時，才會產生垃圾週期
在一個垃圾週期中，透過檢查引用計數是否減1，並且檢查哪些變數容器的引用次數是零，來發現哪部分是垃圾
為避免必須檢查所有引用計數可能減少的垃圾週期
這個演算法把所有可能根(possible roots 都是zval變數容器),放在根緩衝區(root buffer)中(用紫色來標記，稱為疑似垃圾)，這樣可以同時確保每個可能的垃圾根(possible garbage root)在緩衝區中只出現一次。僅在根緩衝區滿了時，才對緩衝區內部所有不同的變數容器執行垃圾回收操作。看上圖的步驟 A。
在步驟 B 中，模擬刪除每個紫色變數。模擬刪除時可能將不是紫色的普通變數引用數減"1"，如果某個普通變數引用計數變成0了，就對這個普通變數再做一次模擬刪除。每個變數只能被模擬刪除一次，模擬刪除後標記為灰色
在步驟 C 中，模擬恢復每個紫色變數。恢復是有條件的，當變數的引用計數大於0時才對其做模擬恢復。同樣每個變數只能恢復一次，恢復後標示為黑，基本上就是步驟 B 的逆運算。這樣剩下的一堆沒能恢復的就是該刪除的藍色節點了，在步驟D 中遍歷出來真的刪除掉
主要有兩個領域對效能有影響
第一個是記憶體佔用空間的節省
另一個是垃圾回收機制釋放已洩漏的記憶體耗費的時間增加
PHP中的垃圾回收機制，僅在循環回收演算法確實運行時會有時間消耗上的增加。但是在平常的(更小的)腳本中應根本沒有效能影響。
然而，在平常腳本中有循環回收機制運行的情況下，記憶體的節省將允許更多這種腳本同時運行在你的伺服器上。因為總共使用的記憶體沒達到上限。
這種好處在長時間運行腳本中尤其明顯，諸如長時間的測試套件或daemon腳本此類。
（推薦教學：PHP影片教學）
以上是深入了解PHP的垃圾回收機制的詳細內容。更多資訊請關注PHP中文網其他相關文章！
