本文版權歸作者xybaby(博文地址:http://www.cnblogs.com/xybaby/)所有,歡迎轉載和商用,請在文章頁面明顯位置給出原文鏈接並保留此段聲明,否則保留追究法律責任的權利,其他事項,可留言諮詢。
Python使用引用計數和垃圾回收來做內存管理,前面也寫過一遍文章《Python內存優化》,介紹了在python中,如何profile內存使用情況,並做出相應的優化。本文介紹兩個更致命的問題:內存泄露與循環引用。內存泄露是讓所有程序員都聞風喪膽的問題,輕則導致程序運行速度減慢,重則導致程序崩潰;而循環引用是使用了引用計數的數據結構、編程語言都需要解決的問題。本文揭曉這兩個問題在python語言中是如何存在的,然後試圖利用gc模塊和objgraph來解決這兩個問題。
注意:本文的目標是Cpython,測試代碼都是運行在Python2.7。另外,本文不考慮C擴展造成的內存泄露,這是另一個複雜且頭疼的問題。
一分鐘版本
1、python使用引用計數和垃圾回收來釋放(free)Python對象
2、引用計數的優點是原理簡單、將消耗均攤到運行時;缺點是無法處理循環引用
3、Python垃圾回收用於處理循環引用,但是無法處理循環引用中的對象定義了__del__的情況,而且每次回收會造成一定的卡頓
4、gc module是python垃圾回收機制的接口模塊,可以通過該module啓停垃圾回收、調整回收觸發的閾值、設置調試選項
5、如果沒有禁用垃圾回收,那麼Python中的內存泄露有兩種情況:要麼是對象被生命週期更長的對象所引用,比如global作用域對象;要麼是循環引用中存在__del__
6、使用gc module、objgraph可以定位內存泄露,定位之後,解決很簡單
7、垃圾回收比較耗時,因此在對性能和內存比較敏感的場景也是無法接受的,如果能解除循環引用,就可以禁用垃圾回收。
8、使用gc module的DEBUG選項可以很方便的定位循環引用,解除循環引用的辦法要麼是手動解除,要麼是使用weakref
python內存管理
Python中,一切都是對象,又分爲mutable和immutable對象。二者區分的標準在於是否可以原地修改,“原地“”可以理解爲相同的地址。可以通過id()查看一個對象的“地址”,如果通過變量修改對象的值,但id沒發生變化,那麼就是mutable,否則就是immutable。比如:
>>> a = 5;id(a)
35170056
>>> a = 6;id(a)
35170044
>>> lst = [1,2,3]; id(lst)
39117168
>>> lst.append(4); id(lst)
39117168
a指向的對象(int類型)就是immutable, 賦值語句只是讓變量a指向了一個新的對象,因爲id發生了變化。而lst指向的對象(list類型)爲可變對象,通過方法(append)可以修改對象的值,同時保證id一致。
判斷兩個變量是否相等(值相同)使用==, 而判斷兩個變量是否指向同一個對象使用 is。比如下面a1 a2這兩個變量指向的都是空的列表,值相同,但是不是同一個對象。
>>> a1, a2 = [], []
>>> a1 == a2
True
>>> a1 is a2
False
爲了避免頻繁的申請、釋放內存,避免大量使用的小對象的構造析構,python有一套自己的內存管理機制。在鉅著《Python源碼剖析》中有詳細介紹,在python源碼obmalloc.h中也有詳細的描述。如下所示:
可以看到,python會有自己的內存緩衝池(layer2)以及對象緩衝池(layer3)。在Linux上運行過Python服務器的程序都知道,python不會立即將釋放的內存歸還給操作系統,這就是內存緩衝池的原因。而對於可能被經常使用、而且是immutable的對象,比如較小的整數、長度較短的字符串,python會緩存在layer3,避免頻繁創建和銷燬。例如:
>>> a, b = 1, 1
>>> a is b
True
>>> a, b = (), ()
>>> a is b
True
>>> a, b = {}, {}
>>> a is b
False
本文並不關心python是如何管理內存塊、如何管理小對象,感興趣的讀者可以參考伯樂在線和csdn上的這兩篇文章。
本文關心的是,一個普通的對象的生命週期,更明確的說,對象是什麼時候被釋放的。當一個對象理論上(或者邏輯上)不再被使用了,但事實上沒有被釋放,那麼就存在內存泄露;當一個對象事實上已經不可達(unreachable),即不能通過任何變量找到這個對象,但這個對象沒有立即被釋放,那麼則可能存在循環引用。
引用計數
引用計數(References count),指的是每個Python對象都有一個計數器,記錄着當前有多少個變量指向這個對象。
將一個對象直接或者間接賦值給一個變量時,對象的計數器會加1;當變量被del刪除,或者離開變量所在作用域時,對象的引用計數器會減1。當計數器歸零的時候,代表這個對象再也沒有地方可能使用了,因此可以將對象安全的銷燬。Python源碼中,通過Py_INCREF和Py_DECREF兩個宏來管理對象的引用計數,代碼在object.h
#define Py_INCREF(op) ( \
_Py_INC_REFTOTAL _Py_REF_DEBUG_COMMA \
((PyObject*)(op))->ob_refcnt++)
#define Py_DECREF(op) \
do { \
if (_Py_DEC_REFTOTAL _Py_REF_DEBUG_COMMA \
--((PyObject*)(op))->ob_refcnt != 0) \
_Py_CHECK_REFCNT(op) \
else \
_Py_Dealloc((PyObject *)(op)); \
} while (0)
通過sys.getrefcount(obj)對象可以獲得一個對象的引用數目,返回值是真實引用數目加1(加1的原因是obj被當做參數傳入了getrefcount函數),例如:
>>> import sys
>>> s = 'asdf'
>>> sys.getrefcount(s)
2
>>> a = 1
>>> sys.getrefcount(a)
605
從對象1的引用計數信息也可以看到,python的對象緩衝池會緩存十分常用的immutable對象,比如這裏的整數1。
引用計數的優點在於原理通俗易懂;且將對象的回收分佈在代碼運行時:一旦對象不再被引用,就會被釋放掉(be freed),不會造成卡頓。但也有缺點:額外的字段(ob_refcnt);頻繁的加減ob_refcnt,而且可能造成連鎖反應。但這些缺點跟循環引用比起來都不算事兒。
什麼是循環引用,就是一個對象直接或者間接引用自己本身,引用鍊形成一個環。且看下面的例子:
# -*- coding: utf-8 -*-
import objgraph, sys
class OBJ(object):
pass
def show_direct_cycle_reference():
a = OBJ()
a.attr = a
objgraph.show_backrefs(a, max_depth=5, filename = "direct.dot")
def show_indirect_cycle_reference():
a, b = OBJ(), OBJ()
a.attr_b = b
b.attr_a = a
objgraph.show_backrefs(a, max_depth=5, filename = "indirect.dot")
if __name__ == '__main__':
if len(sys.argv) > 1:
show_direct_cycle_reference()
else:
show_indirect_cycle_reference()
運行上面的代碼,使用graphviz工具集(本文使用的是dotty)打開生成的兩個文件,direct.dot 和 indirect.dot,得到下面兩個圖
通過屬性名(attr, attr_a, attr_b)可以很清晰的看出循環引用是怎麼產生的
前面已經提到,對於一個對象,當沒有任何變量指向自己時,引用計數降到0,就會被釋放掉。我們以上面左邊那個圖爲例,可以看到,紅框裏面的OBJ對象想在有兩個引用(兩個入度),分別來自幀對象frame(代碼中,函數局部空間持有對OBJ實例的引用)、attr變量。我們再改一下代碼,在函數運行技術之後看看是否還有OBJ類的實例存在,引用關係是怎麼樣的:
# -*- coding: utf-8 -*-
import objgraph, sys
class OBJ(object):
pass
def direct_cycle_reference():
a = OBJ()
a.attr = a
if __name__ == '__main__':
direct_cycle_reference()
objgraph.show_backrefs(objgraph.by_type('OBJ')[0], max_depth=5, filename = "direct.dot"
修改後的代碼,OBJ實例(a)存在於函數的local作用域。因此,當函數調用結束之後,來自幀對象frame的引用被解除。從圖中可以看到,當前對象的計數器(入度)爲1,按照引用計數的原理,是不應該被釋放的,但這個對象在函數調用結束之後就是事實上的垃圾,這個時候就需要另外的機制來處理這種情況了。
python的世界,很容易就會出現循環引用,比如標準庫Collections中OrderedDict的實現(已去掉無關注釋):
class OrderedDict(dict):
def __init__(self, *args, **kwds):
if len(args) > 1:
raise TypeError('expected at most 1 arguments, got %d' % len(args))
try:
self.__root
except AttributeError:
self.__root = root = [] # sentinel node
root[:] = [root, root, None]
self.__map = {}
self.__update(*args, **kwds)
注意第8、9行,root是一個列表,列表裏面的元素之自己本身!
垃圾回收
這裏強調一下,本文中的的垃圾回收是狹義的垃圾回收,是指當出現循環引用,引用計數無計可施的時候採取的垃圾清理算法。
在python中,使用標記-清除算法(mark-sweep)和分代(generational)算法來垃圾回收。在《Garbage Collection for Python》一文中有對標記回收算法,然後在《Python內存管理機制及優化簡析》一文中,有對前文的翻譯,並且有分代回收的介紹。在這裏,引用後面一篇文章:
在Python中, 所有能夠引用其他對象的對象都被稱爲容器(container). 因此只有容器之間纔可能形成循環引用. Python的垃圾回收機制利用了這個特點來尋找需要被釋放的對象. 爲了記錄下所有的容器對象, Python將每一個 容器都鏈到了一個雙向鏈表中, 之所以使用雙向鏈表是爲了方便快速的在容器集合中插入和刪除對象. 有了這個 維護了所有容器對象的雙向鏈表以後, Python在垃圾回收時使用如下步驟來尋找需要釋放的對象:
對於每一個容器對象, 設置一個
gc_refs
值, 並將其初始化爲該對象的引用計數值.對於每一個容器對象, 找到所有其引用的對象, 將被引用對象的
gc_refs
值減1.執行完步驟2以後所有
gc_refs
值還大於0的對象都被非容器對象引用着, 至少存在一個非循環引用. 因此 不能釋放這些對象, 將他們放入另一個集合.在步驟3中不能被釋放的對象, 如果他們引用着某個對象, 被引用的對象也是不能被釋放的, 因此將這些 對象也放入另一個集合中.
此時還剩下的對象都是無法到達的對象. 現在可以釋放這些對象了.
關於分代回收:
除此之外, Python還將所有對象根據’生存時間’分爲3代, 從0到2. 所有新創建的對象都分配爲第0代. 當這些對象 經過一次垃圾回收仍然存在則會被放入第1代中. 如果第1代中的對象在一次垃圾回收之後仍然存貨則被放入第2代. 對於不同代的對象Python的回收的頻率也不一樣. 可以通過
gc.set_threshold(threshold0[, threshold1[, threshold2]])
來定義. 當Python的垃圾回收器中新增的對象數量減去刪除的對象數量大於threshold0時, Python會對第0代對象 執行一次垃圾回收. 每當第0代被檢查的次數超過了threshold1時, 第1代對象就會被執行一次垃圾回收. 同理每當 第1代被檢查的次數超過了threshold2時, 第2代對象也會被執行一次垃圾回收.
注意,threshold0,threshold1,threshold2的意義並不相同!
爲什麼要分代呢,這個算法的根源來自於weak generational hypothesis。這個假說由兩個觀點構成:首先是年親的對象通常死得也快,比如大量的對象都存在於local作用域;而老對象則很有可能存活更長的時間,比如全局對象,module, class。
垃圾回收的原理就如上面提示,詳細的可以看Python源碼,只不過事實上垃圾回收器還要考慮__del__,弱引用等情況,會略微複雜一些。
什麼時候會觸發垃圾回收呢,有三種情況:
1、達到了垃圾回收的閾值,Python虛擬機自動執行
2、手動調用gc.collect()
3、Python虛擬機退出的時候
對於垃圾回收,有兩個非常重要的術語,那就是reachable與collectable(當然還有與之對應的unreachable與uncollectable),後文也會大量提及。
reachable是針對python對象而言,如果從根集(root)能到找到對象,那麼這個對象就是reachable,與之相反就是unreachable,事實上就是隻存在於循環引用中的對象,Python的垃圾回收就是針對unreachable對象。
而collectable是針對unreachable對象而言,如果這種對象能被回收,那麼是collectable;如果不能被回收,即循環引用中的對象定義了__del__, 那麼就是uncollectable。Python垃圾回收對uncollectable對象無能爲力,會造成事實上的內存泄露。
gc module
這裏的gc(garbage collector)是Python 標準庫,該module提供了與上一節“垃圾回收”內容相對應的接口。通過這個module,可以開關gc、調整垃圾回收的頻率、輸出調試信息。gc模塊是很多其他模塊(比如objgraph)封裝的基礎,在這裏先介紹gc的核心API。
gc.enable(); gc.disable(); gc.isenabled()
開啓gc(默認情況下是開啓的);關閉gc;判斷gc是否開啓
gc.collection()
執行一次垃圾回收,不管gc是否處於開啓狀態都能使用
gc.set_threshold(t0, t1, t2); gc.get_threshold()
設置垃圾回收閾值; 獲得當前的垃圾回收閾值
注意:gc.set_threshold(0)也有禁用gc的效果
gc.get_objects()
返回所有被垃圾回收器(collector)管理的對象。這個函數非常基礎!只要python解釋器運行起來,就有大量的對象被collector管理,因此,該函數的調用比較耗時!
比如,命令行啓動python
>>> import gc
>>> len(gc.get_objects())
3749
gc.get_referents(*obj)
返回obj對象直接指向的對象
gc.get_referrers(*obj)
返回所有直接指向obj的對象
下面的實例展示了get_referents與get_referrers兩個函數
>>> class OBJ(object):
... pass
...
>>> a, b = OBJ(), OBJ()
>>> hex(id(a)), hex(id(b))
('0x250e730', '0x250e7f0')
>>> gc.get_referents(a)
[<class '__main__.OBJ'>]
>>> a.attr = b
>>> gc.get_referents(a)
[{'attr': <__main__.OBJ object at 0x0250E7F0>}, <class '__main__.OBJ'>]
>>> gc.get_referrers(b)
[{'attr': <__main__.OBJ object at 0x0250E7F0>}, {'a': <__main__.OBJ object at 0x0250E730>, 'b': <__main__.OBJ object at 0x0250E7F0>, 'OBJ': <class '__main__.OBJ'>, '__builtins__': <modu
le '__builtin__' (built-in)>, '__package__': None, 'gc': <module 'gc' (built-in)>, '__name__': '__main__', '__doc__': None}]
>>>
a, b都是類OBJ的實例,執行”a.attr = b”之後,a就通過‘’attr“這個屬性指向了b。
gc.set_debug(flags)
設置調試選項,非常有用,常用的flag組合包含以下
gc.DEBUG_COLLETABLE: 打印可以被垃圾回收器回收的對象
gc.DEBUG_UNCOLLETABLE: 打印無法被垃圾回收器回收的對象,即定義了__del__的對象
gc.DEBUG_SAVEALL:當設置了這個選項,可以被拉起回收的對象不會被真正銷燬(free),而是放到gc.garbage這個列表裏面,利於在線上查找問題
內存泄露
既然Python中通過引用計數和垃圾回收來管理內存,那麼什麼情況下還會產生內存泄露呢?有兩種情況:
第一是對象被另一個生命週期特別長的對象所引用,比如網絡服務器,可能存在一個全局的單例ConnectionManager,管理所有的連接Connection,如果當Connection理論上不再被使用的時候,沒有從ConnectionManager中刪除,那麼就造成了內存泄露。
第二是循環引用中的對象定義了__del__函數,這個在《程序員必知的Python陷阱與缺陷列表》一文中有詳細介紹,簡而言之,如果定義了__del__函數,那麼在循環引用中Python解釋器無法判斷析構對象的順序,因此就不錯處理。
在任何環境,不管是服務器,客戶端,內存泄露都是非常嚴重的事情。
如果是線上服務器,那麼一定得有監控,如果發現內存使用率超過設置的閾值則立即報警,儘早發現些許還有救。當然,誰也不希望在線上修復內存泄露,這無疑是給行駛的汽車換輪子,因此儘量在開發環境或者壓力測試環境發現並解決潛在的內存泄露。在這裏,發現問題最爲關鍵,只要發現了問題,解決問題就非常容易了,因爲按照前面的說法,出現內存泄露只有兩種情況,在第一種情況下,只要在適當的時機解除引用就可以了;在第二種情況下,要麼不再使用__del__函數,換一種實現方式,要麼解決循環引用。
那麼怎麼查找哪裏存在內存泄露呢?武器就是兩個庫:gc、objgraph
在上面已經介紹了gc這個模塊,理論上,通過gc模塊能夠拿到所有的被garbage collector管理的對象,也能知道對象之間的引用和被引用關係,就可以畫出對象之間完整的引用關係圖。但事實上還是比較複雜的,因爲在這個過程中一不小心又會引入新的引用關係,所以,有好的輪子就直接用吧,那就是objgraph。
objgraph
objgraph的實現調用了gc的這幾個函數:gc.get_objects(), gc.get_referents(), gc.get_referers(),然後構造出對象之間的引用關係。objgraph的代碼和文檔都寫得比較好,建議一讀。
下面先介紹幾個十分實用的API
def count(typename)
返回該類型對象的數目,其實就是通過gc.get_objects()拿到所用的對象,然後統計指定類型的數目。
def by_type(typename)
返回該類型的對象列表。線上項目,可以用這個函數很方便找到一個單例對象
def show_most_common_types(limits = 10)
打印實例最多的前N(limits)個對象,這個函數非常有用。在《Python內存優化》一文中也提到,該函數能發現可以用slots進行內存優化的對象
def show_growth()
統計自上次調用以來增加得最多的對象,這個函數非常有利於發現潛在的內存泄露。函數內部調用了gc.collect(),因此即使有循環引用也不會對判斷造成影響。
值得一提,該函數的實現非常有意思,簡化後的代碼如下:
def show_growth(limit=10, peak_stats={}, shortnames=True, file=None):
gc.collect()
stats = typestats(shortnames=shortnames)
deltas = {}
for name, count in iteritems(stats):
old_count = peak_stats.get(name, 0)
if count > old_count:
deltas[name] = count - old_count
peak_stats[name] = count
deltas = sorted(deltas.items(), key=operator.itemgetter(1),
reverse=True)
注意形參peak_stats使用了可變參數作爲默認形參,這樣很方便記錄上一次的運行結果。在《程序員必知的Python陷阱與缺陷列表》中提到,使用可變對象做默認形參是最爲常見的python陷阱,但在這裏,卻成爲了方便的利器!
def show_backrefs()
生產一張有關objs的引用圖,看出看出對象爲什麼不釋放,後面會利用這個API來查內存泄露。
該API有很多有用的參數,比如層數限制(max_depth)、寬度限制(too_many)、輸出格式控制(filename output)、節點過濾(filter, extra_ignore),建議使用之間看一些document。
def find_backref_chain(obj, predicate, max_depth=20, extra_ignore=()):
找到一條指向obj對象的最短路徑,且路徑的頭部節點需要滿足predicate函數 (返回值爲True)
可以快捷、清晰指出 對象的被引用的情況,後面會展示這個函數的威力
def show_chain():
將find_backref_chain 找到的路徑畫出來, 該函數事實上調用show_backrefs,只是排除了所有不在路徑中的節點。
查找內存泄露
在這一節,介紹如何利用objgraph來查找內存是怎麼泄露的
如果我們懷疑一段代碼、一個模塊可能會導致內存泄露,那麼首先調用一次obj.show_growth(),然後調用相應的函數,最後再次調用obj.show_growth(),看看是否有增加的對象。比如下面這個簡單的例子:
# -*- coding: utf-8 -*-
import objgraph
_cache = []
class OBJ(object):
pass
def func_to_leak():
o = OBJ()
_cache.append(o)
# do something with o, then remove it from _cache
if True: # this seem ugly, but it always exists
return
_cache.remove(o)
if __name__ == '__main__':
objgraph.show_growth()
try:
func_to_leak()
except:
pass
print 'after call func_to_leak'
objgraph.show_growth()
運行結果(我們只關心後一次show_growth的結果)如下:
wrapper_descriptor 1073 +13
member_descriptor 204 +5
getset_descriptor 168 +5
weakref 338 +3
dict 458 +3
OBJ 1 +1
代碼很簡單,函數開始的時候講對象加入了global作用域的_cache列表,然後期望是在函數退出之前從_cache刪除,但是由於提前返回或者異常,並沒有執行到最後的remove語句。從運行結果可以發現,調用函數之後,增加了一個類OBJ的實例,然而理論上函數調用結束之後,所有在函數作用域(local)中聲明的對象都改被銷燬,因此這裏就存在內存泄露。
當然,在實際的項目中,我們也不清楚泄露是在哪段代碼、哪個模塊中發生的,而且往往是發生了內存泄露之後再去排查,這個時候使用obj.show_most_common_types就比較合適了,如果一個自定義的類的實例數目特別多,那麼就可能存在內存泄露。如果在壓力測試環境,停止壓測,調用gc.collet,然後再用obj.show_most_common_types查看,如果對象的數目沒有相應的減少,那麼肯定就是存在泄露。
當我們定位了哪個對象發生了內存泄露,那麼接下來就是分析怎麼泄露的,引用鏈是怎麼樣的,這個時候就該show_backrefs出馬了,還是以之前的代碼爲例,稍加修改:
import objgraph
_cache = []
class OBJ(object):
pass
def func_to_leak():
o = OBJ()
_cache.append(o)
# do something with o, then remove it from _cache
if True: # this seem ugly, but it always exists
return
_cache.remove(o)
if __name__ == '__main__':
try:
func_to_leak()
except:
pass
objgraph.show_backrefs(objgraph.by_type('OBJ')[0], max_depth = 10, filename = 'obj.dot')
show_backrefs查看內存泄露
注意,上面的代碼中,max_depth參數非常關鍵,如果這個參數太小,那麼看不到完整的引用鏈,如果這個參數太大,運行的時候又非常耗時間。
然後打開dot文件,結果如下:
可以看到泄露的對象(紅框表示),是被一個叫_cache的list所引用,而_cache又是被__main__這個module所引用。
對於示例代碼,dot文件的結果已經非常清晰,但是對於真實項目,引用鏈中的節點可能成百上千,看起來非常頭大,下面用tornado起一個最最簡單的web服務器(代碼不知道來自哪裏,且沒有內存泄露,這裏只是爲了顯示引用關係),然後繪製socket的引用關關係圖,代碼和引用關係圖如下:
import objgraph
import errno
import functools
import tornado.ioloop
import socket
def connection_ready(sock, fd, events):
while True:
try:
connection, address = sock.accept()
print 'connection_ready', address
except socket.error as e:
if e.args[0] not in (errno.EWOULDBLOCK, errno.EAGAIN):
raise
return
connection.setblocking(0)
# do sth with connection
if __name__ == '__main__':
sock = socket.socket(socket.AF_INET, socket.SOCK_STREAM, 0)
sock.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1)
sock.setblocking(0)
sock.bind(("", 8888))
sock.listen(128)
io_loop = tornado.ioloop.IOLoop.current()
callback = functools.partial(connection_ready, sock)
io_loop.add_handler(sock.fileno(), callback, io_loop.READ)
#objgraph.show_backrefs(sock, max_depth = 10, filename = 'tornado.dot')
# objgraph.show_chain(
# objgraph.find_backref_chain(
# sock,
# objgraph.is_proper_module
# ),
# filename='obj_chain.dot'
# )
io_loop.start()
tornado_server實例
可見,代碼越複雜,相互之間的引用關係越多,show_backrefs越難以看懂。這個時候就使用show_chain和find_backref_chain吧,這種方法,在官方文檔也是推薦的,我們稍微改改代碼,結果如下:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 |
import objgraph _cache = [] class OBJ(object): pass def func_to_leak(): o = OBJ() _cache.append(o) # do something with o, then remove it from _cache if True: # this seem ugly, but it always exists return _cache.remove(o) if __name__ == '__main__': try: func_to_leak() except: pass # objgraph.show_backrefs(objgraph.by_type('OBJ')[0], max_depth = 10, filename = 'obj.dot') objgraph.show_chain( objgraph.find_backref_chain( objgraph.by_type('OBJ')[0], objgraph.is_proper_module ), filename='obj_chain.dot' ) |
上面介紹了內存泄露的第一種情況,對象被“非期望”地引用着。下面看看第二種情況,循環引用中的__del__, 看下面的代碼:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
# -*- coding: utf-8 -*- import objgraph, gc class OBJ(object): def __del__(self): print('Dangerous!') def show_leak_by_del(): a, b = OBJ(), OBJ() a.attr_b = b b.attr_a = a del a, b print gc.collect() objgraph.show_backrefs(objgraph.by_type('OBJ')[0], max_depth = 10, filename = 'del_obj.dot') |
上面的代碼存在循環引用,而且OBJ類定義了__del__函數。如果沒有定義__del__函數,那麼上述的代碼會報錯, 因爲gc.collect會將循環引用刪除,objgraph.by_type(‘OBJ’)返回空列表。而因爲定義了__del__函數,gc.collect也無能爲力,結果如下:
從圖中可以看到,對於這種情況,還是比較好辨識的,因爲objgraph將__del__函數用特殊顏色標誌出來,一眼就看見了。另外,可以看見gc.garbage(類型是list)也引用了這兩個對象,原因在document中有描述,當執行垃圾回收的時候,會將定義了__del__函數的類實例(被稱爲uncollectable object)放到gc.garbage列表,因此,也可以直接通過查看gc.garbage來找出定義了__del__的循環引用。在這裏,通過增加extra_ignore來排除gc.garbage的影響:
將上述代碼的最後一行改成:
Python
1 |
objgraph.show_backrefs(objgraph.by_type('OBJ')[0], extra_ignore=(id(gc.garbage),), max_depth = 10, filename = 'del_obj.dot') |
另外,也可以設置DEBUG_UNCOLLECTABLE 選項,直接將uncollectable對象輸出到標準輸出,而不是放到gc.garbage
循環引用
除非定義了__del__方法,那麼循環引用也不是什麼萬惡不赦的東西,因爲垃圾回收器可以處理循環引用,而且不準是python標準庫還是大量使用的第三方庫,都可能存在循環引用。如果存在循環引用,那麼Python的gc就必須開啓(gc.isenabled()返回True),否則就會內存泄露。但是在某些情況下,我們還是不希望有gc,比如對內存和性能比較敏感的應用場景,在這篇文章中,提到instagram通過禁用gc,性能提升了10%;另外,在一些應用場景,垃圾回收帶來的卡頓也是不能接受的,比如RPG遊戲。從前面對垃圾回收的描述可以看到,執行一次垃圾回收是很耗費時間的,因爲需要遍歷所有被collector管理的對象(即使很多對象不屬於垃圾)。因此,要想禁用GC,就得先徹底幹掉循環引用。
同內存泄露一樣,解除循環引用的前提是定位哪裏出現了循環引用。而且,如果需要在線上應用關閉gc,那麼需要自動、持久化的進行檢測。下面介紹如何定位循環引用,以及如何解決循環引用。
定位循環引用
這裏還是是用GC模塊和objgraph來定位循環引用。需要注意的事,一定要先禁用gc(調用gc.disable()), 防止誤差。
這裏利用之前介紹循環引用時使用過的例子: a, b兩個OBJ對象形成循環引用
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
# -*- coding: utf-8 -*- import objgraph, gc class OBJ(object): pass def show_cycle_reference(): a, b = OBJ(), OBJ() a.attr_b = b b.attr_a = a if __name__ == '__main__': gc.disable() for _ in xrange(50): show_cycle_reference() objgraph.show_most_common_types(20) |
運行結果(部分):
Python
1 2 3 |
wrapper_descriptor 1060 dict 555 OBJ 100 |
上面的代碼中使用的是show_most_common_types,而沒有使用show_growth(因爲growth會手動調用gc.collect()),通過結果可以看到,內存中現在有100個OBJ對象,符合預期。當然這些OBJ對象沒有在函數調用後被銷燬,不一定是循環引用的問題,也可能是內存泄露,比如前面OBJ對象被global作用域中的_cache引用的情況。怎麼排除是否是被global作用域的變量引用的情況呢,方法還是objgraph.find_backref_chain(obj),在__doc__中指出,如果找不到符合條件的應用鏈(chain),那麼返回[obj],稍微修改上面的代碼:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 |
# -*- coding: utf-8 -*- import objgraph, gc class OBJ(object): pass def show_cycle_reference(): a, b = OBJ(), OBJ() a.attr_b = b b.attr_a = a if __name__ == '__main__': gc.disable() for _ in xrange(50): show_cycle_reference() ret = objgraph.find_backref_chain(objgraph.by_type('OBJ')[0], objgraph.is_proper_module) print ret |
上面的代碼輸出:
Python
1 |
[<__main__.OBJ object at 0x0244F810>] |
驗證了我們的想法,OBJ對象不是被global作用域的變量所引用。
在實際項目中,不大可能到處用objgraph.show_most_common_types或者objgraph.by_type來排查循環引用,效率太低。有沒有更好的辦法呢,有的,那就是使用gc模塊的debug 選項。在前面介紹gc模塊的時候,就介紹了gc.DEBUG_COLLECTABLE 選項,我們來試試:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
# -*- coding: utf-8 -*- import gc, time class OBJ(object): pass def show_cycle_reference(): a, b = OBJ(), OBJ() a.attr_b = b b.attr_a = a if __name__ == '__main__': gc.disable() # 這裏是否disable事實上無所謂 gc.set_debug(gc.DEBUG_COLLECTABLE | gc.DEBUG_OBJECTS) for _ in xrange(1): show_cycle_reference() gc.collect() time.sleep(5) |
上面代碼第13行設置了debug flag,可以打印出collectable對象。另外,只用調用一次show_cycle_reference函數就足夠了(這也比objgraph.show_most_common_types方便一點)。在第16行手動調用gc.collect(),輸出如下:
Python
1 2 3 4 |
gc: collectable <OBJ 023B46F0> gc: collectable <OBJ 023B4710> gc: collectable <dict 023B7AE0> gc: collectable <dict 023B7930> |
注意:只有當對象是unreachable且collectable的時候,在collect的時候纔會被輸出,也就是說,如果是reachable,比如被global作用域的變量引用,那麼也是不會輸出的。
通過上面的輸出,我們已經知道OBJ類的實例存在循環引用,但是這個時候,obj實例已經被回收了。那麼如果我想通過show_backrefs找出這個引用關係,需要重新調用show_cycle_reference函數,然後不調用gc.collect,通過show_backrefs 和 by_type繪製。有沒有更好的辦法呢,可以讓我在一次運行中發現循環引用,並找出引用鏈?答案就是使用DEBUG_SAVEALL,下面爲了展示方便,直接在命令行中操作(當然,使用ipython更好)
Python
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 |
>>> import gc, objgraph >>> class OBJ(object): ... pass ... >>> def show_cycle_reference(): ... a, b = OBJ(), OBJ() ... a.attr_b = b ... b.attr_a = a ... >>> gc.set_debug(gc.DEBUG_SAVEALL| gc.DEBUG_OBJECTS) >>> show_cycle_reference() >>> print 'before collect', gc.garbage before collect [] >>> print gc.collect() 4 >>> >>> for o in gc.garbage: ... print o ... <__main__.OBJ object at 0x024BB7D0> <__main__.OBJ object at 0x02586850> {'attr_b': <__main__.OBJ object at 0x02586850>} {'attr_a': <__main__.OBJ object at 0x024BB7D0>} >>> >>> objgraph.show_backrefs(objgraph.at(0x024BB7D0), 5, filename = 'obj.dot') Graph written to obj.dot (13 nodes) >>> |
上面在調用gc.collect之前,gc.garbage裏面是空的,由於設置了DEBUG_SAVEALL,那麼調用gc.collect時,會將collectable對象放到gc.garbage。此時,對象沒有被釋放,我們就可以直接繪製出引用關係,這裏使用了objgraph.at,當然也可以使用objgraph.by_type, 或者直接從gc.garbage取對象,結果如下:
出了循環引用,可以看見還有兩個引用,gc.garbage與局部變量o,相信大家也能理解。
消滅循環引用
找到循環引用關係之後,解除循環引用就不是太難的事情,總的來說,有兩種辦法:手動解除與使用weakref。
手動解除很好理解,就是在合適的時機,解除引用關係。比如,前面提到的collections.OrderedDict:
Python
1 2 3 4 5 6 7 8 9 |
>>> root = [] >>> root[:] = [root, root, None] >>> >>> root [[...], [...], None] >>> >>> del root[:] >>> root [] |
更常見的情況,是我們自定義的對象之間存在循環引用:要麼是單個對象內的循環引用,要麼是多個對象間的循環引用,我們看一個單個對象內循環引用的例子:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
class Connection(object): MSG_TYPE_CHAT = 0X01 MSG_TYPE_CONTROL = 0X02 def __init__(self): self.msg_handlers = { self.MSG_TYPE_CHAT : self.handle_chat_msg, self.MSG_TYPE_CONTROL : self.handle_control_msg } def on_msg(self, msg_type, *args): self.msg_handlers[msg_type](*args) def handle_chat_msg(self, msg): pass def handle_control_msg(self, msg): pass |
上面的代碼非常常見,代碼也很簡單,初始化函數中爲每種消息類型定義響應的處理函數,當消息到達(on_msg)時根據消息類型取出處理函數。但這樣的代碼是存在循環引用的,感興趣的讀者可以用objgraph看看引用圖。如何手動解決呢,爲Connection增加一個destroy(或者叫clear)函數,該函數將 self.msg_handlers 清空(self.msg_handlers.clear())。當Connection理論上不在被使用的時候調用destroy函數即可。
對於多個對象間的循環引用,處理方法也是一樣的,就是在“適當的時機”調用destroy函數,難點在於什麼是適當的時機。
另外一種更方便的方法,就是使用弱引用weakref, weakref是Python提供的標準庫,旨在解決循環引用。
weakref模塊提供了以下一些有用的API:
(1)weakref.ref(object, callback = None)
創建一個對object的弱引用,返回值爲weakref對象,callback: 當object被刪除的時候,會調用callback函數,在標準庫logging (__init__.py)中有使用範例。使用的時候要用()解引用,如果referant已經被刪除,那麼返回None。比如下面的例子
1 2 3 4 5 6 7 8 9 10 11 12 |
# -*- coding: utf-8 -*- import weakref class OBJ(object): def f(self): print 'HELLO' if __name__ == '__main__': o = OBJ() w = weakref.ref(o) w().f() del o w().f() |
運行上面的代碼,第12行會拋出異常:AttributeError: ‘NoneType’ object has no attribute ‘f’。因爲這個時候被引用的對象已經被刪除了
(2)weakref.proxy(object, callback = None)
創建一個代理,返回值是一個weakproxy對象,callback的作用同上。使用的時候直接用 和object一樣,如果object已經被刪除 那麼跑出異常 ReferenceError: weakly-referenced object no longer exists。
1 2 3 4 5 6 7 8 9 10 11 12 |
# -*- coding: utf-8 -*- import weakref class OBJ(object): def f(self): print 'HELLO' if __name__ == '__main__': o = OBJ() w = weakref.proxy(o) w.f() del o w.f() |
注意第10行 12行與weakref.ref示例代碼的區別
(3)weakref.WeakSet
這個是一個弱引用集合,當WeakSet中的元素被回收的時候,會自動從WeakSet中刪除。WeakSet的實現使用了weakref.ref,當對象加入WeakSet的時候,使用weakref.ref封裝,指定的callback函數就是從WeakSet中刪除。感興趣的話可以直接看源碼(_weakrefset.py),下面給出一個參考例子:
1 2 3 4 5 6 7 8 9 10 11 12 13 |
# -*- coding: utf-8 -*- import weakref class OBJ(object): def f(self): print 'HELLO' if __name__ == '__main__': o = OBJ() ws = weakref.WeakSet() ws.add(o) print len(ws) # 1 del o print len(ws) # 0 |
(4)weakref.WeakValueDictionary, weakref.WeakKeyDictionary
實現原理和使用方法基本同WeakSet
總結
本文的篇幅略長,首選是簡單介紹了python的內存管理,重點介紹了引用計數與垃圾回收,然後闡述Python中內存泄露與循環引用產生的原因與危害,最後是利用gc、objgraph、weakref等工具來分析並解決內存泄露、循環引用問題。