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