Как сборщик мусора в Python определяет, какие объекты можно удалить?

Как устроен сборщик мусора в Python?

• управление памятью основано на подсчёте ссылок (reference counting)
• для каждого объекта ведётся счётчик ссылок; когда он становится равен 0, объект удаляется
• освобождение памяти после исчезновения всех ссылок — основной механизм
• дополнительно реализован сборщик циклических ссылок для циклических ссылок (reference cycles)
• сборщик циклов находит циклические группы объектов, которые стали недоступны программе
• сборщик циклов запускается периодически и проверяет поколения объектов (generational GC)
• оптимизация достигается разделением объектов на поколения, что уменьшает накладные расходы сборки
• сочетание reference counting & generational GC обеспечивает эффективную работу и позволяет обнаруживать циклы

TOTAL: 7 bullets

Развёрнутый ответ

Краткий ответ

В Python память контролируют несколько механизмов. В их основе находятся подсчёт ссылок (reference counting) и обнаружение циклических ссылок с помощью сборщика циклов (garbage collector). Объект считается мусором и может быть удалён, когда в работающем коде не остаётся активных ссылок на него.

Главную роль играет подсчёт ссылок. У каждого объекта есть собственный счётчик: при появлении новой ссылки его значение увеличивается, а при удалении ссылки — уменьшается. Как только счётчик обнуляется, память, занятая объектом, освобождается немедленно.

При этом одного подсчёта ссылок недостаточно для циклических структур. Например, объект A может ссылаться на B, а B — на A. Для обнаружения таких случаев Python дополнительно использует модуль gc, который находит и удаляет циклы, состоящие из недоступных объектов.

Основные моменты

• Reference counting — базовый механизм управления памятью. При нулевом количестве ссылок объект удаляется сразу; этот подход быстр и эффективен, но не обрабатывает циклы.
• Cycle detector в модуле gc — периодически выполняет поиск объектов, объединённых в циклы и не имеющих внешних ссылок, после чего освобождает занятую ими память.
• Особенность CPython (стандартной реализации) заключается в том, что подсчёт ссылок встроен непосредственно в интерпретатор. Это снижает затраты на управление памятью, однако для обработки циклов необходим дополнительный сборщик.
• Производительностью можно управлять вручную через gc.collect(), а также настраивать поколения (generation-based GC) для оптимизации работы.

Практический контекст

В большинстве приложений на Python подсчёт ссылок своевременно удаляет объекты с минимальной задержкой. Однако в системах с большим числом взаимосвязанных объектов — например, в web-серверах или парсерах — необходимо контролировать неразорванные циклы, поскольку они могут привести к утечкам памяти. Для этого применяют встроенный модуль gc и инструменты профилирования утечек. Многие распространённые библиотеки и фреймворки учитывают особенности GC Python при оптимизации производительности.