Abstract

The paper describes a new programming language for structured programming of computer operating systems. It extends the sequential programming language Pascal with concurrent programming tools called processes and monitors. Part I explains these concepts informally by means of pictures illustrating a hierarchical design of a simple spooling system. Part II uses the same example to introduce the language notation. The main contribution of Concurrent Pascal is to extend the monitor concept with an explicit hierarchy of access rights to shared data structures that can be stated in the program text and checked by a compiler.

Citations

446	Monitors - An Operating System Structuring Concept - Hoare - 1974
276	The architechture of complexity - Simon - 1962
173	Hierarchical ordering of sequential processes - Dijkstra - 2002
76	Operating systems principles - Hansen - 1973
64	The nucleus of a multiprogramming system - HANSEN - 1970
40	Structured multiprogramming - Hansen - 1972
36	Hierarchical Program Structures - Dahl, Hoare - 1972
26	Concurrent programming concepts - Hansen - 1973
6	A programming methodology for operating system design - Hansen - 1974