Wie funktioniert der Garbage Collector in der…

Der Garbage Collector in Go basiert auf einem Mark-and-Sweep-Algorithmus mit einem Trigger, der auf Speicherzuweisungen basiert. Er läuft parallel zum Hauptprogramm und minimiert Pausen.

Wichtige Punkte:

Drei Farbsets:
- Weiß: Objekte, die noch nicht besucht wurden und potenziell Müll sind.
- Grau: Objekte, die von den Wurzeln aus zugänglich sind, aber noch nicht gescannt wurden.
- Schwarz: Objekte, die von den Wurzeln aus zugänglich sind und bereits gescannt wurden.
Markierung: Der Collector beginnt bei den Wurzeln (globale Variablen, Stack jeder Goroutine), markiert zugängliche Objekte als grau. Dann scannt er rekursiv die grauen Objekte, markiert die von ihnen erreichbaren als grau, und die gescannten Objekte werden schwarz.
STW-Phase (Stop-The-World) während des Markings: Kurze Unterbrechung der Ausführung aller Goroutines zu Beginn des Markings, um eine Momentaufnahme des Objektnetzwerks zu erstellen, und am Ende, um den Zustand zu wechseln.
Paralleles Marking: Der Großteil des Markings erfolgt parallel zur Programmausführung.
Entfernung: Nach dem Marking werden alle weißen Objekte, die nicht mehr erreichbar sind, als unzugänglich betrachtet und freigegeben. Go erfordert kein explizites Nullsetzen von Zeigern.

// Beispiel: Wenn ein Objekt unzugänglich wird
type Data struct {
    value int
}

func main() {
    d1 := &Data{value: 10} // Objekt erstellt, zugänglich
    _ = d1                 // Verwendung des Objekts

    d1 = nil // Objekt ist nicht mehr erreichbar über die Variable d1.
            // Der Garbage Collector kann es im nächsten Zyklus freigeben.

    // Andere Objekte, auf die niemand verweist, können ebenfalls gesammelt werden.
}

Trigger: Der Collector wird ausgelöst, wenn die belegte Speichergröße einen Schwellenwert überschreitet, der vom vorherigen belegten Speicher abhängt. Standardmäßig ist dieser Schwellenwert doppelt so groß wie der vorherige belegte Speicher.
Ziel: Niedrige Latenz aufrechterhalten, indem lange "Stop-The-World"-Pausen vermieden werden.

// Das Verhalten des Collectors kann mit Umgebungsvariablen gesteuert werden
// Zum Beispiel deaktiviert das Setzen von GOGC=off die Garbage Collection.

Insgesamt ist der Garbage Collector in Go effizient und erfordert nur minimale Eingriffe des Entwicklers.

Wie funktioniert der Garbage Collector in der Programmiersprache Go?