On the design of monitors with priority conditions

  title={On the design of monitors with priority conditions},
  author={David E. Boddy},
  journal={ACM SIGPLAN Notices},
  • D. Boddy
  • Published 1 February 1984
  • Computer Science
  • ACM SIGPLAN Notices
Hoare[1] introduced the monitor as a tool for structuring the design of concurrent systems such as operating systems. He roposed the use of "priority conditions" to facillitate certain types of scheduling. However in his proposal there are no provisions for allowing a "customer" of the monitor to inquire as to the status of a condition. Such inquiries as "What is the highest priority process waiting on condition X?" or "How many processes are waiting on condition X with highest priority?" are… 
4 Citations
A modula‐2 kernel for supporting monitors
  • P. Terry
  • Computer Science
    Softw. Pract. Exp.
  • 1986
This paper discusses an implementation of monitors using a kernel written in Modula‐2, and finds the monitor concept has been found suitable for the design of several practical operating systems.
Modula-2 and the monitor concept
The monitor concept [Hoa74] is one approach towards ensuring a reliable concurrent programming environment that encapsulates the shared data area and the procedures that will act on this data.
Signalling regions: Multiprocessing in a shared memory reconsidered
This paper will re‐examine the monitor concept in its original context and proposes a language structure called a signalling region that together with the notion of encapsulation by modules solves the immediate resumption problem and avoids the nested monitor problem.
A Course on Software Enigneering for Concurrent Systems
  • K. Tai
  • Computer Science
  • 1988
This paper describes a graduate level course that covers concepts, techniques and tools for the specification, design, coding, and validation of concurrent software. This course is intended to


Monitors: an operating system structuring concept
This paper develops Brinch-Hansen's concept of a monitor as a method of structuring an operating system. It introduces a form of synchronization, describes a possible method of implementation in
Implementing data abstractions and monitors in UCSD Pascal
This paper discusses practical techniques for realizing these programming constructs in the UCSD dialect of Pascal in order to implement both data abstractions and monitors.