Issue No. 07 - July (1997 vol. 46)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.599898
<p><b>Abstract</b>—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.</p>
Concurrency, memory consistency, multiprocessor, synchronization, verification.
L. Lamport, "How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor," in IEEE Transactions on Computers, vol. 46, no. , pp. 779-782, 1997.