Wie funktioniert der Garbage Collector und welche Speicherbereiche bereinigt er: Heap oder Stack?

Der Garbage Collector in Go gibt automatisch den Speicher frei, der vom Programm nicht mehr verwendet wird. Er arbeitet mit dem Heap-Speicherbereich, in dem dynamisch zugewiesene Objekte platziert werden.

Der Stack ist ein Speicherbereich für lokale Variablen und Funktionsaufrufe, der automatisch beim Ein- und Austritt aus Funktionen verwaltet wird, und der Garbage Collector räumt ihn nicht auf.

Das Funktionsprinzip des Garbage Collectors in Go basiert auf dem Reachability-Trace-Algorithmus: Er findet alle Objekte, die von den Wurzelpunkten (Stack, globale Variablen) aus zugänglich sind, und entfernt diejenigen, auf die keine Referenzen mehr bestehen.

Auf diese Weise räumt der Garbage Collector den Heap auf, und der Stack wird vom Aufrufsystem verwaltet und automatisch freigegeben.