Structured multiprogramming

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Structured multiprogramming

Full text

Pdf (396 KB)

Source

Communications of the ACM archive
Volume 15 , Issue 7 (July 1972) table of contents

Pages: 574 - 578

Year of Publication: 1972

ISSN:0001-0782

Author

Per Brinch Hansen

California Institute of Technology, Pasadena

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 60, Citation Count: 47

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/361454.361473 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Wirth, N. The programming language Pascal. Acta Informatica 1, 1 (1971), 35-63.
	2	Brinch Hansen, P. An outline of a course on operating system principles. International Seminar on Operating System Techniques, Belfast, Northern Ireland, Aug.-Sept. 1971.
	3	Hoare, C.A.R. Towards a theory of parallel programming. International Seminar on Operating System Techniques, Belfast, Northern Ireland, Aug.-Sept. 1971.
	4	Dijkstra, E.W. Cooperating sequential processes. Technological U., Eindhoven, 1965. Reprinted in Programming Languages, F. Genuys (Ed.), Academic Press, New York, 1968.
	5	Conway, M.E. A multiprocessor system design. Proc. AFIPS 1963 FJCC Vol. 24, Spartan Books, New York, pp. 139-146.
	6	P. J. Courtois , F. Heymans , D. L. Parnas, Concurrent control with “readers” and “writers”, Communications of the ACM, v.14 n.10, p.667-668, Oct. 1971 [doi>10.1145/362759.362813]
	7	Brinch Hansen, P. A comparison of two synchronizing concepts. Acta Informatica 1, 3 (1972), 190-199.
	8	Per Brinch Hansen, The nucleus of a multiprogramming system, Communications of the ACM, v.13 n.4, p.238-241, April 1970 [doi>10.1145/362258.362278]

