An I/O System for Mach 3.0 (1991)

by Alessandro Forin , David Golub , Brian Bershad
Venue:Proc. USENIX Mach Symposium
Citations:34 - 4 self

Active Bibliography

409 Extensibility, safety and performance in the SPIN operating system – Brian N. Bershad, Stefan Savage, Przemys Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers - 1995
615 Exokernel: An Operating System Architecture for Application-Level Resource Management – Dawson R. Engler, M. Frans Kaashoek, James O’toole - 1995
911 The Design and Implementation of a Log-Structured File System – Mendel Rosenblum, John K. Ousterhout - 1992
689 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
1111 Proof-Carrying Code – George C. Necula - 1997
606 The x-Kernel: An Architecture for Implementing Network Protocols – Norman C. Hutchinson, Larry L. Peterson - 1991
660 Query evaluation techniques for large databases – Goetz Graefe - 1993
512 A Fast File System for UNIX – Marshall Kirk Mckusick, William N. Joy, Samuel J. Leffler, Robert S. Fabry - 1984
642 The Protection of Information in Computer Systems – Jerome H. Saltzer, Michael D. Schroeder - 1975