PHP記憶體回收機制詳解

php 5.3之前使用的記憶體回收機制是單純的“引用計數”，也就是每個記憶體對象都分配一個計數器，當記憶體對象被變數引用時，計數器+1；當變數引用撤掉後，計數器-1；當計數器=0時，表明記憶體對象沒有被使用，該記憶體對象則進行銷毀，記憶體回收完成。

“引用計數”存在問題，就是當兩個或多個對象互相引用形成環狀後，記憶體對象的計數器則不會消減為0；這時候，這一組記憶體對象已經沒用了，但是不能回收，從而導致記憶體泄露；

php5.3開始，使用了新的記憶體回收機制，在引用計數基礎上，實現了一種複雜的演算法，來檢測記憶體對象中引用環的存在，以避免記憶體泄露。

 

php變數存在一個叫"zval"的變數容器中,"zval"變數容器包括含變數的類型和值，還包括額外的兩個位元組資訊，分別是“is_ref”表示變數是否屬於引用，“refcount”指向這個zval變數容器的變數個數。

如果你安裝了xdebug,就可以用xdebug_debug_zval()顯示“zval”的資訊了。如下：

<?php
 $str = "www.111cn.net";
 xdebug_debug_zval('str');

結果：

str:

(refcount=1, is_ref=0),

string 'phpddt.com' (length=10)

只有當變數容器在”refcount“變成0時就被銷毀.當你unset()一個變數時，想要的“zval”中refcount就會減1，再來說說前幾天遇到的unset引用問題：

 

代碼如下	複製代碼
<?php  $a = "aaa";  $b = & $a;  unset($a);  //echo $b; //這裡依然會輸出aaa,用xdebug_debug_zval列印你就知道為什麼了  xdebug_debug_zval("b");   結果： b: (refcount=1, is_ref=0),string 'aaa' (length=3)

繼續說引用計數器問題，對於array和object符合類型情況又不一樣了：

 

代碼如下

複製代碼

<?php    $arr = array( 'a' => 'aaa', 'b' => "bbb" );  xdebug_debug_zval( 'arr' );  $arr['aaa'] = $arr['a'];  xdebug_debug_zval( 'arr' ); ?> 結果： arr: (refcount=1, is_ref=0), array   'a' => (refcount=1, is_ref=0),string 'aaa' (length=3)   'b' => (refcount=1, is_ref=0),string 'bbb' (length=3) arr: (refcount=1, is_ref=0), array   'a' => (refcount=2, is_ref=0),string 'aaa' (length=3)   'b' => (refcount=1, is_ref=0),string 'bbb' (length=3)   'aaa' => (refcount=2, is_ref=0),string 'aaa' (length=3)

可以看到看到原有的數組元素和新添加的數組元素關聯到同一個"refcount"2的zval變數容器.這裡我也只是起到拋磚引玉的作用。

上面我們只是簡單的使用了unset,null,mysql_close,__destruct,xdebug_debug_zval 接著往下看

查看記憶體是否泄露

看是否有該釋放的記憶體沒有被釋放，可以簡單的通過 調用  memory_get_usage  函數查看記憶體使用量情況來判斷；memory_get_usage 函數返回的記憶體使用量資料據說不是很準確，可以使用  php 的 xdebug 擴充來獲得更準確翔實的記憶體使用量情況。

代碼如下

複製代碼

class A{     private $b;     function __construct(){         $this->b = new B($this);     }     function __destruct(){         //echo "A destructn";     } } class B{     private $a;     function __construct($a){         $this->a = $a;     }     function __destruct(){         //echo "B descturctn";     } } for($i=0;;$i++){     $a = new A();     if($i%1000 == 0){         echo memory_get_usage()."n";     } } }

上面就構造了一個會產生環狀引用的例子；每次建立一個A對象的執行個體a，a就建立一個B對象的執行個體b，同時讓b引用a ；這樣，每個A對象永遠被一個B引用，而每個B對象同時被一個對象A引用；引用環就這樣產生了。

在php5.2的環境下執行這段代碼，會發現記憶體使用量在單調上漲，也沒有A和B的解構函式被執行後輸出的“A/B desctruct”資訊；直到記憶體耗盡，輸出“PHP Fatal error:  Allowed memory size of 134217728 bytes exhausted (tried to allocate 40 bytes)”。

在php5.3的環境下執行這段代碼，則發現記憶體使用量在上跳下竄，但是永遠沒有超過一個限額；程式也會輸出大量的“A/B desctruct”，這說明解構函式被調用了。

我的同事的程式中，就存在這種引用的環路，而他的指令碼，實在php5.2.3下執行的。simple_html_dom工具中，有兩個類，分別是simple_html_dom和simple_html_dom_node，前者中有一個數群組成員變數nodes，數組中每個元素都是一個simple_html_dom_node對象；而每個simple_html_dom_node對象都有一個成員變數dom，該dom的值就是前面的simple_html_dom對象——這樣就形成了一個漂亮的引用環，導致了記憶體泄露。解決的辦法也很簡單，就是simple_html_dom對象在使用完畢時，主動調用其clear函數，清空其成員變數nodes，環就被打破了，記憶體泄露也就不會發生了。

 

3.其他：

1)記憶體回收的時機

Php中，引用計數為0，則記憶體立刻釋放；也就是說，不存在環狀引用的變數，離開變數的範圍，記憶體被立刻釋放。

環狀引用檢測則是在滿足一定條件下觸發，所以在上面的例子中，會看到使用的記憶體有大幅度的波動；也可以通過 gc_collect_cycles 函數來主動進行環狀引用檢測。

2) &符號的影響

顯式引用一個變數，會增加該記憶體的引用計數：

$a = "something";

$b = &$a;

此時unset($a), 但是仍有$b指向該記憶體地區的引用，記憶體不會釋放。

3）unset函數的影響

unset只是斷開一個變數到一塊記憶體地區的串連，同時將該記憶體地區的引用計數-1；在上面的例子中，迴圈體內部，$a=new A(); unset($a);並不會將$a的引用計數減到零；

4）= null 操作的影響；

$a = null 是直接將$a 指向的資料結構置空，同時將其引用計數歸0。

5）指令碼執行結束的影響

指令碼執行結束，該指令碼中使用的所有記憶體都會被釋放，不論是否有引用環。