Affiliation:
1. Univ. of Waterloo, Waterloo, Ont., Canada
2. EDS Research and Development, Troy, MI
Abstract
One of the most natural, elegant, and efficient mechanisms for synchronization and communication, especially for systems with shared memory, is the
monitor
. Over the past twenty years many kinds of monitors have been proposed and implemented, and many modern programming languages provide some form of monitor for concurrency control. This paper presents a taxonomy of monitors that encompasses all the extant monitors and suggests others not found in the literature or in existing programming languages. It discusses the semantics and performance of the various kinds of monitors suggested by the taxonomy, and it discusses programming techniques suitable to each.
Publisher
Association for Computing Machinery (ACM)
Subject
General Computer Science,Theoretical Computer Science
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesizing fine-grained synchronization protocols for implicit monitors;Proceedings of the ACM on Programming Languages;2022-04-29
2. Advanced control‐flow and concurrency in C∀;Software: Practice and Experience;2020-12
3. Symbolic Reasoning for Automatic Signal Placement;ACM SIGOPS Operating Systems Review;2020-08-31
4. Symbolic reasoning for automatic signal placement;ACM SIGPLAN Notices;2018-12-02
5. Symbolic reasoning for automatic signal placement;Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation;2018-06-11