Monitors: An Operating System Structuring Concept

Abstract

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

Topics

Figures and Tables

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

Statistics

0204060'72'77'83'89'95'01'07'13
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