PHP的內存泄露問題與垃圾回收

你寫了一個php腳本，通常都不用考慮內存泄露和垃圾回收的問題，由於通常狀況下你的腳本很快就執行完退出了。

但在一些運行時間長，數據量大的時候，程序運行一段時間後，php腳本就佔用了過多內存，而後就報錯（PHP Fatal error: Allowed memory size of 134217728 bytes exhausted）退出了。通常來講，每一個頁面處理結束，新建的simple_html_dom對象就應該被銷燬了——可是實際上沒有，很明顯，內存泄露發生了。
PHP的垃圾回收機制

php 5.3以前使用的垃圾回收機制是單純的「引用計數」，也就是每一個內存對象都分配一個計數器，當內存對象被變量引用時，計數器+1；當變量引用撤掉後，計數器-1；當計數器=0時，代表內存對象沒有被使用，該內存對象則進行銷燬，垃圾回收完成。

「引用計數」存在問題，就是當兩個或多個對象互相引用造成環狀後，內存對象的計數器則不會消減爲0；這時候，這一組內存對象已經沒用了，可是不能回收，從而致使內存泄露。

php5.3開始，使用了新的垃圾回收機制，在引用計數基礎上，實現了一種複雜的算法，來檢測內存對象中引用環的存在，以免內存泄露。
查看內存是否泄露

看是否有該釋放的內存沒有被釋放，能夠簡單的經過 調用  memory_get_usage  函數查看內存使用狀況來判斷；memory_get_usage 函數返回的內存使用數據聽說不是很準確，可使用  php 的 xdebug 擴展來得到更準確翔實的內存使用狀況。

class A{
    private $b;
    function __construct(){
        $this->b = new B($this);
    }
    function __destruct(){
        //echo "A destruct\n";
    }
}

class B{
    private $a;
    function __construct($a){
        $this->a = $a;
    }
    function __destruct(){
        //echo "B descturct\n";
    }
}

for($i=0;;$i++){
    $a = new A();
    if($i00 == 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，環就被打破了，內存泄露也就不會發生了。
其餘

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. 腳本執行結束的影響

腳本執行結束，該腳本中使用的全部內存都會被釋放，不管是否有引用環。