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

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

• Автоматически освобождает память, выделенную JVM
• Находит объекты, на которые больше нет ссылок и которые стали недостижимыми
• Организует кучу по поколениям: Young, Old и Permanent (метаданные)
• Базовый подход: mark-and-sweep (пометка объектов и последующая очистка)
• Young gen — быстрое выделение памяти и частая сборка (Minor GC)
• Old gen — очистка выполняется реже и сложнее (Full GC), при этом нужна компактация
• Для оптимизации задержек применяются разные алгоритмы: Serial, Parallel, CMS и G1
• Поддерживает безопасность работы за счёт пауз stop-the-world
• Снимает с разработчика задачу ручного управления памятью, уменьшая утечки и ошибки
• Помогает сохранять производительность и стабильность Java-приложений

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

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

Сборщик мусора (Garbage Collector, GC) в Java представляет собой механизм автоматического управления памятью. Он освобождает место в куче, занятое неиспользуемыми объектами, благодаря чему предотвращает утечки памяти и уменьшает число ошибок, характерных для ручного управления памятью. GC функционирует на уровне JVM: он периодически определяет, какие объекты больше недостижимы из программы, и освобождает выделенную для них память.

Основные аспекты

• Heap разделён на поколения: Young Generation (молодое поколение), Old Generation (старое поколение), а начиная с Java 8+ для метаданных также используется Metaspace. В состав молодого поколения входят Eden и два Survivor пространства, что позволяет быстрее очищать память недавно созданных объектов.
• Алгоритмы GC: обычно применяется Generational GC, основанный на двух ключевых видах сборки. Minor GC очищает молодое поколение часто и быстро, тогда как Full (Major) GC работает со старым поколением реже, но требует больше ресурсов. В современных JVM (Java 11+) широко используются G1 (Garbage-First), ZGC и Shenandoah — версии GC, рассчитанные на малые паузы и многопроцессорные системы.
• Корневая достижимость (Reachability): объект считается живым, если до него можно добраться из корневых точек, включая переменные стека, статические поля и JNI. Объекты, для которых такой путь отсутствует, подлежат сборке.
• Stop-The-World паузы: на этапе очистки GC приостанавливает выполнение приложения. Современные сборщики стараются сократить продолжительность таких остановок, что особенно важно для приложений, чувствительных к latency.

Практическое применение

В высоконагруженных проектах часто выбирают G1 GC (включен по умолчанию в Java 11+): он автоматически поддерживает баланс между throughput и latency. Когда требуется крайне низкая задержка, используют ZGC и Shenandoah (Java 15+); они обеспечивают паузы длительностью в миллисекунды даже при очень больших heap-ах (тестировалось на heap >100GB). Грамотная настройка параметров JVM в сочетании с пониманием жизненного цикла объектов позволяет эффективнее расходовать память и уменьшать накладные расходы GC.