Wie funktioniert der Garbage Collector in der Programmiersprache Go?

Der Garbage Collector in Go implementiert eine parallele, ungenaue (nicht-generationale) Methode, basierend auf dem Mark-and-Sweep-Algorithmus mit einem Trigger basierend auf der Heap-Größe.

Grundprinzipien:

1. Trigger zur Aktivierung: Der Collector startet, wenn das vom Programm zugewiesene Speichervolumen einen Schwellenwert überschreitet, der dynamisch geregelt wird.
2. Markierungsphase (Mark Phase):
   • Der Collector pausiert nur den kritischen Teil der Markierungsphase (Stop-the-World, STW), was jedoch nur sehr kurz dauert.
   • Parallel zum laufenden Programm durchläuft der Collector den Objektdiagramm von den Wurzeln (Register, globale Variablen, Goroutine-Stacks).
   • Erreichbare (lebende) Objekte werden als genutzt markiert.
3. Sweep-Phase (Sweep Phase):
   • Nach Abschluss der Markierungsphase durchläuft der Collector die Liste der Speicherbereiche (Spans).
   • Nicht markierte Objekte werden als Müll betrachtet und ihr Speicher freigegeben.
   • Diese Phase wird ebenfalls parallel zur Programmausführung durchgeführt.
4. Write Barrier: Go verwendet eine Write Barrier, um Änderungen im Objektdiagramm während der parallelen Markierungsphase zu verfolgen. Dies gewährleistet die korrekte Funktion des Collectors trotz Änderungen im Speicher durch den Mutator.
5. Keine Generationen: Im Gegensatz zu einigen anderen Sprachen teilt Go Objekte nicht in Generationen ein. Der Collector verarbeitet den gesamten Heap als Ganzes.
6. Ziel niedriger Latenz: Beim Design des Go-GC wurde angestrebt, die Pausen durch die Müllsammlung (STW) zu minimieren, was es für Serveranwendungen geeignet macht.

Parallelisierung und die Verwendung der Write Barrier ermöglichen es dem Collector, die Programmpausen zu minimieren und eine hohe Leistung zu gewährleisten.

Beispiel für eine vereinfachte Speicherverwaltung (nicht direkt GC, aber zeigt die Freigabe von Ressourcen):

package main

import (
	"fmt"
	"os"
)

func main() {
	// Beispiel für die Erstellung einer temporären Ressource, die freigegeben wird
	file, err := os.Create("temp.txt")
	if err != nil {
		fmt.Println("Fehler beim Erstellen der Datei:", err)
		return
	}
	// Verzögertes Schließen der Datei.
	// Obwohl dies kein GC im engeren Sinne ist, zeigt es die Freigabe von Ressourcen.
	defer file.Close()

	fmt.Println("Datei 'temp.txt' erstellt.")

	// Das Programm kann nun mit der Datei arbeiten...

	// Der GC arbeitet automatisch im Hintergrund, um ungenutzte Objekte im Heap zu sammeln.
	// Zum Beispiel, wenn ein Slice oder eine Map erstellt wird:
	data := make([]int, 1000000) // Zuweisung im Heap
	_ = data // Nutzung

	// Wenn data nicht mehr erreichbar ist (z.B. beim Verlassen der Funktion),
	// wird der Garbage Collector mit der Zeit den zugewiesenen Speicher freigeben.
}