Wie ist der Stapel in der Programmiersprache Go…

In Golang ist der Heap ein Speicherbereich, in dem dynamisch zugewiesene Objekte platziert werden. Die Verwaltung dieses Speichers erfolgt automatisch durch den Garbage Collector.

Wichtige Aspekte:

Dynamische Zuweisung: Kleine Objekte mit kurzer Lebensdauer, bei denen der Compiler nicht nachweisen kann, dass ihre Lebensdauer durch die Grenzen der Funktion oder des Stacks beschränkt ist, oder die mit new oder durch Adressnahme (&) zugewiesen werden, werden in der Regel im Heap platziert.
Garbage Collector (GC): Go verwendet einen gleichzeitigen, dreifarbigen Mark-and-Sweep-Garbage-Collector. Er arbeitet parallel zur Programmausführung und minimiert Pausen.
- Markieren (Mark): Der GC durchläuft erreichbare Objekte von den Wurzelzeigern (lokale Variablen auf dem Stack, globale Variablen) und markiert sie als "lebendig".
- Aufräumen (Sweep): Der GC durchläuft den gesamten zugänglichen Heap und gibt den Speicher frei, der von nicht markierten "lebendigen" Objekten belegt ist.
- Parallel: Der GC läuft in separaten Goroutinen, um Verzögerungen im Hauptprogramm zu reduzieren.

Escape-Analyse: Der Golang-Compiler führt eine Analyse (Escape-Analysis) durch, um zu bestimmen, ob eine Variable oder ein Wert auf den Stack oder den Heap zeigt. Wenn eine Variable oder ein Strukturfeld nach der Rückkehr aus der aktuellen Goroutine zugänglich sein kann, wird sie wahrscheinlich im Heap platziert. Andernfalls kann sie auf dem Stack platziert werden.

// Beispiel für Escape-Analysis.
// Dieses Objekt wird wahrscheinlich im Heap platziert,
// da ein Zeiger zurückgegeben wird.
func createPoint() *Point {
    p := Point{X: 1, Y: 2}
    return &p // Zeiger "entkommt" aus der Funktion
}

// Dieses Objekt wird wahrscheinlich auf dem Stack platziert,
// da es nach Beendigung der Funktion nicht mehr zugänglich ist.
func processValue() {
    val := 10
    println(val)
}

type Point struct {
    X, Y int
}

Aufteilung in Arenen: Der Heap in Go kann in mehrere Arenen unterteilt werden, was dem Garbage Collector hilft, effizienter zu arbeiten, insbesondere auf Mehrprozessorsystemen.
Verwendung von mmap: Golang nutzt den Systemaufruf mmap (Memory Map), um große virtuelle Speicherblöcke für den Heap zu reservieren.
Kontinuität: Im Gegensatz zu einigen Sprachen garantiert Go keine physische Kontinuität der Objekte im Heap. Der Speicher kann fragmentiert sein.
Fehlende manuelle Speicherverwaltung: Entwickler müssen den Speicher im Heap nicht explizit zuweisen oder freigeben. Der GC übernimmt dies automatisch.

Der Stack und der Heap in Golang erfüllen unterschiedliche Rollen:

Speicherbereich	Zweck	Verwaltung	Lebensdauer
Stack	Lokale Variablen, Funktionsparameter, Rückgabeadressen	Automatisch (beim Ein- und Austritt aus Funktionen)	Begrenzt auf die Ausführungszeit der Funktion
Heap	Dynamisch zugewiesene Objekte, die "entkommen" dem Stack, große Strukturen	Garbage Collector (GC)	Wird durch die Erreichbarkeit des Objekts von den Wurzeln bestimmt

Wie ist der Stapel in der Programmiersprache Go aufgebaut?