Python GC có xử lý các chu trình tham chiếu như thế này không?

Question

Sử dụng objgraph, tôi tìm thấy một loạt các đối tượng như thế này:

rác thu thỏa thuận Will Python với chu kỳ như thế này, hoặc nó sẽ bị rò rỉ?

Một cái nhìn hơi rộng của vòng lặp:

Answer 1

Cơ chế tính tham chiếu chuẩn của Python không thể chu kỳ miễn phí, do đó cấu trúc trong ví dụ của bạn sẽ bị rò rỉ.

Các supplemental garbage collection facility, tuy nhiên, được kích hoạt theo mặc định và sẽ có thể giải phóng cấu trúc đó, nếu không ai trong số các thành phần của nó có thể truy cập từ bên ngoài nữa và họ không có phương pháp __del__().

Nếu có, trình thu gom rác will not free them vì không thể xác định một lệnh an toàn để chạy các phương thức __del__() này.

Answer 2

GC Python được thiết kế để đi qua tất cả các đối tượng trực tiếp để xác định vị trí và loại bỏ chu kỳ tài liệu tham khảo không có tài liệu tham khảo bên ngoài.

Bạn có thể xác thực đó là những gì đang xảy ra bằng cách chạy gc.collect() và sau đó in gc.garbage và gc.get_objects.

Answer 3

Nếu bạn sử dụng weakrefs cho con trỏ cha mẹ của bạn, sau đó GC sẽ xảy ra bình thường.

Answer 4

Để mở rộng câu trả lời của Frédéric một chút, the "reference counts" section tài liệu giải thích phát hiện chu trình bổ sung độc đáo.

Kể từ khi tôi tìm thấy giải thích việc một cách tốt để xác nhận tôi hiểu nó, sau đây là một số ví dụ ... Với hai loại cổ phiếu này:

class WithDel(object): 
    def __del__(self): 
     print "deleting %s object at %s" % (self.__class__.__name__, id(self)) 


class NoDel(object): 
    pass 

Tạo một đối tượng và làm mất tài liệu tham khảo từ a gây nên các phương pháp __del__ , nhờ vào ref đếm:

>>> a = WithDel() 
>>> a = None # leaving the WithDel object with no references 
deleting WithDel object at 4299615184 

Nếu chúng ta thực hiện một vòng lặp tham khảo giữa hai vật không có phương pháp__del__, tất cả vẫn còn rò rỉ-miễn phí, t thời gian của mình nhờ vào việc phát hiện chu kỳ.Đầu tiên, cho phép đầu ra thu gom rác debug:

>>> import gc 
>>> gc.set_debug(gc.DEBUG_COLLECTABLE | gc.DEBUG_UNCOLLECTABLE | gc.DEBUG_OBJECTS) 

Sau đó thực hiện một vòng lặp tham khảo giữa hai đối tượng:

>>> a = NoDel(); b = NoDel() 
>>> a.other = b; b.other = a # cyclical reference 
>>> a = None; b = None # Leave only the reference-cycle 
>>> gc.collect() 
gc: collectable <NoDel 0x10046ed50> 
gc: collectable <NoDel 0x10046ed90> 
gc: collectable <dict 0x100376c20> 
gc: collectable <dict 0x100376b00> 
4 
>>> gc.garbage 
[] 

(các dict là từ các đối tượng nội __dict__ thuộc tính)

Tất cả là tốt, cho đến thậm chí một trong các đối tượng trong chu kỳ có chứa phương thức __del__:

>>> a = NoDel(); b = WithDel() 
>>> a.other = b; b.other = a 
>>> a = None; b = None 
>>> gc.collect() 
gc: uncollectable <WithDel 0x10046edd0> 
gc: uncollectable <dict 0x100376b00> 
gc: uncollectable <NoDel 0x10046ed90> 
gc: uncollectable <dict 0x100376c20> 
4 
>>> gc.garbage 
[<__main__.WithDel object at 0x10046edd0>] 

Như Phaolô đã đề cập, các vòng lặp có thể được chia với một weakref:

>>> import weakref 
>>> a = NoDel(); b = WithDel() 
>>> a.other = weakref.ref(b) 
>>> b.other = a # could also be a weakref 

Sau đó, khi b tham chiếu đến đối tượng WithDel bị mất, nó bị xóa, mặc dù chu kỳ:

>>> b = None 
deleting WithDel object at 4299656848 
>>> a.other 
<weakref at 0x10045b9f0; dead> 

Ồ, objgraph sẽ có ích indicated the problematic __del__ method like this