Access Restriction

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