Hogyan határozza meg az automatik szemétszedő mechanizmus, hogy egy objektum már nem elérhető és törölni kell?

A Go automatikus szemétgyűjtő mechanizmusa (GC) meghatározza, hogy egy objektum elérhetetlen, az objektum elérhetősége alapján a gyökérpontokból (root set). A gyökérpontok globális változók, a jelenlegi goroutine-ok helyi változói és a hívási verem. Ha egy objektum nem érhető el ezekből a gyökérpontokból referencia láncon keresztül, akkor 'halott'-nak számít, és törölhető.

Például: ha egy változó egy objektumra hivatkozik, a GC azt élőnek tekinti. Ha a hivatkozás eltávolításra kerül vagy kikerül a hatókörből, az objektum elérhetetlenné válik, és összegyűjthető.

Így a GC időszakosan átvizsgálja az objektum gráfot, a gyökerektől kezdve, és megjelöli az összes elérhető objektumot. Minden más objektum szemétnek számít, és felszabadul.