Quali sono le tue conoscenze sul garbage collector nel linguaggio Go?

Golang utilizza un raccoglitore di garbage parallelo e a bassa latenza basato sull'algoritmo mark-sweep.

Caratteristiche principali:

1. Algoritmo a tre colori (Three-color algorithm): Contrassegna gli oggetti con tre colori: bianco (potenziale spazzatura), grigio (oggetto raggiungibile ma i suoi discendenti non sono ispezionati) e nero (oggetto e i suoi discendenti raggiungibili).
2. Parallellismo (Parallel): Funziona in parallelo con le goroutine dell'utente su più core, minimizzando il tempo di stop.
3. Concorrenza (Concurrent): La maggior parte del lavoro del GC viene eseguita contemporaneamente all'esecuzione del programma.
4. Minimizzazione del tempo di stop (Low-latency Stop-The-World): Il tempo di stop di tutte le goroutine (STW) è estremamente breve, usato solo per le fasi "inizio della marcatura" (start of marking) e "fine della marcatura" (end of marking), per garantire la coerenza del grafo degli oggetti.
5. Scansione dello stack riutilizzabile (Stack scanning): La scansione dello stack avviene anch'essa in parallelo e in modo concorrente con lo STW.
6. Obiettivo di crescita dell'heap (Heap growth target): Il GC cerca di mantenere una certa percentuale di riempimento dell'heap dopo ogni ciclo, per evitare cicli troppo frequenti o troppo rari. Questa soglia può essere controllata tramite la variabile GOGC. Per impostazione predefinita, GOGC=100, il che significa che il GC si avvia quando la dimensione dell'heap raddoppia.

Il ciclo di lavoro del GC consiste nelle seguenti fasi:

1. GCstart: Fase STW breve. Vengono determinati gli oggetti radice per la marcatura.
2. GCmark: Fase concorrente. Il GC attraversa il grafo degli oggetti, marcando gli oggetti raggiungibili (colore grigio -> nero). Utilizza una barriera di scrittura per tracciare le modifiche al grafo durante la marcatura.
3. GCmarktermination: Fase STW breve. Completa la marcatura e passa dalla barriera di scrittura alla fase di sweep.
4. GCsweep: Fase concorrente. Gli oggetti inaccessibili (bianchi) vengono liberati. Questa fase può avvenire in background o secondo necessità durante l'allocazione di nuova memoria.

Il GC in Go è gestito automaticamente e non richiede chiamate manuali nella maggior parte dei casi. La performance del GC può essere monitorata con le variabili di ambiente GODEBUG=gctrace=1.

Esempio di monitoraggio:

$ GODEBUG=gctrace=1 go run your_program.go

L'output di gctrace mostra informazioni su ogni ciclo di GC, inclusi tempi di fase, dimensione dell'heap e tempo di STW.

Per ottimizzare il GC, oltre alla configurazione di GOGC, si può considerare:

• Ridurre il numero di allocazioni (ad esempio, riutilizzando buffer, evitando conversioni non necessarie).
• Profilare per "escape analysis" per capire quali oggetti vengono allocati sull'heap.
• Utilizzare pools (sync.Pool) per oggetti frequentemente creati e liberati.