Was sind Ihre Kenntnisse über den Garbage Collector in der Programmiersprache Go?

Golang verwendet einen parallelen und latenzarmen Garbage Collector basierend auf dem Mark-Sweep-Algorithmus.

Hauptmerkmale:

1. Drei-Farben-Algorithmus (Three-color algorithm): Markiert Objekte mit drei Farben: Weiß (potentieller Müll), Grau (erreichbares Objekt, aber seine Nachkommen sind nicht inspiziert) und Schwarz (erreichbares Objekt und seine Nachkommen).
2. Parallelität (Parallel): Arbeitet parallel mit den Nutzer-Goroutinen auf mehreren Kernen, um die Stop-Zeit zu minimieren.
3. Konkurrenz (Concurrent): Der Großteil der GC-Arbeit wird gleichzeitig mit der Programmausführung durchgeführt.
4. Minimierung der Stop-the-World-Zeit (Low-latency Stop-The-World): Die Stop-Zeit aller Goroutinen (STW) ist äußerst kurz und wird nur für die Phasen "Start der Markierung" (start of marking) und "Ende der Markierung" (end of marking) verwendet, um die Konsistenz des Objektdiagramms zu gewährleisten.
5. Wiederverwendbare Stack-Scans (Stack scanning): Das Stack-Scanning erfolgt ebenfalls parallel und konkurrierend mit STW.
6. Heap-Wachstumsziel (Heap growth target): Der GC versucht, einen bestimmten Prozentsatz der Heap-Auslastung nach jedem Zyklus aufrechtzuerhalten, um zu häufige oder zu seltene Zyklen zu vermeiden. Dieser Schwellenwert kann über die Variable GOGC gesteuert werden. Standardmäßig ist GOGC=100, was bedeutet, dass der GC ausgelöst wird, wenn die Heap-Größe verdoppelt wird.

Der GC-Zyklus besteht aus den folgenden Phasen:

1. GCstart: Kurze STW-Phase. Es werden die Wurzelobjekte für die Markierung bestimmt.
2. GCmark: Konkurrierende Phase. Der GC durchläuft den Objektdiagramm und markiert erreichbare Objekte (Farbe grau -> schwarz). Es verwendet eine Schreibbarriere, um Änderungen im Diagramm während der Markierung zu verfolgen.
3. GCmarktermination: Kurze STW-Phase. Beendet die Markierung und wechselt von Schreibbarriere zu Sweep.
4. GCsweep: Konkurrierende Phase. Nicht erreichbare (weiße) Objekte werden freigegeben. Diese Phase kann im Hintergrund oder bei Bedarf beim Zuweisen neuen Speichers erfolgen.

Der GC in Go wird automatisch verwaltet und erfordert in den meisten Fällen keine manuellen Aufrufe. Die GC-Leistung kann mit den Umgebungsvariablen GODEBUG=gctrace=1 überwacht werden.

Beispiel für die Überwachung:

$ GODEBUG=gctrace=1 go run your_program.go

Die Ausgabe von gctrace zeigt Informationen zu jedem GC-Zyklus, einschließlich Phasenzeiten, Heap-Größe und STW-Zeit.

Zur Optimierung des GC kann neben der Einstellung von GOGC auch erwogen werden:

• Die Anzahl der Allokationen zu reduzieren (z.B. durch Wiederverwenden von Puffern, Vermeidung unnötiger Konvertierungen).
• Profiling für "escape analysis", um zu verstehen, welche Objekte auf dem Heap allokiert werden.
• Pools (sync.Pool) für häufig erstellte und freigegebene Objekte zu verwenden.