DocumentCode
1306477
Title
How to make a correct multiprocess program execute correctly on a multiprocessor
Author
Lamport, Leslie
Author_Institution
Syst. Res. Center, Digital Equipment Corp., Palo Alto, CA, USA
Volume
46
Issue
7
fYear
1997
fDate
7/1/1997 12:00:00 AM
Firstpage
779
Lastpage
782
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
Keywords
concurrency control; processor scheduling; program verification; synchronisation; correctness proof; memory accesses; multiprocess program; multiprocessor; operation executions; temporal relations; Computer architecture; Data mining; Hardware; High level languages; Memory architecture; Notice of Violation; Programming profession; Safety;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/12.599898
Filename
599898
Link To Document