This is the first book entirely dedicated to the problem of memory management in programming language implementation. Its originality stems from the diversity of languages and approaches presented: functional programming, logic programming, object oriented programming, and parallel and sequential programming. The book contains 29 selected and refereed papers including 3 survey papers, 4 on distributed systems, 4 on parallelism, 4 on functional languages, 3 on logic programming languages, 3 on object oriented languages, 3 on incremental garbage collection, 2 on improving locality, 2 on massively parallel architectures, and an invited paper on the thermodynamics of garbage collection. The book provides a snapshot of the latest research in the domain of memory management for high-level programming language implementations.
Author(s): Paul R. Wilson (auth.), Yves Bekkers, Jacques Cohen (eds.)
Series: Lecture Notes in Computer Science 637
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1992
Language: English
Pages: 530
Tags: Programming Techniques; Programming Languages, Compilers, Interpreters; Operating Systems; Memory Structures; Data Storage Representation
Uniprocessor garbage collection techniques....Pages 1-42
Collection schemes for distributed garbage....Pages 43-81
Dynamic memory management for sequential logic programming languages....Pages 82-102
Comprehensive and robust garbage collection in a distributed system....Pages 103-115
Experience with a fault-tolerant garbage collector in a distributed lisp system....Pages 116-133
Scalable distributed garbage collection for systems of active objects....Pages 134-147
Distributed garbage collection of active objects with no global synchronisation....Pages 148-164
Memory management for parallel tasks in shared memory....Pages 165-178
Incremental multi-threaded garbage collection on virtually shared memory architectures....Pages 179-199
Generational garbage collection for lazy graph reduction....Pages 200-217
A conservative garbage collector with ambiguous roots for static typechecking languages....Pages 218-229
An efficient implementation for coroutines....Pages 230-247
An implementation of an applicative file system....Pages 248-263
A compile-time memory-reuse scheme for concurrent logic programs....Pages 264-276
Finalization in the collector interface....Pages 277-298
Precompiling C++ for garbage collection....Pages 299-314
GC-cooperative C++....Pages 315-329
Dynamic revision of choice points during garbage collection in prolog [II/III]....Pages 330-343
Ecological memory management in a continuation passing prolog engine....Pages 344-356
Replication-based incremental copying collection....Pages 357-364
Atomic incremental garbage collection....Pages 365-387
Incremental collection of mature objects....Pages 388-403
Object type directed garbage collection to improve locality....Pages 404-425
Allocation regions & implementation contracts....Pages 426-439
A concurrent generational garbage collector for a parallel graph reducer....Pages 440-453
Garbage collection in Aurora: An overview....Pages 454-472
Collections and garbage collection....Pages 473-489
Memory management and garbage collection of an extended common lisp system for massively parallel SIMD architecture....Pages 490-506
NREVERSAL of fortune — The thermodynamics of garbage collection....Pages 507-524