Monitors: An Operating System Structuring Concept 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. CACM October, 1974 Hoare, C. A. R. monitors, operating systems, scheduling, mutual exclusion, synchronization, system implementation languages, structured multiprogramming 4.31 4.22 CA741001 JB January 16, 1978 1:23 PM 2320 4 2597 2597 4 2597 2597 4 2597 2777 4 2597 2851 4 2597 2895 4 2597 2912 4 2597 2946 4 2597 3128 4 2597 2150 5 2597 2320 5 2597 2597 5 2597 2597 5 2597 2597 5 2597 2865 5 2597 2866 5 2597 2898 5 2597 2972 5 2597 3043 5 2597 3128 5 2597 3144 5 2597 970 6 2597 1471 6 2597 1834 6 2597 2150 6 2597 2204 6 2597 2298 6 2597 2356 6 2597 2376 6 2597 2436 6 2597 2491 6 2597 2597 6 2597 2597 6 2597 2597 6 2597 2597 6 2597 2597 6 2597 2597 6 2597 2597 6 2597 2624 6 2597 2625 6 2597 2632 6 2597 2732 6 2597 2732 6 2597 2738 6 2597 2796 6 2597 2865 6 2597 2866 6 2597 2870 6 2597 2912 6 2597 2946 6 2597 3082 6 2597