Как сборщик мусора проверяет, что переменная используется

Сборщик мусора (GC) в Java определяет, используется ли объект, через механизм достижимости. Объект считается живым, если на него есть ссылка из корневых точек (GC Roots), таких как:

• Локальные переменные в стеке
• Статические поля
• Активные потоки
• JNI-ссылки

Пример:

void method() {
    Object obj = new Object(); // obj - живой (есть ссылка в стеке)
    obj = null; // объект становится кандидатом на удаление
}

GC использует алгоритм маркировки, помечая все достижимые объекты, а затем удаляет немаркированные. В современных JVM (ZGC, Shenandoah) это происходит параллельно с работой приложения.