Monitors: an operating system structuring concept
The work
| Authors | C. A. R. Hoare |
|---|---|
| Type | article |
| Year | 1974 |
| Citekey | hoare1974monitors |
Where it appeared
| Published in | Communications of the ACM |
|---|---|
| Publisher | Association for Computing Machinery |
| Volume | 17 |
| Issue | 10 |
| Pages | 549--557 |
Identifiers
| DOI | 10.1145/355620.361161 |
|---|---|
| OpenAlex | W2131791649 |
Access
| Free full text | https://dl.acm.org/doi/pdf/10.1145/355620.361161 |
|---|---|
| Landing page | https://doi.org/10.1145/355620.361161 |
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.
A copy is held
pdf, 836.8 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-09 12:29 UTC |
Filed under
Cite it as
@article{hoare1974monitors,
title = {Monitors: an operating system structuring concept},
author = {C. A. R. Hoare},
year = {1974},
journal = {Communications of the ACM},
volume = {17},
number = {10},
pages = {549--557},
publisher = {Association for Computing Machinery},
doi = {10.1145/355620.361161},
}
This record lives at https://refs.drheap.org/hoare1974monitors/ and will keep doing so.