The operating system kernel as a secure programmable machine

EW 1994 - Proceedings of the 6th ACM SIGOPS European Workshop on Matching Operating Systems to Application Needs

Volumn , Issue , 1994, Pages 62-67

  Engler, Dawson ^a   Kaashoek, M Frans ^a   O'Toole, James ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODE INSPECTIONS; EXECUTION ENVIRONMENTS; HARDWARE FUNCTIONALITIES; HARDWARE RESOURCES; OPERATING SYSTEM KERNEL; PROGRAMMABLE MACHINES; PROTOTYPE SYSTEM; SECURE LANGUAGE;

EMBEDDED SYSTEMS;

EID: 1642279831     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/504390.504407     Document Type: Conference Paper

References (34)

1. M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: a new kernel foundation for UNIX development. Proc. Summer 1986 USENIX Conference, pages 93-112, July 1986.
2. T.E. Anderson. The case for application-specific operating systems. In Third Workshop on Workstation Operating Systems, pages 92-94, 1992.
3. T.E. Anderson, H. M. Levy, B.N. Bershad, and E.D. Lazowska. The interaction of architecture and operating system design. In Proc. of the Fourth Conf. on Architectural Support for Programming Languages and Operating Systems, 1991.
4. B.N. Bershad, C. Chambers, S. Eggers, C. Maeda, D. McNamee, p. Pardyak, S. Savage, and E. Sirer. SPIN - an extensible microkernel for application-specific operating system services. Technical Report TR94-03-03, University of Washington, February 1994,
5. M.A. Blumrich, K. Li, R. Alpert, C. Dubnicki, E.W. Feiten, and J. Sandberg. Virtual memory mapped network interface for the SHRIMP multicomputer. The 21st Annual International Symposium on Computer Architecture, pages 142-153, April 1994.
6. J. Bradley Chen and Brian N. Bershad. The impact of operating system structure on memory system performance. Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, 1993.
7. H. Custer. Inside Windows/NT. Microsoft Press, Redmond, WA, 1993.
8. P. Deutsch and C.A. Grant. A flexible measurement tool for software systems. Information Processing 11, 1971.
9. R. Draves. The case for run-time replaceable kernel modules. In Fourth Workshop on Workstation Operating Systems, pages 160-165, October 1993.
10. Dawson R. Engler and Todd A. Proebsting. DCG: An efficient, retargetable dynamic code generation system. Proceedings of the 6th International Conference on Architectural Support for Programming Languages and Operating Systems (to appear), October 1994.
11. Per Brinch Hansen. The nucleus of a multiprogramming system. Communications of the ACM, 13(4):238-241, April 1970.
12. M.C. Harrison and J.T. Schwartz. SHARER, a time sharing system for the CDC 6600. Communications of the ACM, 10(10):659-665, October 1967.
13. Kieran Harty and David R. Cheriton. Application-controlled physical memory using external page-cache management. Proc. of the Fifth Conf. on Architectural Support for Programming languages and Operating Systems, pages 187-199, October 1992.
14. D. Hildebrand. An architectural overview of QNX. Proc. Usenix Workshop on Micro-kernels and Other Kernel Architectures, April 1992.
15. D.H.R. Huxtable and M.T. Warwick. Dynamic supervisors - their design and construction. Proceedings of the First ACM Symposium on Operating Systems Principles, 1967.
16. G. Kiczales, J. Lamping, C. Maeda, D. Keppel, and D. McNamee. The need for customizable operating systems. In Fourth Workshop on Workstation Operating Systems, pages 165-170, October 1993.
17. J. Kuskin et al. The Stanford FLASH multiprocessor. The 21st Annual International Symposium on Computer Architecture, pages 302-313, April 1994.
18. B.W. Lampson. On reliable and extendable operating systems. State of the Art Report, 1, 1971.
19. B.W. Lampson and R.F. Sproull. An open operating system for a single-user machine. Proceedings of the Seventh ACM Symposium on Operating Systems Principles, pages 98-105, 1979.
20. B.W. Lampson and H.E. Sturgis. Reflections on an operating system design. Communications of the ACM, 19(5):251-265, May 1976.
21. Jay Lepreau, Mike Hibler, Bryan Ford, and Jeff Law. In-kernel servers in Mach 3.0: implementation and performance, Proc. of the Third Usenix Mach Symposium, 1993.
22. R. Levin, E. Cohen, W. Corwin, F. Pollack, and W. Wulf. Policy/mechanism seperation in HYDRA. Proceedings of the Fifth ACM Symposium on Operating Systems Principles, pages 132-140, 1975.
23. H. Massalin. Synthesis: an efficient implementation of fundamental operating system services. PhD thesis, Columbia University, 1992.
24. J.C. Mogul, R.F. Rashid, and M.J. Accetta. The packet filter: An efficient mechanism for user-level network code. In Proc. of the Eleventh ACM Symposium on Operating System Principles, pages 39-51, Nov. 1987.
25. S.J. Mullender, G. van Rossum, A.S. Tanenbaum, R. van Renesse, and H. van Staveren. Amoeba: a distributed operating system for the 1990s. IEEE Computer, 23(5):44-53, May 1990.
26. A.C. Myers. Resolving the integrity/performance conflict. In Fourth Workshop on Workstation Operating Systems, pages 156-160, October 1993.
27. David Nagle, Richard Uhlig, Tim Stanley, Stuart Sechrest, Trevor Mudge, and Richard Brown. Design tradeoffs for software-managed TLBs. 20th Annual International Symposium on Computer Architecture, pages 27-38, 1993.
28. R.F. Rashid and G. Robertson. Accent; A communication oriented network operating system kernel. Proceedings of the Eighth ACM Symposium on Operating Systems Principles, pages 64-75, December 1981.
29. D.D. Redell, Y.K. Dalai, T.R. Horsley, H.C. Lauer, W.C. Lynch, P.R. McJones, H.G. Murray, and S.C. Purcell. Pilot: An operating system for a personal computer. Communications of the ACM, 23(2):81-92, February 1980.
30. M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. Leonard, and W. Neuhauser. Chorus distributed operating system. Computing Systems, 1(4):305-370, 1988.
31. A.S. Tanenbaum, R. van Renesse, H. van Staveren, G. Sharp, S.J. Mullender, A. Jansen, and G. van Rossum. Experiences with the Amoeba distributed operating system. Communications of the ACM, 33(12):46-63, December 1990.
32. R. Wahbe, S. Lucco, T. Anderson, and S. Graham. Efficient software-based fault isolation. Proceedings of the Fourteenth ACM Symposium an Operating Systems Principles, pages 203-216, 1993.
33. B.A. Wichmann. A modular operating system. Proc. IFIP Cong. 1968, 1968.
34. W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The kernel of a multiprocessing operating system. Communications of the ACM, 17(6):337-345, July 1974.