On-the-fly garbage collection
- 1 November 1978
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 21 (11) , 966-975
- https://doi.org/10.1145/359642.359655
Abstract
As an example of cooperation between sequential processes with very little mutual interference despite frequent manipulations of a large shared data space, a technique is developed which allows nearly all of the activity needed for garbage detection and collection to be performed by an additional processor operating concurrently with the processor devoted to the computation proper. Exclusion and synchronization constraints have been kept as weak as could be achieved; the severe complexities engendered by doing so are illustrated.Keywords
This publication has 4 references indexed in Scilit:
- An exercise in proving parallel programs correctCommunications of the ACM, 1977
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977
- Multiprocessing compactifying garbage collectionCommunications of the ACM, 1975
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975