Garbage collection: differenze tra le versioni

Versione delle 14:42, 27 lug 2019

Versione delle 18:53, 11 ago 2019

Riga 40:

=== Raggiungibilità di un oggetto ===

Siano "'''p"'''" e "'''q"'''" due oggetti, e sia q un oggetto raggiungibile. Diremo che p è raggiungibile in maniera ricorsiva, se e solo se esiste un riferimento ad esso tramite l'oggetto q (ovvero p è raggiungibile attraverso un oggetto q, a sua volta raggiungibile). Un oggetto può essere raggiungibile solo in due casi:

* Quando viene creato all'avvio del programma (oggetto globale) o di una sua sotto-procedura (oggetti di [[scope]], creati sullo [[stack]]); l'oggetto in questione viene detto in tal caso '''radice''';

* Quando un altro oggetto, raggiungibile, trattiene un riferimento ad esso; in modo più formale, la raggiungibilità è una ''chiusura transitiva''.