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

Ο garbage collector στο Go υλοποιεί μια παράλληλη, μη ακριβή (non-generational) μέθοδο, βασισμένη στον αλγόριθμο Mark-and-Sweep με ενεργοποιητή βάσει του όγκου της στοίβας (heap).

Βασικές αρχές λειτουργίας:

Ενεργοποιητής: Ο συλλέκτης ενεργοποιείται όταν ο όγκος της μνήμης που έχει εκχωρηθεί από το πρόγραμμα υπερβαίνει ένα όριο, το οποίο ρυθμίζεται δυναμικά.
Φάση σήμανσης (Mark Phase):
- Ο συλλέκτης διακόπτει μόνο το κρίσιμο μέρος της φάσης σήμανσης (Stop-the-World, STW), αλλά αυτό διαρκεί πολύ λίγο.
- Παράλληλα με το τρέχον πρόγραμμα (mutator), ο συλλέκτης διατρέχει το γράφο αντικειμένων από τις ρίζες (καταχωρητές, παγκόσμιες μεταβλητές, στοίβες goroutines).
- Τα προσβάσιμα (ζωντανά) αντικείμενα σημειώνονται ως χρησιμοποιούμενα.
Φάση καθαρισμού (Sweep Phase):
- Μετά την ολοκλήρωση της φάσης σήμανσης, ο συλλέκτης διατρέχει τη λίστα των spans μνήμης.
- Τα μη σημειωμένα αντικείμενα θεωρούνται απορρίμματα και η μνήμη τους ελευθερώνεται.
- Αυτή η φάση πραγματοποιείται επίσης παράλληλα με την εκτέλεση του προγράμματος.
Πύλη εγγραφής (Write Barrier): Το Go χρησιμοποιεί μια πύλη εγγραφής για την παρακολούθηση των αλλαγών στον γράφο αντικειμένων κατά τη διάρκεια της παράλληλης φάσης σήμανσης. Αυτό διασφαλίζει τη σωστή λειτουργία του συλλέκτη, παρά τις τροποποιήσεις στη μνήμη από τον mutator.
Χωρίς γενιές: Σε αντίθεση με ορισμένες άλλες γλώσσες, το Go δεν διαχωρίζει τα αντικείμενα σε γενιές. Ο συλλέκτης επεξεργάζεται ολόκληρη τη στοίβα (heap) ως σύνολο.
Στόχος χαμηλής καθυστέρησης: Στον σχεδιασμό του GC του Go, στόχος ήταν η ελαχιστοποίηση των καθυστερήσεων που προκαλούνται από τη συλλογή απορριμμάτων (STW), καθιστώντας το κατάλληλο για εφαρμογές διακομιστή.

Ο παραλληλισμός και η χρήση της πύλης εγγραφής επιτρέπουν στον συλλέκτη να ελαχιστοποιεί τον χρόνο διακοπής του προγράμματος, διασφαλίζοντας υψηλή απόδοση.

Παραδείγματα απλοποιημένης διαχείρισης μνήμης (όχι άμεσα GC, αλλά δείχνει την απελευθέρωση πόρων):

package main

import (
	"fmt"
	"os"
)

func main() {
	// Παράδειγμα δημιουργίας προσωρινού πόρου που θα απελευθερωθεί
	file, err := os.Create("temp.txt")
	if err != nil {
		fmt.Println("Σφάλμα δημιουργίας αρχείου:", err)
		return
	}
	// Αργοπορημένο κλείσιμο αρχείου.
	// Αν και αυτό δεν είναι GC με την αυστηρή έννοια, δείχνει την απελευθέρωση πόρων.
	defer file.Close()

	fmt.Println("Το αρχείο 'temp.txt' δημιουργήθηκε.")

	// Στη συνέχεια, το πρόγραμμα μπορεί να εργαστεί με το αρχείο...

	// Το GC λειτουργεί αυτόματα στο παρασκήνιο για τη συλλογή μη χρησιμοποιούμενων αντικειμένων στη στοίβα.
	// Για παράδειγμα, αν δημιουργήσουμε ένα slice ή ένα map:
	data := make([]int, 1000000) // Κατανομή στη στοίβα
	_ = data // Χρήση

	// Όταν το data δεν είναι πλέον προσβάσιμο (π.χ. όταν βγαίνουμε από τη λειτουργία),
	// ο συλλέκτης απορριμμάτων θα ελευθερώσει με τον χρόνο τη δεσμευμένη μνήμη.
}

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