Как garbage collector понимает, что объект больше не нужен?

Question

Garbage Collector считает объект ненужным, если до него нельзя добраться из корневых ссылок.
Корневые ссылки включают локальные переменные стека, статические поля и активные потоки.
Если объект недостижим, он может быть удалён при очередном запуске GC.
GC не удаляет объекты по таймеру или по счётчику ссылок.
Удаление происходит автоматически и недетерминированно.

YeaHub · Accepted Answer

Чтобы понять логику GC, важно сначала разобраться с понятием достижимости.ОпределениеДостижимость (reachability) — это возможность добраться до объекта, начиная от корневых ссылок JVM.Что такое GC RootsGC Roots — это точки входа, от которых GC начинает обход объектов:локальные переменные и параметры методов в stackстатические поля классовактивные потокиJNI-ссылкиАлгоритм определения «мусора»GC работает по следующей логике:Берёт все GC RootsОбходит граф объектов по ссылкамПомечает все достижимые объектыНедостижимые объекты считаются мусоромПочему не используется подсчёт ссылокПодсчёт ссылок не подходит из-за:циклических ссылоквысокой стоимости обновления счётчиковВажные особенностиНаличие ссылки не гарантирует «живость», если она недостижима из GC RootsGC может не запускаться сразу после потери ссылокSystem.gc() не даёт гарантии очисткиВыводОбъект считается ненужным не по количеству ссылок, а по факту недостижимости из корней JVM.