使用指令碼語言最大的好處之一就是可利用其擁有的自動記憶體回收機制(釋放記憶體)。你不需要在使用完變數後做任何釋放記憶體的處理,PHP會幫你完成。
當然,我們可以按自己的意願調用 unset() 函數來釋放記憶體,但通常不需要這麼做。
不過在PHP裡,至少有一種情況記憶體不會得到自動釋放,即便是手動調用 unset()。詳情可考:http://bugs.php.net/bug.php?id=33595。
問題癥狀
如果兩個對象之間存在著相互引用的關係,如“父物件-子物件”,對父物件調用 unset() 不會釋放在子物件中引用父物件的記憶體(即便父物件被記憶體回收,也不行)。
有些糊塗了?我們來看下面的這段代碼:
<?php
class Foo {
function __construct()
{
$this->bar = new Bar($this);
}
}
class Bar {
function __construct($foo = null)
{
$this->foo = $foo;
}
}
while (true) {
$foo = new Foo();
unset($foo);
echo number_format(memory_get_usage()) . "/n";
}
?>
運行這段代碼,你會看到記憶體使用量率越來越高越來越高,直到用光光。
...
33,551,616
33,551,976
33,552,336
33,552,696
PHP Fatal error: Allowed memory size of 33554432 bytes exhausted
(tried to allocate 16 bytes) in memleak.php on line 17
對大部分PHP程式員來講這種情況不算是什麼問題。
可如果你在一個長期啟動並執行代碼中使用到了一大堆相互引用的對象,尤其是在對象相對較大的情況下,記憶體會迅速地消耗殆盡。
Userland解決方案
雖然有些乏味、不優雅,但之前提到的 bugs.php.net 連結中提供了一個解決方案。
這個方案在釋放對象前使用一個 destructor 方法以達到目的。Destructor 方法可將所有內部的父物件引用全部清除,也就是說可以將這部分本來會溢出的記憶體釋放掉。
以下是“修複後”的代碼:
<?php
class Foo {
function __construct()
{
$this->bar = new Bar($this);
}
function __destruct()
{
unset($this->bar);
}
}
class Bar {
function __construct($foo = null)
{
$this->foo = $foo;
}
}
while (true) {
$foo = new Foo();
$foo->__destruct();
unset($foo);
echo number_format(memory_get_usage()) . "/n";
}
?>
注意那個新增的 Foo::__destruct()方法,以及在釋放對象前對 $foo->__destruct() 的調用。現在這段代碼解決了記憶體使用量率一直增加的問題,這麼一來,代碼就可以很好的工作了。
PHP核心解決方案?
為什麼會有記憶體溢出的發生?我對PHP核心方面的研究並不精通,但可以確定的是此問題與引用計數有關係。
在 $bar 中引用 $foo 的引用計數不會因為父物件 $foo 被釋放而遞減,這時PHP認為你仍需要 $foo 對象,也就不會釋放這部分的記憶體……大概是這樣。
這裡確實可以看出我的無知,但大體意思是:一個引用計數沒有遞減,所以一些記憶體永遠得不到釋放。
在前面提到的 bugs.php.net 連結中我看到修改記憶體回收的過程將會犧牲極大的效能,因為我對引用計數瞭解不多,所以我認為這是真的。
與其改變記憶體回收的過程,為什麼不用 unset() 對內部對象做釋放的工作呢?(或者在釋放對象的時候調用 __destruct()?)
也許PHP核心開發人員可以在此或其他地方,對這種記憶體回收處理機製做出修改。
更新:Martin Fjordvald 在評論中提到了一個由 David Wang 為記憶體回收所寫的補丁(其實它看起來更像“一整塊布”——非常巨大。詳情參見此郵件結尾的CVS匯出資訊。)確實存在(一封郵件),並受到了PHP核心開發成員的關注。問題是這個補丁要不要放到PHP5.3中並未得到太多支援 。我覺得一個不錯的折中方案就是在 unset() 函數中調用對象中的 __destruct() 方法;