Что хотят услышать интервьюеры:

Сборщик мусора определяет удаляемые объекты не по счетчику ссылок, а по достижимости: если до объекта нельзя добраться из корней приложения, он считается мусором. Корни — это, например, локальные переменные потоков, статические поля и ссылки из нативного кода. Неподдерживаемые объектом цепочки ссылок становятся кандидатами на удаление.

Определение:

В Java GC обычно использует анализ достижимости. Сначала он находит набор корневых объектов, затем проходит по всем ссылкам от них. Все объекты, до которых можно добраться по цепочке ссылок, считаются живыми. Все, что не достижимо из корней, считается недоступным и может быть освобождено.

Пример использования:

public class Demo {
    static Object staticRef = new Object();

    public static void main(String[] args) {
        Object a = new Object();
        Object b = new Object();
        a = b;        // старый объект, на который ссылался a, становится недостижимым
        b = null;     // объект, на который ссылался b, тоже может стать недостижимым
        // GC позже сможет удалить все объекты, на которые больше нет достижимых ссылок
    }
}

Здесь объект, созданный до присваивания a = b, теряет последнюю ссылку и становится кандидатом на сборку. Аналогично, после b = null объект, на который указывал b, тоже может стать недостижимым, если на него больше нет других ссылок.

Пояснение кода:

В этом примере код показывает, как объект перестает быть достижимым:

staticRef — статическое поле, оно считается корнем и удерживает объект в памяти, пока класс загружен.
Object a = new Object(); создает объект и связывает его с локальной переменной a.
Object b = new Object(); создает другой объект и связывает его с b.
a = b; после присваивания старая ссылка, которая была в a, теряется, если других ссылок на тот объект нет.
b = null; убирает ссылку на объект, и если он больше нигде не доступен, GC может его удалить.

Код не требует сложной логики — важно понять, что сборщик смотрит не на сам факт существования объекта, а на наличие путей к нему от корней.

Ключевые моменты:

GC удаляет объекты по признаку недостижимости, а не по времени жизни.
Отправная точка анализа — корневые ссылки: локальные переменные, статические поля, ссылки из потоков и JVM.
Если до объекта нельзя добраться по цепочке ссылок, он становится кандидатом на удаление.
Объект с циклическими ссылками тоже может быть собран, если весь цикл недостижим из корней.
Точное время освобождения памяти не гарантируется: GC решает только, что можно убрать, а не когда именно это произойдет.

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