Πώς λειτουργεί ο garbage collector στο Go;

Ο Garbage Collector (GC) στο Go είναι ένας συλλέκτης απορριμμάτων βασισμένος σε triggers, ανταγωνιστικός, με σήμανση και καθαρισμό, χρησιμοποιώντας τον αλγόριθμο mark-and-sweep. Λειτουργεί παράλληλα με το κύριο νήμα εκτέλεσης, ελαχιστοποιώντας τις διακοπές στο πρόγραμμα.

Τα κύρια στάδια του GC στο Go:

1. Σήμανση (Mark): Ο GC διατρέχει όλες τις ρίζες (goroutines, στοίβες, παγκόσμιες μεταβλητές) και σημαδεύει όλα τα προσβάσιμα αντικείμενα.
2. Καθάρισμα (Sweep): Όλα τα μη σημαδεμένα αντικείμενα θεωρούνται απορρίμματα και απελευθερώνονται.

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

Έτσι φαίνεται ένας απλοποιημένος κύκλος GC:

// Η μνήμη εκχωρείται μέσω new ή make
p := new(int)
// Ο GC θα ελευθερώσει αυτόματα τη μνήμη όταν το p γίνει μη προσβάσιμο

Στις τελευταίες εκδόσεις, ο GC του Go έχει βελτιωθεί για να δουλεύει με πολυνηματική επεξεργασία και να μειώνει τον κατακερματισμό της μνήμης.