Как механизмът за събиране на отпадъци определя, че обектът трябва да бъде изтрит от паметта?

Механизмът за събиране на боклука (Garbage Collector) определя, че обект трябва да бъде изтрит от паметта въз основа на това дали е достъпен за програмата. Ако няма активни препратки към обекта (т.е. той е недостъпен), това означава, че той не е нужен и може да бъде изтрит.

Основният начин за определяне е обхождане на графа на обектите, започвайки от кореновите препратки (например, стек на извиквания, статични променливи). Всички обекти, до които може да се достигне чрез препратки, се считат за живи. Обектите, до които не може да се достигне, се считат за отпадъци и подлежат на изтриване.

Пример за опростен алгоритъм:

• Започнете с кореновите обекти.
• Маркирайте всички обекти, достижими от тях.
• Всички непометени обекти се считат за отпадъци.
• Освободете паметта, заета от тези обекти.

В Android (на базата на JVM) се използва, например, алгоритъм за маркиране и почистване (Mark-and-Sweep) и други оптимизации.