On-the-Fly Garbage Collection: An Exercise in Cooperation

Communications of the ACM

Volumn 21, Issue 11, 1978, Pages 966-975

  Dijkstra, Edsger W ^a   Lamport, Leslie ^b   Martin, A J ^c   Scholten, C S ^c   Steffens, E F M ^c  

^a Burroughs Corporation ^*  (Netherlands)

^b SRI INTERNATIONAL   (United States)

^c PHILIPS RESEARCH LABORATORIES   (Netherlands)

Author keywords

cooperation bet. sequential processes w minimized mutual ex; fine grained interleaving; garbage collection; multiprocessing; program correctness for multiprogramming tasks

Indexed keywords

COMPUTER OPERATING SYSTEMS;

EID: 0018030792     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/359642.359655     Document Type: Article

References (4)

1. Dijkstra, E.W. Guarded commands, nondeterminacy and formal derivation of programs. Comm. ACM 18, 8 (Aug. 1975), 453-457.
2. Gries, D. An exercise in proving parallel programs correct. Comm. ACM. 20, 12 (Dec. 1977), 921-930.
3. Lamport, L. Proving the correctness of multiprocess programs. IEEE Trans. Software Eng. SE-3, 2 (March 1977), 125-143.
4. Steele, Jr., G.L. Multiprocessing compactifying garbage collection. Comm. ACM 18, 9 (Sep. 1975), 495-508.