|
ABSTRACT
This paper describes the philosophy and structure of a multi-programming system that can be extended with a hierarchy of operating systems to suit diverse requirements of program scheduling and resource allocation. The system nucleus simulates an environment in which program execution and input/output are handled uniformly as parallel, cooperating processes. A fundamental set of primitives allows the dynamic creation and control of a hierarchy of processes as well as the communication among them.
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
|
RC 4000 Soflware: Multiprogramming System. P. Brinch Hansen (Ed.). A/S Regnecentralen, Copenhagen, 1969.
|
| |
2
|
RC 4000 Computer: Reference Manual. P. Brinch Hansen (Ed.). A/S Regnecentralen, Copenhagen, 1969.
|
| |
3
|
DIJKSTRA, E. W. Cooperating Sequential Processes. Math. Dep., Technological U., Eindhoven, Sept. 1965.
|
 |
4
|
|
 |
5
|
|
| |
6
|
WICHMANN, B. A. A modular operating system. Proc. IFIP Cong. 1968, North Holland Pub. Co., Amsterdam, p. C48.
|
CITED BY 94
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
David D. Redell , Yogen K. Dalal , Thomas R. Horsley , Hugh C. Lauer , William C. Lynch , Paul R. McJones , Hal G. Murray , Stephen C. Purcell, Pilot: an operating system for a personal computer, Communications of the ACM, v.23 n.2, p.81-92, Feb. 1980
|
|
|
|
|
|
|
|
|
M. Frans Kaashoek , Dawson R. Engler , Gregory R. Ganger , Hector M. Briceño , Russell Hunt , David Mazières , Thomas Pinckney , Robert Grimm , John Jannotti , Kenneth Mackenzie, Application performance and flexibility on exokernel systems, ACM SIGOPS Operating Systems Review, v.31 n.5, p.52-65, Dec. 1997
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
W. Wulf , E. Cohen , W. Corwin , A. Jones , R. Levin , C. Pierson , F. Pollack, HYDRA: the kernel of a multiprocessor operating system, Communications of the ACM, v.17 n.6, p.337-345, June 1974
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Robert Grimm , Janet Davis , Eric Lemar , Adam Macbeth , Steven Swanson , Thomas Anderson , Brian Bershad , Gaetano Borriello , Steven Gribble , David Wetherall, System support for pervasive applications, ACM Transactions on Computer Systems (TOCS), v.22 n.4, p.421-486, November 2004
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Liguo Yu , Stephen R. Schach , Kai Chen , Gillian Z. Heller , Jeff Offutt, Maintainability of the kernels of open-source operating systems: a comparison of linux with FreeBSD, NetBSD, and OpenBSD, Journal of Systems and Software, v.79 n.6, p.807-815, June 2006
|
|
|
Allen L. Ambler , Donald I. Good , James C. Browne , Wilhelm F. Burger , Richard M. Cohen , Charles G. Hoch , Robert E. Wells, Gypsy: A language for specification and implementation of verifiable programs, ACM SIGPLAN Notices, v.12 n.3, p.1-10, March 1977
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sten Andler , I. Ding , Kapali P. Eswaran , C. Hauser , Won Kim , James W. Mehl , R. Williams, System D: A Distributed System for Availability, Proceedings of the 8th International Conference on Very Large Data Bases, p.33-44, September 08-10, 1982
|
|
|
|
|
|
Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979
|
|
|
|
|
|
K. C. Sevcik , J. W. Atwood , M. S. Grushcow , R. C. Holt , J. J. Horning , D. Tsichritzis, Project SUE as a learning experience, Proceedings of the December 5-7, 1972, fall joint computer conference, part I, December 05-07, 1972, Anaheim, California
|
|
|
|
|
|
|
|
|
J. E. Stockenberg , P. C. Anagnostopoulos , R. E. Johnson , R. G. Munck , G. M. Stabler , A. van Dam, Operating system design considerations for microprogrammed mini-computer satellite systems, Proceedings of the June 4-8, 1973, national computer conference and exposition, June 04-08, 1973, New York, New York
|
|
|
|
|
|
|
|