How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
- 1 September 1979
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-28 (9) , 690-691
- https://doi.org/10.1109/tc.1979.1675439
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.Keywords
This publication has 3 references indexed in Scilit:
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977
- Verifying properties of parallel programsCommunications of the ACM, 1976
- Hierarchical ordering of sequential processesActa Informatica, 1971