Monitors: An Operating System Structuring Concept

Communications of the ACM

Volumn 17, Issue 10, 1974, Pages 549-557

  Hoare, C A R ^a  

^a QUEEN'S UNIVERSITY BELFAST   (United Kingdom)

Author keywords

monitors; mutual exclusion; operating systems; scheduling; structured multiprogramming; synchronization; system implementation languages

Indexed keywords

COMPUTER OPERATING SYSTEMS;

EID: 0016114085     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/355620.361161     Document Type: Article

References (15)

1. Brinch-Hansen, P. Structured multiprogramming. Comm. ACM 15, 7 (July 1972), 574-577.
2. Brinch-Hansen, P. “A comparison of two synchronizing concepts,” Acta Information 1 (1972), 190-199.
3. Brinch-Hansen, P. Operating System Principles. Prentice-Hall, Englewood Cliffs, N.J., 1973.
4. Courtois, P. J., Heymans, F., Parnas, D.L. Concurrent control with readers and writers. Comm. ACM 14, 10 (Oct. 1971), 667-668.
5. Courtois, P.J., Heymans, F., Parnas, D.L. Comments on [2], Acta Informatica 1 (1972), 375-376.
6. Dahl, O.J. Hierarchical program structures. In Structured Programming, Academic Press, New York, 1972.
7. Dijkstra, E.W. Cooperating Sequential Processes. In Programming Languages (Ed. F. Genuys), Academic Press, New York, 1968.
8. Dijkstra, E.W. A constructive approach to the problem of program correctness. BIT 8 (1968), 174-186.
9. Dijkstra, E.W. Hierarchical ordering of sequential processes. In Operating Systems Techniques, Academic Press, New York, 1972.
10. Dijkstra, E.W. Information streams sharing a finite buffer. Information Processing Letters 1, 5 (Oct. 1972), 179-180.
11. Dijkstra, E.W. A class of allocation strategies inducing bounded delays only. Proc AFIPS 1972 SJCC, Vol. 40, AFIPS Press, Montvale, N.J., pp. 933-936.
12. Hoare, C.A.R. Towards a theory of parallel programming. In Operating Systems Techniques, Academic Press, New York, 1972.
13. Hoare, C.A.R. Proof of correctness of data representations. Acta Informatica 1 (1972), 271-281.
14. Hoare, C.A.R. A structured paging system. Computer J. 16, 3 (1973), 209-215.
15. Wirth, N. The programming language PASCAL. Acta Informatica I, 1 (1971), 35-63.