Πώς λειτουργεί ο συλλέκτης απορριμμάτων στη γλώσσα…

Ο συλλέκτης απορριμμάτων στο Go βασίζεται σε έναν αλγόριθμο σήμανσης και συλλογής με έναν ενεργοποιητή που βασίζεται στην κατανομή μνήμης. Λειτουργεί παράλληλα με το κύριο πρόγραμμα και ελαχιστοποιεί τις διακοπές.

Βασικά σημεία:

Τρεις ομάδες χρωμάτων:
- Λευκό: Αντικείμενα που δεν έχουν επισκεφθεί και ενδεχομένως είναι απορρίμματα.
- Γκρίζο: Αντικείμενα προσβάσιμα από τις ρίζες, αλλά ακόμα μη σαρωμένα.
- Μαύρο: Αντικείμενα προσβάσιμα από τις ρίζες και ήδη σαρωμένα.
Σήμανση: Ο συλλέκτης ξεκινά από τις ρίζες (παγκόσμιες μεταβλητές, στοίβα κάθε goroutine), σημαδεύοντας τα προσβάσιμα αντικείμενα ως γκρίζα. Στη συνέχεια, σαρώνοντας αναδρομικά τα γκρίζα αντικείμενα, σημαδεύει ως γκρίζα τα προσβάσιμα από αυτά, και τα σαρωμένα αντικείμενα γίνονται μαύρα.
Φάση STW (Stop-The-World) κατά τη διάρκεια της σήμανσης: Μια σύντομη διακοπή της εκτέλεσης όλων των goroutines στην αρχή της σήμανσης για τη δημιουργία μιας στιγμιότυπης εικόνας του γράφου αντικειμένων και στο τέλος για την αλλαγή της κατάστασης.
Παράλληλη σήμανση: Το μεγαλύτερο μέρος της σήμανσης πραγματοποιείται παράλληλα με την εκτέλεση του προγράμματος.
Διαγραφή: Μετά τη σήμανση, όλα τα λευκά αντικείμενα που παραμένουν θεωρούνται μη προσβάσιμα και απελευθερώνονται. Το Go δεν απαιτεί ρητά μηδενισμό των δείκτη.

// Παράδειγμα: όταν ένα αντικείμενο γίνεται μη προσβάσιμο
type Data struct {
    value int
}

func main() {
    d1 := &Data{value: 10} // Δημιουργία αντικειμένου, προσβάσιμο
    _ = d1                 // Χρήση του αντικειμένου

    d1 = nil // Το αντικείμενο δεν είναι πλέον προσβάσιμο μέσω της μεταβλητής d1.
            // Ο συλλέκτης απορριμμάτων μπορεί να το ελευθερώσει στον επόμενο κύκλο.

    // Άλλα αντικείμενα στα οποία κανείς δεν αναφέρεται μπορούν επίσης να συλλεχθούν.
}

Ενεργοποιητής: Ο συλλέκτης ενεργοποιείται όταν η κατανεμημένη μνήμη υπερβαίνει ένα όριο που εξαρτάται από τον προηγούμενο όγκο μνήμης που έχει κατανεμηθεί. Προεπιλεγμένα, αυτό το όριο είναι διπλάσιο του προηγούμενου χρησιμοποιημένου όγκου μνήμης.
Στόχος: Διατήρηση χαμηλής καθυστέρησης, αποφεύγοντας μακρές διακοπές "Stop-The-World".

// Μπορείτε να ελέγξετε τη συμπεριφορά του συλλέκτη μέσω μεταβλητών περιβάλλοντος
// για παράδειγμα, ορίζοντας GOGC=off, απενεργοποιείται η συλλογή απορριμμάτων.

Γενικά, ο συλλέκτης απορριμμάτων του Go είναι αποδοτικός και απαιτεί ελάχιστη συμμετοχή από τον προγραμματιστή.

Πώς λειτουργεί ο συλλέκτης απορριμμάτων στη γλώσσα προγραμματισμού Go;