Çöp toplama mekanizması nesnenin bellekte silinmesi gerektiğini nasıl belirler?

Çöp Toplama Mekanizması (Garbage Collector), bir nesnenin bellekte silinmesi gerektiğine, nesnenin programa erişilebilir olup olmamasına göre karar verir. Nesneye aktif referanslar kalmadıysa (yani ulaşılmazsa), bu nesnenin gerekmediği ve silinebileceği anlamına gelir.

Bunun belirlenmesinin temel yolu, nesne grafını kök referanslardan (örneğin, çağrı yığını, statik değişkenler) başlayarak dolaşmaktır. Referanslar aracılığıyla erişilebilen tüm nesneler canlı kabul edilir. Erişilemeyen nesneler ise çöp olarak kabul edilir ve silinmek üzere işaretlenir.

Basitleştirilmiş bir algoritma örneği:

• Kök nesnelerden başla.
• Köklerden erişilebilen tüm nesneleri işaretle.
• İşaretlenmeyen tüm nesneler çöp olarak kabul edilir.
• Bu nesnelerin kapladığı belleği serbest bırak.

Android'de (JVM tabanlı) örneğin, Mark-and-Sweep algoritması ve diğer optimizasyonlar kullanılır.