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

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

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

Примеры GC roots:

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

Алгоритм работает в несколько этапов:

1. Marking (Пометка): Сборщик мусора проходит по всему графу объектов, начиная от GC roots, и помечает все достижимые объекты.
2. Sweeping (Очистка): После пометки сборщик мусора находит все непомеченные (недостижимые) объекты и удаляет их, освобождая память.

В более современных сборщиках мусора могут использоваться и другие техники (например, поколения), но базовый принцип определения достижимости остается ключевым.