Abstract
This paper presents a proposal for structured representation of multiprogramming in a high level language. The notation used explicitly associates a data structure shared by concurrent processes with operations defined on it. This clarifies the meaning of programs and permits a large class of time-dependent errors to be caught at compile time. A combination of critical regions and event variables enables the programmer to control scheduling of resources among competing processes to any degree desired. These concepts are sufficiently safe to use not only within operating systems but also within user programs.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Brinch Hansen, P. 1970. The nucleus of a multiprogramming system. Communications of the ACM 13, 4 (April), 238–250.
Brinch Hansen, P. 1971. An outline of a course on operating system principles. International Seminar on Operating System Techniques, Belfast, Northern Ireland, (August— September).
Brinch Hansen, P. 1972. A comparison of two synchronizing concepts. Acta Informatica1, 190–199.
Conway, M.E. 1963. A multiprocessor system design. Proc. AFIPS FJCC 24, Spartan Books, New York, 139–146.
Courtois, P.J, Heymans, F., and Parnas, D.L. 1971. Concurrent control with “readers” and “writers.” Communications of the ACM14, 10 (October), 667–668.
Dijkstra, E.W. 1965. Cooperating sequential processes. Technological University, Eindhoven. Also in Programming Languages, F. Genyus, Ed. Academic Press, New York, 1968.
Hoare, C.A.R. 1971. Towards a theory of parallel programming. International Seminar on Operating System Techniques, Belfast, Northern Ireland, (August—September).
Wirth, N. 1971. The programming language Pascal. Acta Informatica1, 35–63.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1972 Springer Science+Business Media New York
About this chapter
Cite this chapter
Hansen, P.B. (1972). Structured Multiprogramming. In: Hansen, P.B. (eds) The Origin of Concurrent Programming. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-3472-0_8
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3472-0_8
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-2986-0
Online ISBN: 978-1-4757-3472-0
eBook Packages: Springer Book Archive