Πώς καθορίζει ο μηχανισμός συλλογής απορριμμάτων ότι ένα αντικείμενο πρέπει να διαγραφεί από τη μνήμη;

Ο μηχανισμός συλλογής απορριμμάτων (Garbage Collector) καθορίζει ότι ένα αντικείμενο πρέπει να διαγραφεί από τη μνήμη με βάση το αν είναι προσβάσιμο από το πρόγραμμα. Αν δεν υπάρχουν ενεργές αναφορές στο αντικείμενο (δηλαδή, είναι απρόσιτο), σημαίνει ότι δεν χρειάζεται και μπορεί να διαγραφεί.

Ο κύριος τρόπος για να το καθορίσει αυτό είναι να διασχίσει το γράφο των αντικειμένων, ξεκινώντας από τις ριζικές αναφορές (π.χ., τη στοίβα κλήσεων, στατικές μεταβλητές). Όλα τα αντικείμενα που είναι προσβάσιμα μέσω αναφορών θεωρούνται ζωντανά. Τα αντικείμενα που δεν είναι προσβάσιμα θεωρούνται απορρίμματα και είναι υποψήφια για διαγραφή.

Παραδείγματα απλοποιημένου αλγορίθμου:

• Ξεκινήστε από τα ριζικά αντικείμενα.
• Σημειώστε όλα τα αντικείμενα που είναι προσβάσιμα από αυτά.
• Όλα τα μη σημειωμένα αντικείμενα θεωρούνται απορρίμματα.
• Ελευθερώστε τη μνήμη που καταλαμβάνονται από αυτά.

Στο Android (βασισμένο σε JVM), χρησιμοποιείται, για παράδειγμα, ο αλγόριθμος σήμανσης και καθαρισμού (Mark-and-Sweep) και άλλες βελτιστοποιήσεις.