Wie bestimmt der Mechanismus der automatischen Müllsammlung, dass ein Objekt nicht mehr zugänglich ist und entfernt werden soll?

Der automatische Speicherbereinigungsmechanismus (GC) in Go bestimmt, dass ein Objekt unzugänglich ist, basierend auf seiner Erreichbarkeit von den Wurzelpunkten (Root-Set). Die Wurzelpunkte sind globale Variablen, lokale Variablen der aktuellen Goroutinen und Aufrufstapel. Wenn ein Objekt durch die Referenzkette von diesen Wurzelpunkten aus nicht erreichbar ist, gilt es als 'tot' und kann gelöscht werden.

Beispiel: Wenn eine Variable auf ein Objekt verweist, betrachtet der GC es als lebendig. Wenn die Referenz entfernt wird oder außerhalb des Gültigkeitsbereichs liegt, wird das Objekt unzugänglich und kann gesammelt werden.

Der GC durchsucht periodisch den Objektdiagramm, beginnend bei den Wurzeln, und markiert alle erreichbaren Objekte. Alle anderen Objekte gelten als Müll und werden freigegeben.