Τι ξέρεις για τον συλλέκτη απορριμμάτων στο Dart;

Ο Dart χρησιμοποιεί έναν μονονηματικό συλλέκτη αποβλήτων που βασίζεται στη γενεαλογική συλλογή.

Βασικά χαρακτηριστικά:

• Γενεαλογική Συλλογή: Τα αντικείμενα χωρίζονται σε δύο γενεές:
  • Νεαρή γενεά: Νέα και σύντομης διάρκειας αντικείμενα. Συλλέγονται συχνά.
  • Παλιότερη γενεά: Μακροχρόνια αντικείμενα που έχουν επιβιώσει από αρκετές συλλογές στη νεαρή γενεά. Συλλέγονται σπανιότερα.
• Stop-the-World: Για την εκτέλεση της συλλογής αποβλήτων, πρέπει να διακοπεί η εκτέλεση του προγράμματος (Dart Isolates). Ωστόσο, χάρη στη μονονηματική φύση και τις βελτιστοποιήσεις, οι καθυστερήσεις ελαχιστοποιούνται.
• Mark-and-Sweep: Στη παλιά γενεά, χρησιμοποιείται ο αλγόριθμος Mark-and-Sweep. Πρώτα, σημειώνονται τα προσβάσιμα αντικείμενα, και στη συνέχεια διαγράφονται τα μη προσβάσιμα. Για τη νεαρή γενεά, χρησιμοποιείται ο αλγόριθμος Copying Collector, που μετακινεί γρήγορα τα ζωντανά αντικείμενα σε άλλο χώρο μνήμης.
• Χωρίς κύκλους συλλογής αποβλήτων: Ο προγραμματιστής δεν χρειάζεται να διαχειρίζεται χειροκίνητα τη μνήμη ή να καλεί το GC. Το σύστημα το κάνει αυτό αυτόματα.
• Βελτιστοποιήσεις: Περιλαμβάνουν inlining συναρτήσεων, εξειδίκευση τύπων και κατανομή αντικειμένων στη στοίβα, μειώνοντας το φορτίο στον συλλέκτη αποβλήτων.

Παράδειγμα, κατά τη δημιουργία ενός νέου αντικειμένου:

// Δημιουργία νέου αντικειμένου στη "νεαρή" γενεά μνήμης
var myObject = MyClass();

Εάν το myObject παραμένει στη μνήμη και προσβάσιμο για μεγάλο χρονικό διάστημα, θα μετακινηθεί με την πάροδο του χρόνου στη "παλιά" γενεά. Αν σταματήσει να είναι προσβάσιμο, ο συλλέκτης αποβλήτων θα το ελευθερώσει τελικά.

// το myObject τώρα δεν είναι προσβάσιμο, μπορεί να συλλεχθεί από τον συλλέκτη αποβλήτων
myObject = null;

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