PHP對(duì)象相互引用的內(nèi)存溢出
使用腳本語(yǔ)言最大的好處之一就是可利用其擁有的自動(dòng)垃圾回收機(jī)制(釋放內(nèi)存)。你不需要在使用完變量后做任何釋放內(nèi)存的處理,PHP會(huì)幫你完成。當(dāng)然,我們可以按自己的意愿調(diào)用 unset() 函數(shù)來(lái)釋放內(nèi)存,但通常不需要這么做。不過(guò)在PHP里,至少有一種情況內(nèi)存不會(huì)得到自動(dòng)釋放,即便是手動(dòng)調(diào)用 unset()。詳情可考:http://bugs.php.net/bug.php?id=33595。
問(wèn)題癥狀如果兩個(gè)對(duì)象之間存在著相互引用的關(guān)系,如“父對(duì)象-子對(duì)象”,對(duì)父對(duì)象調(diào)用 unset()不會(huì)釋放在子對(duì)象中引用父對(duì)象的內(nèi)存(即便父對(duì)象被垃圾回收,也不行)。有些糊涂了?我們來(lái)看下面的這段代碼:
<?phpclass 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';}?>運(yùn)行這段代碼,你會(huì)看到內(nèi)存使用率越來(lái)越高越來(lái)越高,直到用光光。
...33,551,61633,551,97633,552,33633,552,696PHP Fatal error:; Allowed memory size of 33554432 bytes exhausted(tried to allocate 16 bytes) in memleak.php on line 17對(duì)大部分PHP程序員來(lái)講這種情況不算是什么問(wèn)題。可如果你在一個(gè)長(zhǎng)期運(yùn)行的代碼中使用到了一大堆相互引用的對(duì)象,尤其是在對(duì)象相對(duì)較大的情況下,內(nèi)存會(huì)迅速地消耗殆盡。
Userland解決方案雖然有些乏味、不優(yōu)雅,但之前提到的 bugs.php.net 鏈接中提供了一個(gè)解決方案。這個(gè)方案在釋放對(duì)象前使用一個(gè) destructor 方法以達(dá)到目的。Destructor 方法可將所有內(nèi)部的父對(duì)象引用全部清除,也就是說(shuō)可以將這部分本來(lái)會(huì)溢出的內(nèi)存釋放掉。以下是“修復(fù)后”的代碼:
<?phpclass 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';}?>注意那個(gè)新增的Foo::__destruct()方法,以及在釋放對(duì)象前對(duì) $foo->__destruct() 的調(diào)用。現(xiàn)在這段代碼解決了內(nèi)存使用率一直增加的問(wèn)題,這么一來(lái),代碼就可以很好的工作了。
PHP內(nèi)核解決方案?為什么會(huì)有內(nèi)存溢出的發(fā)生?我對(duì)PHP內(nèi)核方面的研究并不精通,但可以確定的是此問(wèn)題與引用計(jì)數(shù)有關(guān)系。在 $bar 中引用 $foo 的引用計(jì)數(shù)不會(huì)因?yàn)楦笇?duì)象 $foo 被釋放而遞減,這時(shí)PHP認(rèn)為你仍需要 $foo 對(duì)象,也就不會(huì)釋放這部分的內(nèi)存……大概是這樣。這里確實(shí)可以看出我的無(wú)知,但大體意思是:一個(gè)引用計(jì)數(shù)沒(méi)有遞減,所以一些內(nèi)存永遠(yuǎn)得不到釋放。在前面提到的 bugs.php.net 鏈接中我看到修改垃圾回收的過(guò)程將會(huì)犧牲極大的性能,因?yàn)槲覍?duì)引用計(jì)數(shù)了解不多,所以我認(rèn)為這是真的。與其改變垃圾回收的過(guò)程,為什么不用 unset() 對(duì)內(nèi)部對(duì)象做釋放的工作呢?(或者在釋放對(duì)象的時(shí)候調(diào)用 __destruct()?)也許PHP內(nèi)核開(kāi)發(fā)者可以在此或其他地方,對(duì)這種垃圾回收處理機(jī)制做出修改。更新:Martin Fjordvald 在評(píng)論中提到了一個(gè)由 David Wang 為垃圾回收所寫(xiě)的補(bǔ)丁(其實(shí)它看起來(lái)更像“一整塊布”——非常巨大。詳情參見(jiàn)此郵件結(jié)尾的CVS導(dǎo)出信息。)確實(shí)存在(一封郵件),并受到了PHP內(nèi)核開(kāi)發(fā)成員的關(guān)注。問(wèn)題是這個(gè)補(bǔ)丁要不要放到PHP5.3中并未得到太多支持。我覺(jué)得一個(gè)不錯(cuò)的折中方案就是在 unset() 函數(shù)中調(diào)用對(duì)象中的 __destruct() 方法;
