Как устроено управление памятью в Python на базовом уровне?

Question

Python управляет памятью автоматически: объекты создаются в куче, а освобождение обычно происходит через подсчёт ссылок. Когда на объект больше нет ссылок, его память может быть освобождена. Дополнительно есть сборщик мусора, который помогает находить циклические ссылки. При этом Python часто переиспользует память внутри процесса и не обязан немедленно возвращать её операционной системе.

YeaHub · Accepted Answer

Общая модель памятиВ большинстве реализаций Python (особенно CPython) управление памятью строится вокруг нескольких идей:Объекты создаются в куче (heap), а переменные хранят ссылки на нихОсновной механизм освобождения — подсчёт ссылок (reference counting)Дополнительный механизм — сборщик циклов (garbage collector для cyclic references)Выделение мелких блоков оптимизировано собственным аллокаторомПодсчёт ссылок (reference counting)Каждый объект в CPython имеет счётчик ссылок: сколько «ссылок» на него существует. Примеры, которые увеличивают счётчик:присваивание переменнойдобавление объекта в список/словарьпередача в функцию (временно)Когда счётчик становится равен нулю, объект может быть уничтожен сразу же.Пример логики:a = []
b = a      # +1 ссылка
del a      # -1 ссылка, но b всё ещё держит объект
del b      # теперь ссылок 0, объект можно освободить
Проблема циклических ссылокПодсчёт ссылок не справляется с циклами: объекты могут ссылаться друг на друга и не обнулять счётчик.a = []
a.append(a)  # список содержит ссылку на самого себя (цикл)
Даже если удалить внешнюю переменную, внутри остаётся ссылка «сам на себя», и счётчик не станет нулём. Для этого нужен отдельный механизм — сборщик циклов.Аллокатор Python и “почему память не вернулась ОС”Даже когда объекты уничтожены, Python может:оставить освобождённые блоки в своих пулахпереиспользовать их для новых объектовне отдавать память операционной системе немедленноЭто часто выглядит как “память растёт и не падает”, но на деле процесс просто держит резерв, чтобы быстрее обслуживать будущие аллокации.Практические следствия для разработчикаНа базовом уровне важно помнить:Удаление переменной (del) удаляет ссылку, а не обязательно объектЦиклы могут требовать участия GCПики памяти могут не исчезать сразу из метрик ОСБольшие структуры лучше освобождать, убирая ссылки и избегая циклов там, где это возможноВыводВ CPython память управляется сочетанием подсчёта ссылок и сборщика циклов, а выделение оптимизировано внутренним аллокатором. Это даёт предсказуемость освобождения большинства объектов, но не гарантирует немедленного уменьшения потребления памяти на уровне ОС.