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

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

Пример упрощённого алгоритма:

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

В Android (на базе JVM) используется, например, алгоритм маркировки и очистки (Mark-and-Sweep) и другие оптимизации.

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