On-the-fly darbage collection: an exercise in cooeration

  • Edsger W. Dijkstra
  • Leslie Lamport
  • A. J. Martin
  • C. S. Scholten
  • E. F. M. Steffens
Chapter 1.: Concurrency
Part of the Lecture Notes in Computer Science book series (LNCS, volume 46)


A technique is presented which allows nearly all of the garbage detection and collection activity to be performed by an additional processor, operating concurrently with the processor carrying out the computation proper. Exclusion and synchronization contraints between the processors have been kept weak.

Key Words and Phrases

garbage collection multiprocessing cooperation between sequential processes with minimized mutual exclusion program correctness for multiprocessing tasks 

CR Categories

4.32 4.34 4.35 4.39 5.23 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Dijkstra, Edsger W., Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Comm. ACM 18, 8 (Aug. 1975), 453–457.CrossRefGoogle Scholar
  2. 2.
    Steeler Jr., Guy L., Multiprocessing Compactifying Garbage Collection. Comm. ACM 18, 9 (Sep. 1975), 495–508.CrossRefGoogle Scholar
  3. 3.
    Lamport, Leslie. On Concurrent Reading and Writing. (Submitted to the Comm. ACM.)Google Scholar
  4. 4.
    Scholten, C.S., Private CommunicationGoogle Scholar
  5. 5.
    Gries, David, An Exercise in Proving Parallel Programs Correct. (Submitted to the Comm.ACM.)Google Scholar
  6. 6.
    Lamport, Leslie, Report CA-7508-0111, Massachusetts Computer Associates, Inc.Google Scholar
  7. 7.
    Woodger, M., Private Communications.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • Edsger W. Dijkstra
    • 1
  • Leslie Lamport
    • 2
  • A. J. Martin
    • 3
  • C. S. Scholten
    • 4
  • E. F. M. Steffens
    • 3
  1. 1.BurroughsNUENENThe Netherlands
  2. 2.Massachusetts Computer Associates Inc.WAKEFIELDUSA
  3. 3.Philips Research LaboratoriesEINDHOVENThe Netherlands
  4. 4.Philips-Electrologica B.V.APELDOORNThe Netherlands

Personalised recommendations