Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
Constructing correct and efficient concurrent programs
Proceedings of the international conference on Reliable software
Some experiments in object-oriented simulation
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Language Constructs for Specifying Concurrency in CDL
IEEE Transactions on Software Engineering
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
ACM Computing Surveys (CSUR)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
A conceptual framework for a nonprocedural programming language
Communications of the ACM
The invention of concurrent programming
The origin of concurrent programming
Hardware support for concurrent programming in loosely coupled multiprocessors
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Serializability in multi-level monitor environments
ACM '78 Proceedings of the 1978 annual conference - Volume 2
On the generalized critical region construct
ACM SIGOPS Operating Systems Review
A note on the distributed program component cell
ACM SIGPLAN Notices
ACM SIGPLAN Notices
On the synchronization mechanism of the ADA language
ACM SIGPLAN Notices
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent Program Metrics Drawn by Quasar
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Automatic refinement of split binary semaphore
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
AutoSynch: an automatic-signal monitor based on predicate tagging
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
Hi-index | 48.23 |
In the monitor concept, as proposed by Brinch Hansen and Hoare, event queues are used for synchronization. This paper describes another synchronizing primitive which is nearly as expressive as the conditional wait, but can be implemented more efficiently. An implementation of this primitive in terms of P and V operations is given together with a correctness proof. Two examples are presented: the readers and writers problem and the problem of information streams sharing a finite buffer pool.