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

Το Golang χρησιμοποιεί έναν παράλληλο και χαμηλής καθυστέρησης συλλέκτη απορριμμάτων βασισμένο στον αλγόριθμο mark-sweep.

Κύχα χαρακτηριστικά:

1. Τριχρωμικός αλγόριθμος (Three-color algorithm): Μαρκάρει τα αντικείμενα με τρία χρώματα: λευκό (πιθανό σκουπίδι), γκρι (πρόσβασιμο αντικείμενο, αλλά οι απόγονοί του δεν έχουν ελεγχθεί) και μαύρο (αντικείμενο και οι απόγονοί του προσβάσιμα).
2. Παραλληλισμός (Parallel): Λειτουργεί παράλληλα με τις goroutines του χρήστη σε πολλαπ cores, ελαχιστοποιώντας το χρόνο διακοπής.
3. Συγχρονικότητα (Concurrent): Το μεγαλύτερο μέρος της εργασίας GC εκτελείται ταυτόχρονα με την εκτέλεση του προγράμματος.
4. Ελαχιστοποίηση χρόνου διακοπής (Low-latency Stop-The-World): Ο χρόνος διακοπής όλων των goroutines (STW) είναι εξαιρετικά σύντομος, χρησιμοποιείται μόνο για τις φάσεις "έναρξη σήμανσης" (start of marking) και "ολοκλήρωση σήμανσης" (end of marking), για να διασφαλιστεί η συνοχή του γράφου αντικειμένων.
5. Επαναχρησιμοποιήσιμο σάρωση στοίβας (Stack scanning): Η σάρωση στοίβας πραγματοποιείται επίσης παράλληλα και ταυτόχρονα με το STW.
6. Στόχος ανάπτυξης heap (Heap growth target): Ο GC προσπαθεί να διατηρεί ένα ορισμένο ποσοστό πλήρωσης heap μετά από κάθε κύκλο, για να αποφεύγονται πολύ συχνοί ή πολύ σπάνιοι κύκλοι. Αυτό το όριο μπορεί να ελεγχθεί μέσω της μεταβλητής GOGC. Προεπιλεγμένα, GOGC=100, που σημαίνει ότι ο GC ενεργοποιείται όταν το μέγεθος του heap διπλασιάζεται.

Ο κύκλος εργασίας του GC αποτελείται από τις ακόλουθες φάσεις:

1. GCstart: Μικρή φάση STW. Ορίζονται τα ριζικά αντικείμενα για σήμανση.
2. GCmark: Συγχρονική φάση. Ο GC διασχίζει το γράφο αντικειμένων, σημαδεύοντας τα προσβάσιμα αντικείμενα (χρώμα γκρι -> μαύρο). Χρησιμοποιεί ένα write barrier για την παρακολούθηση των αλλαγών στον γράφο κατά τη σήμανση.
3. GCmarktermination: Μικρή φάση STW. Ολοκληρώνει τη σήμανση και μεταβαίνει από το write barrier σε sweep.
4. GCsweep: Συγχρονική φάση. Τα μη προσβάσιμα (λευκά) αντικείμενα απελευθερώνονται. Αυτή η φάση μπορεί να πραγματοποιηθεί στο παρασκήνιο ή κατά την ανάγκη κατά την κατανομή νέας μνήμης.

Ο GC στο Go διαχειρίζεται αυτόματα και δεν απαιτούνται χειροκίνητες κλήσεις στις περισσότερες περιπτώσεις. Η απόδοση του GC μπορεί να παρακολουθείται με τις μεταβλητές περιβάλλοντος GODEBUG=gctrace=1.

Παράδειγμα παρακολούθησης:

$ GODEBUG=gctrace=1 go run your_program.go

Η έξοδος του gctrace παρέχει πληροφορίες για κάθε κύκλο GC, συμπεριλαμβανομένων των χρόνων φάσεων, του μεγέθους heap και του χρόνου STW.

Για βελτιστοποίηση του GC, εκτός από τη ρύθμιση του GOGC, μπορεί να εξεταστεί:

• Η μείωση των αλoγών (π.χ., επαναχρησιμοποίηση buffers, αποφυγή περιττών μετατροπών).
• Η προφίλ για "escape analysis" για την κατανόηση των αντικειμένων που κατανεμήθηκαν στο heap.
• Η χρήση pools (sync.Pool) για συχνά δημιουργούμενα και απελευθερούμενα αντικείμενα.