Cos'è un raccoglitore di spazzatura e come funziona?

Il Garbage Collector (GC) è un meccanismo di gestione automatica della memoria che assegna e libera memoria che non è più utilizzata dal programma.

Principio di funzionamento:

1. Allocazione della memoria: Quando un programma crea oggetti, il garbage collector assegna loro uno spazio nell'heap.
2. Determinazione dell'accessibilità: Il garbage collector determina quali oggetti sono accessibili dalle "radici" (root) del programma. Le radici possono essere variabili locali nelle funzioni in esecuzione, variabili statiche, riferimenti da thread, ecc.
3. Raccolta dei rifiuti: Gli oggetti non accessibili dalle radici sono considerati "rifiuti" e la loro memoria può essere liberata.

Esistono diversi algoritmi di raccolta dei rifiuti, ad esempio:

• Mark-and-Sweep (Segna e Spazza): Il garbage collector attraversa il grafo di oggetti raggiungibili dalle radici, marcandoli. Poi attraversa l'intero heap e libera la memoria degli oggetti marcati.
• Copia: L'heap è diviso in due parti. Gli oggetti raggiungibili vengono copiati da una parte all'altra, e la parte vecchia viene pulita.
• Generazionale: Gli oggetti sono divisi in generazioni. I nuovi oggetti vanno nella generazione giovane, i vecchi in quella matura. La raccolta dei rifiuti avviene più frequentemente nella generazione giovane, poiché la maggior parte degli oggetti ha una vita breve.

Esempio di funzionamento in Java (semplificato):

// Il programma crea oggetti nell'heap
Object obj1 = new Object();
Object obj2 = new Object();

// obj1 diventa inaccessibile
obj1 = null;

// Il garbage collector può liberare la memoria occupata da obj1