Come funziona il garbage collector nel linguaggio di programmazione Go?

Il garbage collector di Go si basa su un algoritmo di marcatura e pulizia con un trigger basato sull'allocazione di memoria. Funziona in parallelo con il programma principale e minimizza le pause.

Punti chiave:

• Tre set di colori:
  • Bianco: Oggetti non visitati e potenzialmente rifiuti.
  • Grigio: Oggetti accessibili dalle radici, ma ancora non scansionati.
  • Nero: Oggetti accessibili dalle radici e già scansionati.
• Marcatura: Il garbage collector inizia dalle radici (variabili globali, stack di ogni goroutine), marcando gli oggetti accessibili come grigi. Poi scansiona ricorsivamente gli oggetti grigi, marcando come grigi quelli raggiungibili da essi, e gli oggetti scansionati diventano neri.
• Fase STW (Stop-The-World) durante la marcatura: Una breve pausa nell'esecuzione di tutte le goroutine all'inizio della marcatura per creare un'istantanea del grafo degli oggetti e alla fine per cambiare lo stato.
• Marcatura parallela: La maggior parte della marcatura viene eseguita in parallelo con l'esecuzione del programma.
• Eliminazione: Dopo la marcatura, tutti gli oggetti rimasti bianchi sono considerati inaccessibili e vengono liberati. Go non richiede di azzerare esplicitamente i puntatori.

// Esempio: quando un oggetto diventa inaccessibile
type Data struct {
    value int
}

func main() {
    d1 := &Data{value: 10} // Oggetto creato, accessibile
    _ = d1                 // Uso dell'oggetto

    d1 = nil // L'oggetto non è più accessibile dalla variabile d1.
            // Il garbage collector può liberarlo nel prossimo ciclo.

    // Altri oggetti a cui nessuno fa riferimento possono essere raccolti.
}

• Trigger: Il garbage collector si avvia quando la memoria allocata supera una soglia che dipende dalla quantità di memoria allocata precedentemente. Per impostazione predefinita, questa soglia è il doppio della memoria precedentemente utilizzata.
• Obiettivo: Mantenere una bassa latenza evitando pause lunghe "Stop-The-World".

// È possibile controllare il comportamento del garbage collector tramite variabili di ambiente
// ad esempio, impostando GOGC=off si disattiva la raccolta dei rifiuti.

In generale, il garbage collector di Go è efficiente e richiede un minimo intervento da parte dello sviluppatore.