Механизм сборки мусора (Garbage Collector) определяет, какие объекты больше не используются, с помощью отслеживания достижимости объектов из корневых ссылок (root references). Если объект не достижим ни из одной корневой ссылки (например, из стека, глобальных переменных или регистров), значит, на него нет ссылок в программе, и он считается мусором.

Пример метода — алгоритм обхода в глубину (mark-and-sweep):

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

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

Каким образом механизм сборки мусора определяет, какие объекты больше не используются в памяти?