| HYDRA: the kernel of a multiprocessor operating system |
| Full text |
 Pdf
(1.01 MB)
|
Source
|
Communications of the ACM
archive
Volume 17 , Issue 6 (June 1974)
table of contents
Pages: 337 - 345
Year of Publication: 1974
ISSN:0001-0782
|
|
Authors
|
|
W. Wulf
|
Carnegie-Mellon Univ., Pittsburgh, PA
|
|
E. Cohen
|
Carnegie-Mellon Univ., Pittsburgh, PA
|
|
W. Corwin
|
Carnegie-Mellon Univ., Pittsburgh, PA
|
|
A. Jones
|
Carnegie-Mellon Univ., Pittsburgh, PA
|
|
R. Levin
|
Carnegie-Mellon Univ., Pittsburgh, PA
|
|
C. Pierson
|
Carnegie-Mellon Univ., Pittsburgh, PA
|
|
F. Pollack
|
Carnegie-Mellon Univ., Pittsburgh, PA
|
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 60, Downloads (12 Months): 378, Citation Count: 125
|
|
|
Warning: The download time has expired please click on the item to try again.
 ABSTRACT
This paper describes the design philosophy of HYDRA—the kernel of an operating system for C.mmp, the Carnegie-Mellon Multi-Mini-Processor. This philosophy is realized through the introduction of a generalized notion of “resource,” both physical and virtual, called an “object.” Mechanisms are presented for dealing with objects, including the creation of new types, specification of new operations applicable to a given type, sharing, and protection of any reference to a given object against improper application of any of the operations defined with respect to that type of object. The mechanisms provide a coherent basis for extension of the system in two directions: the introduction of new facilities, and the creation of highly secure systems.
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
|
|
| |
2
|
|
| |
3
|
|
| |
4
|
Dijkstra, E.W., Cooperating sequential processes. In Programming Languages, F. Genuys, (Ed.), Academic Press, New York, 1968, pp. 43-112.
|
| |
5
|
|
| |
6
|
|
| |
7
|
Lampson, B.W. Dynamic Protection Structures, Proc. AFIPS 1969 FJCC, Vol. 35, AFIPS Press, Montvale, N.J. pp. 27-38.
|
| |
8
|
Parnas, D.L. On the criteria to be used in decomposing systems into modules. Comput. Sci. Dep. Rep., Carnegie-Mellon U., 1971.
|
| |
9
|
Wulf, W.A., and Bell, C. G. C.mmp-a multi-mini-processor. Proc. AFIPS 1972, FJCC. Vol. 41, AFIPS Press, Montvale, N.J. pp. 765-777.
|
CITED BY 125
|
|
|
|
|
|
|
|
D. K. Bradley , B. A.A. Nazief , D. C. Grunwald , D. A. Reed, Picasso: an experiment in hypercube operating system design, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.364-373, January 19-20, 1988, Pasadena, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Panayiotis Chrysanthis , Krithi Ramamritham , David Stemple , Stephen Vinter, The Gutenberg operating system kernel, Proceedings of 1986 ACM Fall joint computer conference, p.1159-1168, November 1986, Dallas, Texas, United States
|
|
|
|
|
|
|
|
|
|
|
|
K. S. Shankar , C. S. Chandersekaran, Data flow, abstraction levels and specifications for communications switching systems, Proceedings of the 2nd international conference on Software engineering, p.585-591, October 13-15, 1976, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
Anita K. Jones , Robert J. Chansler, Jr. , Ivor Durham , Karsten Schwans , Steven R. Vegdahl, StarOS, a multiprocessor operating system for the support of task forces, Proceedings of the seventh ACM symposium on Operating systems principles, p.117-127, December 10-12, 1979, Pacific Grove, California, United States
|
|
|
|
|
|
|
|
|
Kinji Mori , Hirokazu Ihara , Katsumi Kawano , Minoru Koizumi , Masayuki Orimo , Kozo Nakai , Hiroaki Nakanishi , Yasuo Suzuki, Autonomous decentralized software structure and its application, Proceedings of 1986 ACM Fall joint computer conference, p.1056-1063, November 1986, Dallas, Texas, United States
|
|
|
|
|
|
|
|
|
|
|
|
Paul J. Leach , Bernard L. Stumpf , James A. Hamilton , Paul H. Levine, UIDs as internal names in a distributed file system, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.34-41, August 18-20, 1982, Ottawa, Canada
|
|
|
Kevin C. Kahn , William M. Corwin , T. Don Dennis , Herman D'Hooge , David E. Hubka , Linda A. Hutchins , John T. Montague , Fred J. Pollack, iMAX: A multiprocessor operating system for an object-based computer, ACM SIGOPS Operating Systems Review, v.15 n.5, p.127-136, December 1981
|
|
|
|
|
|
|
|
|
Edward D. Lazowska , Henry M. Levy , Guy T. Almes , Michael J. Fischer , Robert J. Fowler , Stephen C. Vestal, The architecture of the Eden system, ACM SIGOPS Operating Systems Review, v.15 n.5, p.148-159, December 1981
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J. Chase , F. Amador , E. Lazowska , H. Levy , R. Littlefield, The Amber system: parallel programming on a network of multiprocessors, ACM SIGOPS Operating Systems Review, v.23 n.5, p.147-158, Dec. 3–6, 1989
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Alfred Z. Spector , Dean Daniels , Daniel Duchamp , Jeffrey L. Eppinger , Randy Pausch, Distributed transactions for reliable systems, ACM SIGOPS Operating Systems Review, v.19 n.5, p.127-146, Dec. 1-4, 1985
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Daniel Hagimont , P.-Y. Chevalier , A. Freyssinet , S. Krakowiak , S. Lacourte , J. Mossière , X. Rousset de Pina, Persistent shared object support in the Guide system: evaluation & related work, ACM SIGPLAN Notices, v.29 n.10, p.129-144, Oct. 1994
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Garth A. Gibson , David F. Nagle , Khalil Amiri , Jeff Butler , Fay W. Chang , Howard Gobioff , Charles Hardin , Erik Riedel , David Rochberg , Jim Zelenka, A cost-effective, high-bandwidth storage architecture, ACM SIGOPS Operating Systems Review, v.32 n.5, p.92-103, Dec. 1998
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Joerg M. Haake , Anja Haake , Till Schümmer , Mohamed Bourimi , Britta Landgraf, End-user controlled group formation and access rights management in a shared workspace system, Proceedings of the 2004 ACM conference on Computer supported cooperative work, November 06-10, 2004, Chicago, Illinois, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Douglas P. Ghormley , David Petrou , Steven H. Rodrigues , Thomas E. Anderson, SLIC: an extensibility system for commodity operating systems, Proceedings of the Annual Technical Conference on USENIX Annual Technical Conference, 1998, p.4-4, June 15-19, 1998, New Orleans, Louisiana
|
|
|
Yvonne Coady , Gregor Kiczales , Joon Suan Ong , Andrew Warfield , Michael Feeley, Brittle systems will break - not bend: can aspect-oriented programming help?, Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC, July 01-01, 2002, Saint-Emilion, France
|
|
|
Andrew Whitaker , Richard S. Cox , Marianne Shaw , Steven D. Grible, Constructing services with interposable virtual hardware, Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation, p.13-13, March 29-31, 2004, San Francisco, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Trent Jaeger , Aviel D. Rubin , Atul Prakash, Building systems that flexibly control downloaded executable context, Proceedings of the 6th conference on USENIX Security Symposium, Focusing on Applications of Cryptography, p.14-14, July 22-25, 1996, San Jose, California
|
|
|
Trent Jaeger , Jochen Liedtke , Nayeem Islam, Operating system protection for fine-grained programs, Proceedings of the 7th conference on USENIX Security Symposium, 1998, p.11-11, January 26-29, 1998, San Antonio, Texas
|
|
|
|
|
|
|
|
|
|
|
|
Andrew P. Black , Norman C. Hutchinson , Eric Jul , Henry M. Levy, The development of the Emerald programming language, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.11-1-11-51, June 09-10, 2007, San Diego, California
|
|
|
Trent Jaeger , Jochen Liedtke , Vsevolod Panteleenko , Yoonho Park , Nayeem Islam, Security architecture for component-based operating systems, Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications, p.222-228, September 1998, Sintra, Portugal
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Anita K. Jones , Robert J. Chansler, Jr. , Ivor Durham , Peter Feiler , Karsten Schwans, Software management of Cm*: a distributed multiprocessor, Proceedings of the June 13-16, 1977, national computer conference, June 13-16, 1977, Dallas, Texas
|
|
|
|
|
|
|
|
|
Roxana Geambasu , Cherie Cheung , Alexander Moshchuk , Steven D. Gribble , Henry M. Levy, Organizing and sharing distributed personal web-service data, Proceeding of the 17th international conference on World Wide Web, April 21-25, 2008, Beijing, China
|
|
|
Gerwin Klein , Kevin Elphinstone , Gernot Heiser , June Andronick , David Cock , Philip Derrin , Dhammika Elkaduwe , Kai Engelhardt , Rafal Kolanski , Michael Norrish , Thomas Sewell , Harvey Tuch , Simon Winwood, seL4: formal verification of an OS kernel, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, October 11-14, 2009, Big Sky, Montana, USA
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
D.4