SRC Research Report 96

How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor

Leslie Lamport

A multiprocess program executing on a modern multiprocessor must issue explicit commands to synchronize memory accesses. A method is proposed for deriving the necessary commands from a correctness proof of the algorithm.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 56 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 41 Kbytes
  
• PostScript compressed with ZIP -- 41 Kbytes
  
• PostScript -- 144 Kbytes
  
• Portable Document Format (PDF) -- 152 Kbytes