Quali algoritmi di garbage collection "con precisione temporale" esistono?

Question

Quali algoritmi di garbage collection possono riconoscere gli oggetti inutili non appena diventano immondizia?

L'unica cosa che mi viene in mente è il conteggio dei riferimenti con una ricerca del ciclo aggiunta ogni volta che un conteggio dei riferimenti viene decrementato a un valore diverso da zero.

Esistono altri interessanti algoritmi di raccolta che possono raggiungere questo obiettivo? (Nota che sto chiedendo solo per curiosità, sono consapevole che tutti questi collezionisti sarebbero probabilmente incredibilmente inefficienti)

Answer 1

Tale meccanismo si chiamerebbe "gestione dell'heap", non la garbage collection.

Per definizione, la garbage collection è disaccoppiata dalla gestione dell'heap. Questo perché in alcuni ambienti/applicazioni è più efficiente saltare un'operazione "gratuita" e tenere traccia di ciò che è in uso. Invece, ogni tanto, solo un attimo fa e raccolgo tutti i nodi non referenziati e li rimettono nella lista libera.

== == Addendum

mi viene downvoted per aver tentato di correggere la terminologia della gestione heap con garbage collection. Il Wikipedia article concorda con il mio utilizzo, e ciò che ho imparato all'università, anche se è stato diversi decenni fa. Linguaggi come Lisp e Snobol hanno inventato la necessità di garbage collection. Linguaggi come C non forniscono un ambiente di runtime così gravoso; invece si affidano al programmatore per gestire la pulizia dei bit di memoria e risorse inutilizzati.

Answer 2

Sebbene non sia un algoritmo di garbage collection, l'analisi di escape consente di ragionare sulla durata di vita degli oggetti. Quindi, se l'efficienza è una preoccupazione e gli oggetti dovrebbero essere raccolti non in tutti i casi, ma in casi "ovvi", può essere utile. L'idea di base è di eseguire l'analisi statica del programma (in fase di compilazione o di caricamento se compilato per una VM) e di capire se un oggetto appena creato può sfuggire a una routine in cui è stato creato (da qui il nome dell'analisi) . Se l'oggetto non viene passato da nessun'altra parte, non è archiviato nella memoria globale, non viene restituito dalla routine specificata, ecc., Può essere rilasciato prima di tornare da questa routine o anche prima, nel luogo in cui è stato utilizzato per l'ultima volta.

Gli oggetti che non durano più della chiamata al metodo associato possono essere allocati nello stack anziché nell'heap in modo che possano essere rimossi dal ciclo di garbage collection in fase di compilazione, riducendo quindi la pressione sul GC generale.