Hogyan működik a szemétgyűjtő a Go programozási nyelvben?

A Go szemétgyűjtője egy címkéző-eltávolító algoritmuson alapul, amely memóriafoglalás alapján aktiválódik. Parallelen fut az alkalmazással, és minimalizálja a szüneteket.

Főbb pontok:

• Három színkészlet:
  • Fehér: Nem látogatott és potenciálisan szemét objektumok.
  • Szürke: A gyökerekből elérhető, de még nem szkennelt objektumok.
  • Fekete: A gyökerekből elérhető, és már szkennelt objektumok.
• Jelölés: A gyűjtő a gyökereknél (globális változók, minden goroutine verem) kezd, és elérhető objektumokat szürkévé jelez. Ezután rekurzívan szkenneli a szürke objektumokat, és az onnan elérhetőket szürkévé, a szkennelt objektumokat pedig feketére változtatja.
• STW (Stop-The-World) fázis a jelölés során: Rövid megszakítás minden goroutine futásában a jelölés elején, hogy pillanatkép készüljön az objektum gráfról, és a végén a státusz váltásához.
• Paralel jelölés: A jelölés nagy része párhuzamosan történik a program futásával.
• Törlés: A jelölés után minden fehér maradt objektum elérhetetlennek számít, és felszabadul. A Go nem igényel explicit nullázást a mutatók esetében.

// Példa: amikor egy objektum elérhetetlenné válik
type Data struct {
    value int
}

func main() {
    d1 := &Data{value: 10} // Objektum létrehozva, elérhető
    _ = d1                 // Objektum használata

    d1 = nil // Az objektum már nem elérhető a d1 változón keresztül.
            // A szemétgyűjtő a következő ciklusban felszabadíthatja.

    // Más objektumok, amelyekre senki nem hivatkozik, szintén gyűjthetők.
}

• Trigger: A gyűjtő akkor aktiválódik, amikor az allokált memória mennyisége meghalad egy küszöböt, amely a korábbi allokált memória mennyiségétől függ. Alapértelmezés szerint ez a küszöb a korábbi felhasznált memória kétszerese.
• Cél: Alacsony késleltetés fenntartása, elkerülve a hosszú "Stop-The-World" szüneteket.

// A gyűjtő viselkedését környezeti változókkal lehet szabályozni
// például a GOGC=off beállításával a szemétgyűjtés letiltott.

Általánosságban, a Go szemétgyűjtője hatékony, és minimális beavatkozást igényel a fejlesztőtől.