php的垃圾回收機制可以簡單總結為 引用計數(shù) 寫時復制 cow機制
引用計數(shù)基本知識
官網(wǎng)的解答如下
每個php變量存在一個叫”zval”的變量容器中一個zval變量容器，除了包含變量的類型和值 ，還包括兩個字節(jié)的額外信息 is_ref 和 refcount is_ref 是個bool值，用來標識這個變量是否是屬于引用集合(reference set)。通過這個字節(jié)，php引擎才能把普通變量和引用變量區(qū)分開來 refcount 用以表示指向這個zval變量容器的變量個數(shù) php5 中的引用計數(shù)在php5中，zval 的內存是單獨從堆（heap）中分配的（有少數(shù)例外情況），php 需要知道哪些 zval 是正在使用的，哪些是需要釋放的。所以這就需要用到引用計數(shù)：zval 中 refcount__gc 的值用于保存 zval 本身被引用的次數(shù)，比如 b = 12語句中，12 被兩個變量引用，所以它的引用計數(shù)就是 2。如果引用計數(shù)變成 0，就意味著這個變量已經(jīng)沒有用了，內存也就可以釋放了。
如下:
<?php
//php zval變量容器
$a = 1;
$b = 1;
$c = &$a;
$d = $b;
$e = range(0, 3);
xdebug_debug_zval('a');
xdebug_debug_zval('b');
xdebug_debug_zval('c');
xdebug_debug_zval('d');
xdebug_debug_zval('e'); >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
結果如下
a:(refcount=2, is_ref=1),int 1b:(refcount=2, is_ref=0),int 1c:(refcount=2, is_ref=1),int 1d:(refcount=2, is_ref=0),int 1e:(refcount=1, is_ref=0), array (size=4) 0 => (refcount=1, is_ref=0),int 0 1 => (refcount=1, is_ref=0),int 1 2 => (refcount=1, is_ref=0),int 2 3 => (refcount=1, is_ref=0),int 3每一個變量都記了自己的數(shù)php7 中的 zval在 php7 中 zval 有了新的實現(xiàn)方式。最基礎的變化就是 zval 需要的內存不再是單獨從堆上分配，不再自己存儲引用計數(shù)。復雜數(shù)據(jù)類型（比如字符串、數(shù)組和對象）的引用計數(shù)由其自身來存儲。這種實現(xiàn)方式有以下好處：簡單數(shù)據(jù)類型不需要單獨分配內存，也不需要計數(shù)不會再有兩次計數(shù)的情況，在對象中，只有對象自身存儲的計數(shù)是有效的由于現(xiàn)在計數(shù)由數(shù)值自身存儲，所以也就可以和非 zval 結構的數(shù)據(jù)共享，比如 zval 和 hashtable key 之間間接訪問需要的指針數(shù)減少了
<?php
//php zval變量容器
$a = 1;
$b = 1;
$c = &$a;
$d = $b;
$e = range(0, 3);
xdebug_debug_zval('a');
xdebug_debug_zval('b');
xdebug_debug_zval('c');
xdebug_debug_zval('d');
xdebug_debug_zval('e'); >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 結果如下 a:(refcount=2, is_ref=1)int 1b:(refcount=0, is_ref=0)int 1c:(refcount=2, is_ref=1)int 1d:(refcount=0, is_ref=0)int 1e:(refcount=1, is_ref=0)array (size=4) 0 => (refcount=0, is_ref=0)int 0 1 => (refcount=0, is_ref=0)int 1 2 => (refcount=0, is_ref=0)int 2 3 => (refcount=0, is_ref=0)int 3普通變量不再記自己的數(shù)，數(shù)組這樣的復雜類型記自己的數(shù)什么是垃圾只有在準則3下，gc才會把zval收集起來，然后通過新的算法來判斷此zval是否為垃圾。那么如何判斷這么一個變量是否為真正的垃圾呢？簡單的說，就是對此zval中的每個元素進行一次refcount減1操作，操作完成之后，如果zval的refcount=0，那么這個zval就是一個垃圾如果一個zval的refcount增加，那么此zval還在使用，不屬于垃圾如果一個zval的refcount減少到0， 那么zval可以被釋放掉，不屬于垃圾如果一個zval的refcount減少之后大于0，那么此zval還不能被釋放，此zval可能成為一個垃圾