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 terms of semaphores and gives a suitable proof rule. Illustrative examples include a single resource scheduler, a bounded buffer, an alarm clock, a buffer pool, a… (More)
DOI: 10.1145/355620.361161
View Slides


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.


Citations per Year

1,469 Citations

Semantic Scholar estimates that this publication has 1,469 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics