DMCA
Monitors: An Operating System Structuring Concept (1974)
| Venue: | Communications of the ACM |
| Citations: | 558 - 0 self |
BibTeX
@ARTICLE{Hoare74monitors:an,
author = {C. A. R Hoare},
title = {Monitors: An Operating System Structuring Concept},
journal = {Communications of the ACM},
year = {1974},
volume = {17},
pages = {549--557}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This is a digitized copy derived from an ACM copyrighted work. It is not guaranteed to be an accurate copy of the author's original work. 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 rnctltotl of implementation in terms of semaphorcs and gives a suitable proof rule. Illustrative examples include a single rcsourcc scheduler, a bounded buffer, an alarm clock, a buffer pool, a disk head optimizer, and a version of the problem of readers and writers. Key Words and Phrases: monitors, operating systems,schcduling, mutual exclusion, synchronization, system implementation langua yes, structured multiprogramming CR Categories:
Keyphrases
operating system structuring concept single rcsourcc scheduler possible rnctltotl operating system original work suitable proof rule buffer pool system implementation key word illustrative example accurate copy bounded buffer cr category mutual exclusion disk head optimizer digitized copy alarm clock
