The structure of the “the”-multiprogramming system

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The structure of the “the”-multiprogramming system

Full text

Pdf (475 KB)

Source

ACM Symposium on Operating Systems Principles archive
Proceedings of the first ACM symposium on Operating System Principles table of contents

Pages: 10.1 - 10.6

Year of Publication: 1967

Author

Edsger W. Dijkstra

Sponsor

SIGOPS: ACM Special Interest Group on Operating Systems

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 26, Downloads (12 Months): 127, Citation Count: 2

Additional Information:

abstract 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/800001.811672 What is a DOI?

ABSTRACT

A multiprogramming system is described in which all activities are divided over a number of sequential processes. These sequential processes are placed at various hierarchical levels, in each of which one or more independent abstractions have been implemented. The hierarchical structure proved to be vital for the verification of the logical soundness of the design and the correctness of its implementation.

CITED BY 3

	R. M. Needham , D. F. Hartley, Theory and practice in operating system design, Proceedings of the second symposium on Operating systems principles, October 20-22, 1969, Princeton, New Jersey
	Stuart E. Madnick , Joseph W. Alsop, II, A modular approach to file system design, Proceedings of the May 14-16, 1969, spring joint computer conference, May 14-16, 1969, Boston, Massachusetts
	K. A. Duke , H. D. Schnurmann , T. I. Wilson, System validation by three-level modeling synthesis, IBM Journal of Research and Development, v.15 n.2, p.166-174, March 1971