Garbage Collection
The term for automated memory-management and reclamation, one of the many methods of migration.
GC is not a generic solution for memory leaks, but a (correct) GC is a generic solution for 'dangling pointers'. Just as there is no general solution for 'loops' (due to undecidability), there is no general solution for 'leaks'.
-- Henry Baker
- the Garbage Collection page by Richard Jones with extensive links and bibliography.
- Paul R. Wilson's OOPS team, and his dedicated GC FTP site.
- GC FAQ -- draft a draft FAQ for The Garbage Collection List (GC-LIST).
- The SOR project at french INRIA? has developed distributed GCs.
- Dynamic Storage Allocation Information Repository.
- Another Garbage Collection page.
- Andrew W. Appel. Garbage collection can be faster than stack allocation (.ps). Information Processing Letters 25(4):275-279, 17 June 1987.
- Miller, James S. and Guillermo J. Rozas. Garbage Collection is Fast, But a Stack is Faster (.ps.Z) (.pdf). MIT AI Lab. AIM-1462. March 1994.
- A study of Memory Allocation Costs in Large C and C++ Programs (.ps.Z) compares conservative GC and various memory allocation techniques.
- Damien Doligez's Conception, réalisation et certification d'un glaneur de cellules concurrent (.ps.gz) Ph.D. thesis (in French) about proving correct the concurrent GC he wrote for OCAML and other relevant papers.
- Henry G. Baker has a good GC papers.
Papers
- Paul R. Wilson's Uniprocessor Garbage Collection Techniques (.ps) and the draft of much expanded version (.ps).
- Paul R. Wilson, Mark S. Johnstone, Michael Neely, and David Boles Dynamic Storage Allocation: A Survey and Critical Review (.ps).
- David Plainfossé's and Marc Shapiro's Survey of Distributed Garbage Collection techniques.
Surveys
- Emacs GC.
- MzScheme GC.
Random pointers about GC
- The Boehm-Demers-Weiser conservative GC for C/C++.
- GCspy, a heap visualisation framework at Sun Microsystems Laboratories.
Page in this topic: Why GC
Also linked from: Cedar Escape EUMEL GC Hermes Language Implementation Linear Logic Comments Methods of Migration Mica Modula-3 Preemption and Cooperation Sheep Sigil