garbage collection в рантайме

Garbage collection в рантайме (GC, сборка мусора) — это автоматический механизм управления памятью, при котором среда выполнения (runtime) самостоятельно отслеживает, какие объекты в куче (heap) больше не достижимы из программы, и освобождает занятую ими память. Garbage collection в рантайме избавляет разработчика от ручного управления памятью, устраняя целые классы ошибок: утечки памяти, double free, use-after-free.

Основные алгоритмы GC

Reference Counting — каждый объект хранит счётчик ссылок. Когда счётчик падает до нуля, объект освобождается немедленно. Прост в реализации, детерминирован, не требует STW-пауз. Фундаментальный недостаток — не может собирать циклические ссылки без дополнительного механизма. Используется в CPython (с дополнительным cyclic GC для циклов), Swift, Objective-C.

Mark-and-Sweep — двухфазный алгоритм: фаза Mark обходит граф достижимости от корневых объектов (стек, глобальные переменные) и помечает все живые объекты. Фаза Sweep проходит всю кучу и освобождает непомеченные. Собирает циклы, но классически требует Stop-the-World (STW) паузы — остановки всех потоков.

Tri-color Mark-and-Sweep — инкрементальная/конкурентная версия: объекты делятся на белые (ещё не помечены), серые (помечены, но потомки нет) и чёрные (помечены с потомками). Инвариант: чёрный объект не ссылается на белый. Позволяет проводить marking конкурентно с выполнением программы. Используется в Go.

Generational GC — гипотеза поколений: большинство объектов умирают молодыми. Куча делится на поколения (young/Eden, survivor, old generation). Minor GC часто собирает только young generation — быстро. Major/Full GC редко собирает всю кучу — дорого. JVM (Java, Kotlin), .NET CLR используют generational GC.

Copying GC — живые объекты копируются в новую область памяти, старая освобождается целиком. Автоматически компактирует кучу, устраняя фрагментацию. Используется для young generation в большинстве JVM GC.

Stop-the-World паузы

STW — период, когда GC останавливает все application-потоки для безопасного обхода кучи. В ранних реализациях STW-паузы могли длиться секунды для больших heap. Современные GC стремятся минимизировать STW:

• Go GC: конкурентный marking, типичные STW-паузы < 1ms
• Java G1 GC: цель < 200ms по умолчанию, ZGC и Shenandoah — < 10ms
• Java ZGC (Java 15+): sub-millisecond pauses при heap в сотни ГБ
• .NET GC: server mode, background GC для минимизации пауз

GC в разных языках

• Java/JVM: богатый выбор GC — Serial, Parallel, G1 (по умолчанию), ZGC, Shenandoah. Настройка через JVM-флаги (-Xmx, -XX:+UseZGC)
• Go: конкурентный tricolor mark-and-sweep, GOGC переменная управляет агрессивностью (по умолчанию 100)
• Python: reference counting + cyclic GC для циклов. Глобальный GIL сам по себе упрощает reference counting
• JavaScript (V8): generational GC (Orinoco) с concurrent marking
• C#/.NET: generational GC с server и workstation режимами
• Rust: нет GC — compile-time ownership и borrowing

GC Tuning

Настройка GC — искусство балансирования между throughput, latency и memory footprint. Уменьшение heap size повышает частоту GC-циклов, снижая throughput. Увеличение heap снижает частоту, но увеличивает размер STW-пауз. Для latency-sensitive систем выбирают ZGC или Shenandoah. Для throughput-первых — G1 или Parallel GC.

Memory profiling инструменты: Java Flight Recorder, async-profiler, pprof (Go), memory_profiler (Python) — помогают найти утечки памяти и объекты с неожиданно длинным временем жизни.

Оптимизация под GC: практические техники

Понимание GC помогает писать более эффективный код. Для Java: предпочитайте примитивные типы объектным аналогам (int vs Integer) — примитивы живут на стеке, не в куче. Используйте object pooling для часто создаваемых объектов (ByteBuffer, connection pools). StringBuilder вместо конкатенации строк в циклах. Для Go: sync.Pool для переиспользования буферов, избегайте лишних аллокаций в горячих путях — escape analysis покажет, что уходит в heap. Для Python: slots для классов с известными атрибутами сокращает overhead per-instance. weak references для кэшей без удержания объектов. Profiling инструменты (async-profiler, pprof, tracemalloc) показывают реальную картину аллокаций.