The Community for Technology Leaders
Green Image
ABSTRACT
<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>
INDEX TERMS
Concurrency, memory consistency, multiprocessor, synchronization, verification.
CITATION

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.
doi:10.1109/12.599898
98 ms
(Ver 3.3 (11022016))