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

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

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