¿Cómo determina el recolector de basura que un objeto ya no es utilizado por el programa?

Сборщик мусора определяет, что объект больше не используется программой, исходя из того, что на него нет активных ссылок из корневых объектов (root set). Обычно это значит, что объект недостижим из стеков вызовов, глобальных переменных или других корневых точек доступа. Если объект не достижим, значит программа не сможет к нему обратиться, и его память можно освободить.

Пример: в Android (Java/Kotlin) сборщик мусора использует алгоритмы обхода графа объектов, начиная с корней, и помечает все достижимые объекты. Все, что не помечено, считается мусором и удаляется.