How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor
How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor
复制标题
如何使正确的多进程程序在多处理器上正确执行
DOI：
--
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
L. Lamport
中科院分区：
文献类型：
--
作者：
L. Lamport
在现代多处理器上执行的多进程程序必须发出显式命令来同步存储器访问。提出了一种方法，用于从基于操作执行之间的时间关系的形式主义中的底层算法的正确性证明中导出必要的命令。
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.