Thumbnail
Access Restriction
Subscribed

Author Hoare, C. A. R.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword System implementation languages ♦ Operating systems ♦ Monitors ♦ Scheduling ♦ Mutual exclusion ♦ Structured multiprogramming ♦ Synchronization
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 disk head optimizer, and a version of the problem of readers and writers.
Description Affiliation: The Queen's Univ. of Belfast, Belfast, Northern Ireland (Hoare, C. A. R.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 17
Issue Number 10
Page Count 9
Starting Page 549
Ending Page 557


Open content in new tab

   Open content in new tab
Source: ACM Digital Library