როგორ განსაზღვრავს ნაგვის შეგროვების მექანიზმი, რომ ობიექტი უნდა წაიშალოს მეხსიერებიდან?

გარაბიჯის შეგროვების მექანიზმი (Garbage Collector) განსაზღვრავს, რომ ობიექტი უნდა წაიშალოს მეხსიერებიდან, იმის მიხედვით, არის თუ არა ის პროგრამისთვის ხელმისაწვდომი. თუ ობიექტზე აღარ არსებობს აქტიური მითითებები (ანუ, ის მიუწვდომელია), ეს ნიშნავს, რომ ის საჭირო არ არის და შეიძლება წაიშალოს.

მთავარი მეთოდი ამის განსაზღვრად არის ობიექტების გრაფის გადაცემა, დაწყებული ძირითადი მითითებებიდან (მაგალითად, ზარის სტეკი, სტატიკური ცვლადები). ყველა ობიექტი, რომელიც მითითებებით არის მისაწვდომი, ითვლება ცოცხლად. მიუწვდომელი ობიექტები ითვლება ნაგავად და განკუთვნილია წაშლისთვის.

სადავო ალგორითმის მაგალითი:

• დაიწყეთ ძირითადი ობიექტებიდან.
• მონიშნეთ ყველა ობიექტი, რომელიც მათგან არის მისაწვდომი.
• ყველა მონიშნული არ არის, როგორც ნაგავი.
• გაათავისუფლეთ მეხსიერება, რომელიც ამ ობიექტებს ეკავა.

Android-ში (JVM-ზე დაფუძნებული) მაგალითად, გამოიყენება მონიშვნის და წმენდის ალგორითმი (Mark-and-Sweep) და სხვა ოპტიმიზაციები.