W. Wulf
R. Levin
Skip Abstract Section
Abstract
An overview of the hardware and philosophic context in which the Hydra design was done is discussed. The construction methodology is discussed together with some data which suggests the success of this methodological approach.
- 1 Belady, L. and Lehman, M., Programming System Dynamics, IBM Thomas J. Watson Research Center Report RC 3546, Yorktown Heights, N. Y., July 1971.Google Scholar
- 2 Brinch-Hansen, P., "The Nucleus of a Multiprogramming System", Communications of the ACM 13, 4 (April 1970). Google ScholarDigital Library
- 3 Brinch-Hansen, P., Operating System Principles, Prentice-Hall, Englewood Cliffs, N. J., 1973. Google ScholarDigital Library
- 4 Brinch-Hansen, P., "A Programming Methodology for Operating System Design", Proceedings of the 1975 International Conference on Reliable Software, 1975.Google Scholar
- 5 Cohen, E. and Jefferson, D., "Protection in the Hydra Operating System", Proceedings of the 5th Symposium on Operating System Principles, Austin, Texas, Nov. 1975. Google ScholarDigital Library
- 6 Dahl, O.-J., Dijkstra, E. W., and Hoare, C. A. R., Structured Programming, Academic Press, New York, 1974. Google ScholarDigital Library
- 7 Dahl, O.-J., and Nygaard, K., "Simula - An Algol-Based Simulation Language", Communications of the ACM 9, 9 (September 1966). Google ScholarDigital Library
- 8 Digital Equipment Corporation, PDP-11/05/10/35/40 Processor Handbook, Maynard, Massachusetts, 1973.Google Scholar
- 9 Dennis, J. and E. Van Horn, "Programming Semantics for Multiprogrammed Systems", Communications of the ACM 9, 5 (May 1966). Google ScholarDigital Library
- 10 Fabry, R., "Capability-Based Addressing", Communications of the ACM 17, 7 (July 1974). Google ScholarDigital Library
- 11 Graham, R. M., "Protection in an Information Processing Utility", Communication of the ACM 11, 5(May 1968). Google ScholarDigital Library
- 12 Graham, R. and Denning, P., "Protection - Principles and Practices", AFIPS Conference Proceedings 40, SJCC 1972.Google Scholar
- 13 Heart, F. et. al., "A New Minicomputer/Multiprocessor for the ARPA Network", Proceedings AFIPS National Computer Conference 42, 1973.Google Scholar
- 14 Hoare, C. A. R., "Monitors: An Operating System Structuring Concept", Communications of the ACM 17, 10 (October 1974). Google ScholarDigital Library
- 15 Lampson, B. W., "Dynamic Protection Structures", AFIPS Conference Proceedings, FJCC 1969.Google Scholar
- 16 Levin, R., Cohen, E., Corwin, W., Pollack, F., Wulf, W., "Policy/Mechanism Separation in HYDRA", Proceedings of the 5th Symposium on Operating System Principles, Austin, Texas, Nov. 1975. Google ScholarDigital Library
- 17 Liskov, B., A Note on CLU, Computation Structures Group Memo 112, MIT Project MAC, Nov. 1974.Google Scholar
- 18 Metzelaar, P., Cost Estimation Graph, TRW Systems Group, Redondo Beach, Calif., April 1971.Google Scholar
- 19 Newell, A. et. al., "The Kernel Approach to Building Software Systems", Computer Science Research Review 1970-1971, Carnegie-Mellon University, September 1971.Google Scholar
- 20 Parnas, D., "A Technique for Software Module Specification with Examples", Communications of the ACM 15, 5 (May 1972). Google ScholarDigital Library
- 21 Parnas, D., "On the Criteria to be Used in Decomposing Systems into Modules", Communications of the ACM 15, 12 (December 1972). Google ScholarDigital Library
- 22 Parnas, D., "Information Distribution Aspects of Design Methodology", Proceedings of the IFIP Congress 1971, Vol. 1, 1972.Google Scholar
- 23 Parnas, D. L., On the Response to Detected Errors in Hierarchically Structured Systems, CSD Report, Carnegie-Mellon University, 1972.Google Scholar
- 24 Wolverton, R., "The Cost of Developing Large Scale Software", IEEE Transactions on Computers C-23, 6 (June 1974).Google Scholar
- 25 Wulf, W, et. al., "Bliss: A Language for Systems Programming", Communications of the ACM 14, 12 (December 1971). Google ScholarDigital Library
- 26 Wulf, W., et al., "HYDRA: The Kernel of a Multiprocessor Operating System", Communications of the ACM 17, 6 (1974). Google ScholarDigital Library
- 27 Wulf, W., Alphard: Toward a Language to Support Structured Programs, Carnegie-Mellon University Technical Report, 1974.Google Scholar
- 28 Wulf, W. et. al., The Design of an Optimizing Compiler, American-Elsevier Publishing Co., New York, 1975. Google ScholarDigital Library
Index Terms
- Overview of the Hydra Operating System development
Recommendations
Overview of the Hydra Operating System development
SOSP '75: Proceedings of the fifth ACM symposium on Operating systems principlesAn overview of the hardware and philosophic context in which the Hydra design was done is discussed. The construction methodology is discussed together with some data which suggests the success of this methodological approach.
Thoth, a portable real-time operating system
Thoth is a real-time operating system which is designed to be portable over a large set of machines. It is currently running on two minicomputers with quite different architectures. Both the system and application programs which use it are written in a ...
The Caernarvon secure embedded operating system
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has been designed to be evaluated under the Common Criteria at EAL7, the ...
Comments