An Alternative to Event Queues for Synchronization in Monitors

In the monitor concept, as proposed by Brinch
Hansen and Hoare, event 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.

CACM July, 1977

Kessels, J. L. W.

monitor, operating system, mutual exclusion, synchronization,
conditional critical region, structuring 
concept

4.31

CA770706 JB December 28, 1977  10:10 AM

2320	4	2946
2597	4	2946
2777	4	2946
2851	4	2946
2895	4	2946
2912	4	2946
2938	4	2946
2946	4	2946
2946	4	2946
3128	4	2946
3128	4	2946
2150	5	2946
2866	5	2946
2898	5	2946
2946	5	2946
2946	5	2946
2946	5	2946
2597	6	2946
2946	6	2946