Содержит ли Python GC эталонные циклы?

Ответ 1

Механизм подсчета стандартных ссылок Python не может освобождать циклы, поэтому структура в вашем примере будет протекать.

дополнительный объект сбора мусора, однако, включен по умолчанию и должен иметь возможность освободить эту структуру, если ни один из ее компонентов не является больше доступны снаружи, и у них нет методов __del__().

Если они это сделают, сборщик мусора будет не освобождать их, поскольку он не может определить безопасный порядок запуска эти методы __del__().

Ответ 2

Чтобы продлить на Frédéric немного ответ, раздел "ссылок на ссылки" в документах прекрасно описывает добавление дополнительного цикла.

Так как я нахожу объяснение вещей хорошим способом подтвердить, что я это понимаю, вот несколько примеров... С этими двумя классами:

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


class NoDel(object):
    pass

Создание объекта и потеря ссылки из a запускает метод __del__, благодаря подсчету ref:

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

Если мы создадим опорный цикл между двумя объектами без метода __del__, все это все еще негерметично, на этот раз благодаря обнаружению цикла. Сначала включите вывод отладки сборки мусора:

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

Затем создайте опорный цикл между двумя объектами:

>>> 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
[]

(dict относится к внутреннему атрибуту __dict__)

Все нормально, пока даже один из объектов цикла не содержит метод __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>]

Как сказал Павел, цикл может быть разбит на weakref:

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

Затем, когда ссылка b на объект WithDel теряется, она удаляется, несмотря на цикл:

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

О, objgraph мог бы помочь указал на проблемный __del__, как это

Ответ 3

Python GC предназначен для перемещения всех живых объектов для поиска и устранения опорных циклов без внешних ссылок.

Вы можете проверить, что это происходит, запустив gc.collect(), а затем напечатав gc.garbage и gc.get_objects.

Ответ 4

Если вы используете weakrefs для своих родительских указателей, GC будет происходить нормально.