Cos'è il garbage collector in C#?

Il garbage collector in C# fa parte dell'ambiente di esecuzione .NET (CLR), che gestisce automaticamente la memoria liberando le risorse occupate da oggetti non più accessibili.

Principi di funzionamento:

• Monitoraggio degli oggetti: Il garbage collector traccia gli oggetti creati nell'heap gestito.
• Determinazione dell'accessibilità: Determina quali oggetti sono raggiungibili dal codice in esecuzione (cioè, a cui fanno riferimento riferimenti validi).
• Raccolta di oggetti inaccessibili: Gli oggetti che non sono più raggiungibili sono considerati "spazzatura" e possono essere rimossi in modo sicuro.

Il processo di raccolta include:

1. Marcatura (Marking). Il GC scansiona lo stack e i registri per trovare le radici (oggetti radice). Da queste radici, attraversa il grafo degli oggetti, marcando quelli raggiungibili.
2. Compattazione (Compacting). Permette di ridurre la frammentazione della memoria. Il GC sposta gli oggetti raggiungibili in un blocco di memoria contiguo, lasciando spazio libero.
3. Pulizia (Sweeping). Gli oggetti inaccessibili (non marcati) vengono rimossi e la loro memoria viene liberata.

Caratteristiche principali:

• Gestione automatica: Rimuove la responsabilità manuale dello sviluppatore di liberare la memoria.
• Generazioni: L'heap è diviso in generazioni (Gen 0, Gen 1, Gen 2). Questo ottimizza la raccolta, poiché la maggior parte degli oggetti diventa spazzatura rapidamente. Gli oggetti nuovi vengono creati in Gen 0. Se un oggetto sopravvive alla raccolta in Gen 0, viene spostato in Gen 1, e così via.
• Finalizzatori e rilascio (Finalizers and Disposal): Il GC non garantisce l'esecuzione immediata dei finalizzatori per gli oggetti che implementano IDisposable. Per liberare risorse non gestite, si dovrebbe usare un meccanismo esplicito (Dispose(), dichiarazione using).

// Esempio di utilizzo della dichiarazione using per liberare risorse esplicitamente
using (var stream = new System.IO.FileStream("temp.txt", System.IO.FileMode.Create))
{
    // Lavorare con il file
} // stream.Dispose() verrà chiamato automaticamente