Overview of the Hydra Operating System development

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]  William A. Wulf,et al.  HYDRA , 1974, Commun. ACM.

[2]  William A. Wulf,et al.  BLISS: a language for systems programming , 1971, CACM.

[3]  Peter J. Denning,et al.  Protection: principles and practice , 1972, AFIPS '72 (Spring).

[4]  RAY W. WOLVERTON,et al.  The Cost of Developing Large-Scale Software , 1974, IEEE Transactions on Computers.

[5]  David Jefferson,et al.  Protection in the Hydra Operating System , 1975, SOSP.

[6]  Per Brinch Hansen,et al.  The nucleus of a multiprogramming system , 1970, CACM.

[7]  Per Brinch Hansen.  A Programming Methodology for Operating System Design , 1974, IFIP Congress.

[8]  Per Brinch Hansen,et al.  Operating System Principles , 1973 .

[9]  Edsger W. Dijkstra,et al.  Structured programming , 1972, A.P.I.C. Studies in data processing.

[10]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[11]  Robert S. Fabry,et al.  Capability-based addressing , 1974, CACM.

[12]  David Lorge Parnas,et al.  A technique for software module specification with examples , 1972, CACM.

[13]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[14]  William R. Crowther,et al.  A new minicomputer/multiprocessor for the ARPA network , 1973, AFIPS National Computer Conference.

[15]  Butler W. Lampson,et al.  Dynamic protection structures , 1899, AFIPS '69 (Fall).

[16]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[17]  William A Wulf.  ALPHARD: Toward a Language to Support Structured Programs , 1974 .

[18]  David Lorge Parnas,et al.  Information Distribution Aspects of Design Methodology , 1971, IFIP Congress.

[19]  William A. Wulf,et al.  Policy/mechanism separation in Hydra , 1975, SOSP.