Cum determină mecanismul de colectare a gunoiului că un obiect trebuie eliminat din memorie?

Mecanismul de colectare a gunoiului (Garbage Collector) determină că un obiect trebuie șters din memorie în funcție de disponibilitatea sa pentru program. Dacă nu mai există referințe active către obiect (adică, este inaccesibil), înseamnă că nu este necesar și poate fi șters.

Principalul mod de a determina acest lucru este parcurgerea grafului de obiecte, începând cu referințele rădăcină (de exemplu, stiva de apeluri, variabile statice). Toate obiectele accesibile prin referințe sunt considerate vii. Obiectele inaccesibile sunt considerate gunoi și sunt eligibile pentru ștergere.

Exemplu de algoritm simplificat:

• Începeți cu obiectele rădăcină.
• Marcați toate obiectele accesibile din acestea.
• Toate obiectele ne-marcate sunt considerate gunoi.
• Eliberați memoria ocupată de aceste obiecte.

În Android (bazat pe JVM), se utilizează, de exemplu, algoritmul de marcaj și curățare (Mark-and-Sweep) și alte optimizări.