Как сборщик мусора определяет, что объект может быть уничтожен?

Сборщик мусора в Android (JVM) использует алгоритм Reachability Analyzers. Он определяет досягаемость (reachability) объектов из "корней" (GC roots).

Объект не может быть уничтожен, если он достижим из любого GC root. Объект может быть уничтожен, если он недостижим из любого GC root.

Примеры GC roots:

• Локальные переменные в активных методах потоков.
• Статические переменные классов.
• Ссылки из JNI (Java Native Interface) кода.
• Потоки (Threads