How to make a correct multiprocess program execute correctly on a multiprocessor (1997)
Download From
IEEE
Download Links
- [www.cs.berkeley.edu]
- [www.cs.uoregon.edu]
- [gatekeeper.dec.com]
- [ftp.digital.fr]
- [research.microsoft.com]
- [www.cs.utexas.edu]
- DBLP
Other Repositories/Bibliography
by
Leslie Lamport
| Venue: | IEEE Transactions on Computers |
| Citations: | 33 - 3 self |
BibTeX
@ARTICLE{Lamport97howto,
author = {Leslie Lamport},
title = {How to make a correct multiprocess program execute correctly on a multiprocessor},
journal = {IEEE Transactions on Computers},
year = {1997},
volume = {46}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A multiprocess program executing on a modern multiprocessor must issue explicit commands to synchronize memory accesses. A method is proposed for deriving the necessary commands from a correctness proof of the underlying algorithm in a formalism based on temporal relations among operation executions. index terms concurrency, memory consistency, multiprocessor, synchronization, verification
