1;3409;0c How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs

How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs

IEEE Transactions on Computers, vol. 28, no. 9, 1979
Pages: 690-691DOI: 10.1109/TC.1979.1675439

TC

bibtex

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.