CITED BY 47

	Per Brinch Hansen, Multiprocessor architectures for concurrent programs, ACM SIGARCH Computer Architecture News, v.7 n.4, p.4-23, December 1978
	C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974
	C. A. R. Hoare, Assertions: A Personal Perspective, IEEE Annals of the History of Computing, v.25 n.2, p.14-25, April 2003
	Per Brinch Hansen, Concurrent Programming Concepts, ACM Computing Surveys (CSUR), v.5 n.4, p.223-245, Dec. 1973
	David F. Bacon , Robert E. Strom , Ashis Tarafdar, Guava: a dialect of Java without data races, ACM SIGPLAN Notices, v.35 n.10, p.382-400, Oct. 2000
	Gregory R. Andrews , Fred B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys (CSUR), v.15 n.1, p.3-43, March 1983
	Chyuan Samuel Hsieh , Elizabeth A. Unger, Resource scheduling: specification and proof techniques, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.429-437, February 1988, Atlanta, Georgia, United States
	Gregor V. Bochmann, Hierarchical language definition, ACM SIGPLAN Notices, v.8 n.9, p.50-51, September 1973
	A. Silberschatz , R. B. Kieburtz, The external consistency of abstract data types, ACM SIGPLAN Notices, v.15 n.2, p.64-73, February 1980
	Per Brinch Hansen, Monitors and concurrent Pascal: a personal history, ACM SIGPLAN Notices, v.28 n.3, p.1-35, March 1993
	Per Brinch Hansen, The invention of concurrent programming, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Per Brinch Hansen, Multiprocessor Architectures For Concurrent Programs, Proceedings of the 1978 annual conference, p.317-323, December 04-06, 1978, Washington, D.C., United States
	Laurent Thomas, A generic object-oriented concurrency mechanism for extensibility and reuse of synchronization components, Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, p.1091-1097, March 1992, Kansas City, Missouri, United States
	Charles M. Shub, The decline and fall of Operating Systems I, ACM SIGCSE Bulletin, v.19 n.1, p.217-220, Feb. 1987
	A. J. Wellings , B. Johnson , B. Sanden , J. Kienzle , T. Wolf , S. Michell, Integrating object-oriented programming and protected objects in Ada 95, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.3, p.506-539, May 2000
	A. J. Wellings , B. Johnson , B. Sanden , J. Kienzle , T. Wolf , S. Michell, Integrating object-oriented programming and protected objects in Ada 95, ACM SIGAda Ada Letters, v.XXII n.2, p.11-44, June 2002
	John Plevyak , Xingbin Zhang , Andrew A. Chien, Obtaining sequential efficiency for concurrent object-oriented languages, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.311-321, January 23-25, 1995, San Francisco, California, United States
	Andrea Skarra , Herman Rao, A file system interface for concurrent access, Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs, September 12-14, 1994, Wadern, Germany
	Wolfgang Hoyer, Intertask communication realized with an interrupt mechanism, Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective, p.463-470, October 1985, Denver, Colorado, United States
	C. William Higginbotham , Ralph Morelli, A system for teaching concurrent programming, ACM SIGCSE Bulletin, v.23 n.1, p.309-316, Mar. 1991
	Olivier Lecarme, Structured programming, programming teaching and the language Pascal, ACM SIGPLAN Notices, v.9 n.7, p.15-21, July 1974
	Michael J. Spier , Richard L. Hill , Timothy J. Stein , Daniel Bricklin, The TYPESET-10 Message Exchange Facility: a case study in systemic design, ACM SIGOPS Operating Systems Review, v.9 n.1, p.10-18, January 1975
	Tony P. Ng, Using histories to implement atomic objects, ACM Transactions on Computer Systems (TOCS), v.7 n.4, p.360-393, Nov. 1989
	J. L. Keedy, On structuring operating systems with monitors, ACM SIGOPS Operating Systems Review, v.13 n.1, p.5-9, January 1979
	John C. Reynolds, Syntactic control of interference, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.39-46, January 23-25, 1978, Tucson, Arizona
	Per Brinch Hansen, The programming language concurrent Pascal, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Andy Wellings , Alan Burns, Implementing Atomic Actions in Ada 95, IEEE Transactions on Software Engineering, v.23 n.2, p.107-123, February 1997
	Philippe Charles , Christian Grothoff , Vijay Saraswat , Christopher Donawa , Allan Kielstra , Kemal Ebcioglu , Christoph von Praun , Vivek Sarkar, X10: an object-oriented approach to non-uniform cluster computing, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Peter Jensen, The grok project data structures and process communication, ACM SIGPLAN Notices, v.8 n.9, p.82-85, September 1973
	Per Brinch Hansen, The purpose of concurrent Pascal, ACM SIGPLAN Notices, v.10 n.6, p.305-309, June 1975
	Per Brinch Hansen, Monitors and Concurrent Pascal: a personal history, History of programming languages---II, ACM Press, New York, NY, 1996
	Martin C. Rinard , Pedro C. Diniz, Eliminating synchronization bottlenecks using adaptive replication, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.3, p.316-359, May 2003
	Peter A. Buhr , Ashif S. Harji, Implicit-signal monitors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.6, p.1270-1343, November 2005
	C. A. R. Hoare, Monitors: an operating system structuring concept, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Thomas Haigh, Biographies, IEEE Annals of the History of Computing, v.25 n.1, p.80-87, January 2003
	Barbara G. Ryder , Mary Lou Soffa , Margaret Burnett, The impact of software engineering research on modern progamming languages, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.4, p.431-477, October 2005
	Gary D. Knott, A proposal for certain process management and intercommunication primitives, ACM SIGOPS Operating Systems Review, v.8 n.4, p.7-44, October 1974
	Frederick G. Sayward, A correctness criterion for CSP parallel programs, ACM SIGPLAN Notices, v.10 n.9, September 1975
	W. C. Lynch , J. W. Langner , M. S. Schwartz, Reliability experience with Chi/OS, ACM SIGPLAN Notices, v.10 n.6, p.252-259, June 1975
	Per Brinch Hansen, The architecture of concurrent programs, Prentice-Hall, Inc., Upper Saddle River, NJ, 1977
	Peter W. OHearn, Resources, concurrency, and local reasoning, Theoretical Computer Science, v.375 n.1-3, p.271-307, May, 2007
	Stephen Brookes, A semantics for concurrent separation logic, Theoretical Computer Science, v.375 n.1-3, p.227-270, May, 2007
	A. Burns , G. L. Davies, Ada 9X protected types in Pascal-FC, ACM SIGAda Ada Letters, v.XII n.6, p.59-74, Nov./Dec. 1992
	A. Burns , G. Davies, Pascal-FC: a language for teaching concurrent programming, ACM SIGPLAN Notices, v.23 n.1, p.58-66, Jan., 1988
	Ronald A. Olsson , Carole M. McNamee, Tools for teaching CCRs, monitors, and CSP concurrent programming concepts, ACM SIGCSE Bulletin, v.27 n.2, p.31-40, June 1995
	Szabolcs Ferenczi, Guarded methods vs. inheritance anomaly: inheritance anomaly solved by nested guarded method calls, ACM SIGPLAN Notices, v.30 n.2, p.49-58, Feb. 1995
	Yi Huang , Eric Cheung , Laura K. Dillon , R. E. Kurt Stirewalt, A thread synchronization model for SIP servlet containers, Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications, July 07-08, 2009, Atlanta, Georgia

INDEX TERMS

Keywords:
concurrent processes, critical regions, mutual exclusion, operating systems, process communication, programming languages, shared data, structured multiprogramming, synchronizing events

Collaborative Colleagues:

Per Brinch Hansen: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player