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

A Go nyelvben a szemétgyűjtő (garbage collector) egy párhuzamos, nem pontos (non-generational) módszert valósít meg, amely a Mark-and-Sweep algoritmuson alapul, és a heap mérete alapján indítja el.

Fő működési elvek:

1. Aktiválási trigger: A gyűjtő akkor indul el, amikor a program által lefoglalt memória mennyisége meghalad egy dinamikusan szabályozott küszöbértéket.
2. Jelölési fázis (Mark Phase):
   • A gyűjtő csak a kritikus részt szünteti meg a jelölési fázisnak (Stop-the-World, STW), de ez nagyon rövid ideig tart.
   • Parallelen a futó programmal (mutator), a gyűjtő végigjárja az objektumgrafot a gyökérmutatóktól (regiszterek, globális változók, goroutine veremek).
   • Az elérhető (élő) objektumokat megjelöli, mint használt.
3. Tisztítási fázis (Sweep Phase):
   • A jelölési fázis befejezése után a gyűjtő végigmegy a memória spanjeinek listáján.
   • A nem jelölt objektumokat szemétként kezelik, és a memóriájukat felszabadítják.
   • Ez a fázis szintén párhuzamosan történik a program futásával.
4. Írási akadály (Write Barrier): A Go használ egy írási akadályt, hogy nyomon kövesse az objektumgraf változásait a párhuzamos jelölési fázis során. Ez biztosítja a gyűjtő helyes működését, még akkor is, ha a mutator módosítja a memóriát.
5. Nincs generáció: Néhány más nyelvvel ellentétben, a Go nem osztja az objektumokat generációkra. A gyűjtő az egész heap-et egyben kezeli.
6. Alacsony késleltetésű cél: A Go GC tervezése során az volt a cél, hogy minimalizálja a szemétgyűjtés miatti késleltetéseket (STW szünetek), így alkalmas szerveralkalmazásokhoz.

A párhuzamosítás és az írási akadály használata lehetővé teszi, hogy a gyűjtő minimalizálja a program megállási idejét, magas teljesítményt biztosítva.

Egyszerűsített memória kezelés példája (nem közvetlen GC, de a források felszabadítását illusztrálja):

package main

import (
	"fmt"
	"os"
)

func main() {
	// Példa ideiglenes erőforrás létrehozására, amelyet felszabadítanak
	file, err := os.Create("temp.txt")
	if err != nil {
		fmt.Println("Hiba a fájl létrehozásában:", err)
		return
	}
	// A fájl késleltetett bezárása.
	// Bár ez nem GC a szó szoros értelmében, bemutatja az erőforrások felszabadítását.
	defer file.Close()

	fmt.Println("A 'temp.txt' fájl létrehozva.")

	// Ezután a program dolgozhat a fájllal...

	// A GC automatikusan működik háttérben, gyűjtve a nem használt objektumokat a heap-en.
	// Például, ha létrehozunk egy szeletet vagy térképet:
	data := make([]int, 1000000) // Lefoglalás a heap-en
	_ = data // Használat

	// Amikor a data már nem elérhető (pl. kilépéskor a függvényből),
	// a szemétgyűjtő idővel felszabadítja az allokált memóriát.
}