Skip to main content

Structured Multiprogramming

  • Chapter

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   139.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

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.

    Article  MATH  Google Scholar 

  • Brinch Hansen, P. 1971. An outline of a course on operating system principles. International Seminar on Operating System Techniques, Belfast, Northern Ireland, (August— September).

    Google Scholar 

  • Brinch Hansen, P. 1972. A comparison of two synchronizing concepts. Acta Informatica1, 190–199.

    Article  Google Scholar 

  • Conway, M.E. 1963. A multiprocessor system design. Proc. AFIPS FJCC 24, Spartan Books, New York, 139–146.

    Google Scholar 

  • Courtois, P.J, Heymans, F., and Parnas, D.L. 1971. Concurrent control with “readers” and “writers.” Communications of the ACM14, 10 (October), 667–668.

    Article  Google Scholar 

  • Dijkstra, E.W. 1965. Cooperating sequential processes. Technological University, Eindhoven. Also in Programming Languages, F. Genyus, Ed. Academic Press, New York, 1968.

    Google Scholar 

  • Hoare, C.A.R. 1971. Towards a theory of parallel programming. International Seminar on Operating System Techniques, Belfast, Northern Ireland, (August—September).

    Google Scholar 

  • Wirth, N. 1971. The programming language Pascal. Acta Informatica1, 35–63.

    Article  MATH  Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics