The mutual exclusion problem: part I—a theory of interprocess communication
The mutual exclusion problem: part I—a theory of interprocess communication
复制标题
互斥问题：第一部分——进程间通信理论
DOI：
--
复制
发表时间：
1986
期刊：
影响因子：
--
通讯作者：
L. Lamport
中科院分区：
文献类型：
--
作者：
L. Lamport
提出了一种新的并发系统的形式化理论，该理论不假设任何原子操作。并发程序的执行被建模为具有两种时序关系的操作执行的抽象集合：“优先”和“可以因果影响”。然后定义了一个原始的进程间通信机制。在第二部分中，互斥是准确地表达在这个模型，并使用通信机制的解决方案。
A novel formal theory of concurrent systems that does not assume any atomic operations is introduced. The execution of a concurrent program is modeled as an abstract set of operation executions with two temporal ordering relations: “precedence” and “can causally affect”. A primitive interprocess communication mechanism is then defined. In Part II, the mutual exclusion is expressed precisely in terms of this model, and solutions using the communication mechanism are given.