¿Cómo determina el mecanismo de recolección de basura que un objeto ya no está accesible y debe ser eliminado?

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

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

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

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

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