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

Основная идея:

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

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

В Android (например, в ART) используется подобный подход с дополнительными оптимизациями для повышения производительности.

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