Что такое корни (roots) сборщика мусора и откуда начинается маркировка?

Что называют корнями (roots) сборщика мусора и с чего начинается маркировка?

• GC: управление памятью во время работы рантайма
• Корни (roots) — это объекты или ссылки, доступные программе в текущий момент
• К ним обычно относят стек вызовов, регистры процессора и статические переменные
• Сборщик начинает маркировку с корней и отмечает все достижимые объекты
• Если от корней нельзя проложить путь к объекту, он считается мусором
• Обход графа объектов лежит в основе алгоритма mark-and-sweep
• Благодаря этому сборщик может эффективно освобождать неиспользуемую память

Таким образом, корни определяют безопасную отправную точку для поиска живых объектов.

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

Главный ответ

Корни (roots) сборщика мусора — это отправная точка, с которой выполняется поиск всех живых объектов в памяти и начинается маркировка в алгоритме сборки мусора с маркировкой и очисткой. Они представлены ссылками, доступными из текущего состояния выполнения программы: такие ссылки могут находиться в стеке вызовов, регистрах процессора, глобальных переменных, а иногда и в специальных корневых объектах. Сборщик стартует с корней и обходит граф объектов, чтобы определить, какие из них продолжают использоваться и потому не подлежат удалению.

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

• Маркировка начинается с корней — сборщик помечает как живые объекты, на которые указывают корни, а затем последовательно обрабатывает все объекты, достижимые из уже отмеченных.
• Живыми считаются объекты, для которых существует путь от корней. Такие объекты сохраняются, тогда как объекты без подобного пути признаются мусором.
• К корням относятся стек, глобальные переменные и регистры — сканирование этих областей необходимо, поскольку именно там находятся ссылки, актуальные для выполняющейся программы.

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

В реализациях Java (HotSpot JVM) и V8 (Node.js, Chrome) к корням относятся локальные переменные в стеках тредов, глобальные объекты и корни JNI. Поиск корней — значимая и чувствительная к производительности стадия сборки мусора. Её часто ускоряют с помощью специализированных структур данных и алгоритмов, которые помогают уменьшить паузы и overhead.