¿Cómo determina el mecanismo de recolección de basura qué objetos ya no se utilizan en la memoria?

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

Пример метода — алгоритм обхода в глубину (mark-and-sweep):

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

Таким образом, сборщик мусора автоматически освобождает память, занятую объектами, которые программа больше не использует.