Cum funcționează colectorul de gunoi în limbajul Go…

Colectorul de gunoi în Go implementează o metodă paralelă, nesprecisă (non-generational), bazată pe algoritmul Mark-and-Sweep cu un declanșator în funcție de volumul heap-ului.

Principiile de bază ale funcționării:

Declanșator de activare: Colectorul pornește atunci când volumul de memorie alocat de program depășește un prag, care este reglat dinamic.
Faza de marcare (Mark Phase):
- Colectorul întrerupe doar partea critică a fazei de marcare (Stop-the-World, STW), dar acest lucru durează foarte puțin.
- În paralel cu programul în execuție (mutator), colectorul parcurge graful de obiecte din punctele de rădăcină (registre, variabile globale, stive de goroutines).
- Obiectele accesibile (vii) sunt marcate ca fiind utilizate.
Faza de curățare (Sweep Phase):
- După finalizarea fazei de marcare, colectorul parcurge lista de span-uri de memorie.
- Obiectele ne-marcate sunt considerate gunoi și memoria lor este eliberată.
- Această fază se realizează și în paralel cu execuția programului.
Bariera de scriere (Write Barrier): Go folosește o barieră de scriere pentru a urmări modificările în graful de obiecte în timpul fazei de marcare paralelă. Acest lucru asigură funcționarea corectă a colectorului, în ciuda modificărilor de memorie făcute de mutator.
Fără generații: Spre deosebire de unele alte limbaje, Go nu împarte obiectele în generații. Colectorul procesează întreaga heap ca pe un întreg.
Obiectiv de latență scăzută: La proiectarea GC-ului în Go, s-a urmărit minimizarea întârzierilor cauzate de colectarea gunoiului (pauze STW), făcându-l potrivit pentru aplicații server.

Paralelismul și utilizarea barierei de scriere permit colectorului să minimizeze timpul de oprire al programului, asigurând performanță înaltă.

Exemplu de gestionare a memoriei simplificate (nu direct GC, dar ilustrează eliberarea resurselor):

package main

import (
	"fmt"
	"os"
)

func main() {
	// Exemplu de creare a unei resurse temporare care va fi eliberată
	file, err := os.Create("temp.txt")
	if err != nil {
		fmt.Println("Eroare la crearea fișierului:", err)
		return
	}
	// Închiderea întârziată a fișierului.
	// Deși nu este GC în sens strict, demonstrează eliberarea resurselor.
	defer file.Close()

	fmt.Println("Fișier 'temp.txt' creat.")

	// Ulterior, programul poate lucra cu fișierul...

	// GC funcționează automat în fundal pentru a colecta obiecte neutilizate din heap.
	// De exemplu, dacă se creează un slice sau un map:
	data := make([]int, 1000000) // Alocare în heap
	_ = data // Utilizare

	// Când data nu mai este accesibilă (de exemplu, la ieșirea din funcție),
	// colectorul de gunoi va elibera în timp memoria alocată.
}

Cum funcționează colectorul de gunoi în limbajul Go?