Affiliation:
1. Digital Equipment Corp., Palo Alto, CA
Abstract
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.
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Cited by
147 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Solving Concurrent Process Problem in Process-Oriented Programs;Vestnik NSU. Series: Information Technologies;2023-10-05
2. Brief Announcement: On Solving Recoverable Mutual Exclusion Under System-Wide Failures;Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures;2023-06-17
3. Solving infinite-domain CSPs using the patchwork property;Artificial Intelligence;2023-04
4. Introduction;Recoverable Mutual Exclusion;2023
5. Prior Work;Recoverable Mutual Exclusion;2023