|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Progranm
September 1979 (vol. 28 no. 9)
pp. 690-691
| ASCII Text | x | ||
| L. Lamport, "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Progranm," IEEE Transactions on Computers, vol. 28, no. 9, pp. 690-691, September, 1979. | |||
| BibTex | x | ||
| @article{ 10.1109/TC.1979.1675439, author = {L. Lamport}, title = {How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Progranm}, journal ={IEEE Transactions on Computers}, volume = {28}, number = {9}, issn = {0018-9340}, year = {1979}, pages = {690-691}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.1979.1675439}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Computers TI - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Progranm IS - 9 SN - 0018-9340 SP690 EP691 EPD - 690-691 A1 - L. Lamport, PY - 1979 KW - parallel processing KW - Computer design KW - concurrent computing KW - hardware correctness KW - multiprocessing VL - 28 JA - IEEE Transactions on Computers ER - | |||
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.
Index Terms:
parallel processing, Computer design, concurrent computing, hardware correctness, multiprocessing
Citation:
L. Lamport, "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Progranm," IEEE Transactions on Computers, vol. 28, no. 9, pp. 690-691, Sept. 1979, doi:10.1109/TC.1979.1675439
Usage of this product signifies your acceptance of the Terms of Use.