article
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
IEEE Transactions on Computers · 1979 · Vol. C-28(9) · pp. 690–691
Lamport✉(SRI International)
Abstract
Many large sequential computers execute operations in a different order than is specified by the program. A correct execution is achieved if the results produced are the same as would be produced by executing the program steps in order. For a multiprocessor computer, such a correct execution by each processor does not guarantee the correct execution of the entire program. Additional conditions are given which do guarantee that a computer correctly executes multiprocess programs.
Parallel Computing and Optimization TechniquesLogic, programming, and type systemsEmbedded Systems Design TechniquesComputer scienceMultiprocessingParallel computingOut-of-order executionOrder (exchange)Execution timeOperating systemProgramming language
Citations
2,511
FWCI
2.49
field-weighted impact
References
3
Percentile
88%
vs. same field & year
Citations per year
Cited by
The NYU Ultracomputer—Designing an MIMD Shared Memory Parallel Computer
IEEE Transactions on Computers · 1983 · 745 citations
Using MPI-2: Advanced features of the message-passing interface
Computers & Mathematics with Applications · 2000 · 577 citations
Citation Network
How this paper connects to the literature. Drag to explore, click any node to open that paper.