Erzählen Sie vom Garbage Collector in der Programmiersprache Go.

Go verwendet einen parallelen, dreifarbigen, nicht kompaktierten Müllsammler mit niedrigen Latenzzeiten.

Grundprinzipien:

• Markieren (Mark): Bestimmt, welche Objekte von den Wurzelpointern (Register, Goroutine-Stacks, globale Variablen) erreichbar sind. Es wird ein dreifarbiger Algorithmus verwendet (weiß - nicht besucht, grau - besucht, aber Nachkommen noch nicht überprüft, schwarz - besucht und alle Nachkommen überprüft).
• Aufräumen (Sweep): Entfernt unerreichbare Objekte (bleiben weiß) und gibt Speicher für die Wiederverwendung frei.

Eigenschaften:

• Parallel: Das Markieren erfolgt parallel zur Ausführung des Benutzercodes (STW - Stop-The-World - Phasen sind sehr kurz).
• Niedrige Latenz: Entwickelt, um Pausen in der Anwendungsarbeit zu minimieren.
• Nicht kompaktiert: Verschiebt keine lebenden Objekte im Speicher, was zu Fragmentierung führen kann, aber die Implementierung vereinfacht und das Markieren/Aufräumen beschleunigt.

Arbeitsphasen:

1. Markierungsassistenz: Benutzer-Goroutines helfen dem Müllsammler in der Markierungsphase bei der Speicherzuweisung.
2. Markierung: Parallele Markierung erreichbarer Objekte.
3. Markierungsabschluss: Kurze STW-Phase zur Finalisierung der Markierung.
4. Aufräumen: Paralleles Entfernen unerreichbarer Objekte.

Verwaltung:

• Automatisch.
• Müllsammler-Trigger (GC trigger) Schwellenwerte werden durch die Umgebungsvariable GOGC geregelt. Standardmäßig ist GOGC=100, was bedeutet, dass die Sammlung beginnt, wenn die Heap-Größe im Vergleich zum vorherigen Zyklus verdoppelt wird.
• Die Funktion runtime.GC() startet die Müllsammlung forcierte, aber ihre Verwendung wird im Standardcode nicht empfohlen.

package main

import (
	"runtime"
	"time"
)

func main() {
	// Beispiel für einen forcierte GC-Aufruf (selten erforderlich)
	runtime.GC()

	// Beispiel für das Lesen von GC-Statistiken
	var memStats runtime.MemStats
	runtime.ReadMemStats(&memStats)
	// fmt.Printf("Gesamt zugewiesener Speicher: %v Bytes\n", memStats.TotalAlloc)
}

Vorteile:

• Automatisches Speichermanagement, reduziert die Wahrscheinlichkeit von Fehlern (Speicherlecks, doppelte Freigaben).
• Für parallele Ausführung konzipiert.

Nachteile:

• Nicht deterministische Laufzeit des GC.
• Mögliche Erhöhung des Speicherverbrauchs im Vergleich zur manuellen Verwaltung.