The mutual exclusion problem: part I---a theory of interprocess communication
L Lamport�- Concurrency: the Works of Leslie Lamport, 2019 - dl.acm.org
L Lamport
Concurrency: the Works of Leslie Lamport, 2019•dl.acm.orgA 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.
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.
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.
ACM Digital Library