對比Ruby和Python的垃圾回收

當(dāng)然Python內(nèi)部也會由于各種原因使用空閑對象鏈表(它使用鏈表循環(huán)確定對象)，Python為對象和值分配內(nèi)存的方式常常不同于Ruby。

假設(shè)我們創(chuàng)建一個Node對象使用Python：

Python不同于Ruby，當(dāng)你創(chuàng)建對象的時候，Python會立即向操作系統(tǒng)申請分配內(nèi)存。(Python 事實上實現(xiàn)了自己的內(nèi)存分配系統(tǒng)，它在操作系統(tǒng)內(nèi)存堆上提供了另外一層抽象，但是今天沒有事件深入探討。 )

當(dāng)我們創(chuàng)建第二個對象時，Python將再次向操作系統(tǒng)申請更多的內(nèi)存：

看起來相當(dāng)簡單，當(dāng)我們創(chuàng)建Python對象的時刻，將花費事件申請內(nèi)存。

Ruby將沒有用的對象扔的到處都是，直到下一個垃圾回收過程

Ruby開發(fā)者生活在一個臟亂的房間

回到Ruby，由于我們分配越來越多的對象，Ruby將繼續(xù)為我們從空閑對象鏈表(free list)獲取預(yù)分配對象。因此，空閑對象鏈表將變得越來越短：

或者更短：

請注意，我將一個新的值賦給了n1，Ruby會遺留下舊的值。”ABC”, “JKL”和”MNO”等結(jié)點對象會依然保留在內(nèi)存中。Ruby不會立即清理舊的對象盡管程序不再使用!作為一名Ruby開發(fā)者就像生活在一個臟亂的房間，衣服隨意的仍在地板上，廚房的水槽中堆滿了臟盤子。作為一個Ruby開發(fā)者，你必須在一大堆垃圾對象中去工作。

當(dāng)你的程序不在使用任何對象的時候，Python會立刻進行清理。

Python開發(fā)者生活在一所整潔的房子

垃圾回收機制在Python和Ruby中迥然不同，讓我們回到前面三個Python中Node對象的例子：

內(nèi)部的，每當(dāng)我們新建一個對象，Python將在對象對應(yīng)的C語言結(jié)構(gòu)中保存一個數(shù)字，叫做引用技術(shù)。最初，Python將它的值設(shè)為1。

值為1表明每個對象有一個指針或引用指向它。假設(shè)我們創(chuàng)建一個新的對象，JKL：

正如前面所說，Python將”JKL”的引用計數(shù)設(shè)置為1。同樣注意到我們改變n1指向了”JKL”，不再引用”ABC”，同時將”ABC”的引用計數(shù)減少為0。

通過這一點，Python垃圾回收器將會立即執(zhí)行!無論何時，只要一個對象的引用計數(shù)變?yōu)?，python將立即釋放這個對象，并且將它的內(nèi)存返回給操作系統(tǒng)。

上圖中，Python將回收”ABC”對象的內(nèi)存。記住，Ruby只是將舊的對象遺留在那里并且不去釋放它們占用的內(nèi)存。

這種垃圾回收算法被稱為”引用計數(shù)”，由喬治柯林斯發(fā)明于1960年。非常巧合的是在同一年約翰麥卡錫大叔發(fā)明了”空閑對象鏈表算法”。正如Mike Bernstein在Ruby Conference大會上所說”1960年是屬于垃圾回收器的…”。

作為一個Python開發(fā)者，就像生活在一個整潔的房間中。你知道，你的室友有些潔癖，他會把你使用過的任何東西都清洗一遍。你把臟盤子，臟杯子一放到水槽中他就會清洗。

現(xiàn)在看另外一個例子，假設(shè)我們讓n2和n1指向同樣的結(jié)點：

上圖左邊可以看到，Python減少了”DEF”的引用計數(shù)并且立即回收了”DEF”對象。同時可以看到，由于n1和n2同時指了”JKL”對象，所以它的引用計數(shù)變?yōu)榱?。

標(biāo)記回收算法

最終臟亂的房間將堆慢垃圾，生活不能總是如此。Ruby程序在運行一段時間之后，空閑對象鏈表最終將被用盡。

上圖中所有的預(yù)分配對象都被用盡(方塊全部變成了灰色)，鏈表上沒有對象可用(沒有剩余的白色方塊)。

此時，Ruby使用了一種由約翰麥卡錫發(fā)明的被稱為”標(biāo)記回收”的算法。首先，Ruby將停止程序的執(zhí)行，Ruby使用了”停止這個世界，然后回收垃圾”的方式。然后，Ruby會掃描所有的指向?qū)ο蠛椭档闹羔樆蛞谩Ｍ瑯樱琑uby也會迭代虛擬機內(nèi)部使用的指針。它會標(biāo)記每一個指針?biāo)艿竭_的對象。在下圖中，我使用了”M”指出了這些標(biāo)記：