How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs

@article{Lamport1979HowTM,
  title={How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs},
  author={L. Lamport},
  journal={IEEE Transactions on Computers},
  year={1979},
  volume={C-28},
  pages={690-691}
}
  • L. Lamport
  • Published 1979
  • Computer Science
  • IEEE Transactions on Computers
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. 
2,707 Citations

Topics from this paper

How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor
  • L. Lamport
  • Computer Science
  • IEEE Trans. Computers
  • 1997
  • 131
  • PDF
The complexity of sequential consistency
  • Phillip B. Gibbons, E. Korach
  • Computer Science
  • [1992] Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing
  • 1992
  • 31
High-Speed Multiprocessors and Compilation Techniques
  • 290
  • PDF
Generating concurrent test-programs with collisions for multi-processor verification
  • A. Adir, G. Shurek
  • Computer Science
  • Seventh IEEE International High-Level Design Validation and Test Workshop, 2002.
  • 2002
  • 25
Parallel Computer Architecture
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 13 REFERENCES
Proving the Correctness of Multiprocess Programs
  • L. Lamport
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 1977
  • 1,153
  • PDF
Comments on "An Approach to Highly Integrated Computer-Maintained Cellular Arrays"
  • V. Agrawal
  • Mathematics, Computer Science
  • IEEE Trans. Computers
  • 1979
  • 6
Erasure and Error Decoding for Semiconductor Memories
  • C. Sundberg
  • Computer Science
  • IEEE Transactions on Computers
  • 1978
  • 17
  • PDF
A class of optimal minimum odd-weight-column SEC-DED codes
  • 505
  • PDF
Algebraic coding theory
  • E. Berlekamp
  • Computer Science
  • McGraw-Hill series in systems science
  • 1968
  • 2,738
Minimum-distance bounds for binary linear codes
  • 88
Verifying properties of parallel programs: an axiomatic approach
  • 396
  • PDF
Principles of data communication
  • 441
Development of a spaceborne memory with a single error and erasure correction scheme
  • Conf. Rec., 1977 Fault-Tolerant Computing Symp., FTCS-7
...
1
2
...