Application Performance and Flexibility on Exokernel Systems

Operating Systems Review (ACM)

Volumn 31, Issue 5, 1997, Pages 52-65

  Kaashoek, M Frans ^a   Engler, Dawson R ^a   Ganger, Gregory R ^a   Briceño, Héctor M ^a   Hunt, Russell ^a   Mazières, David ^a   Pinckney, Thomas ^a   Grimm, Robert ^a,b   Jannotti, John ^a   Mackenzie, Kenneth ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SYSTEM RECOVERY; DISTRIBUTED DATABASE SYSTEMS; INPUT OUTPUT PROGRAMS; INTERFACES (COMPUTER); STORAGE ALLOCATION (COMPUTER);

EXOKERNEL OPERATING SYSTEM ARCHITECTURE;

UNIX;

EID: 0031540743     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/269005.266644     Document Type: Article

References (44)

1. T. Anderson. The case for application-specific operating systems. In Third Workshop on Workstation Operating Systems, pages 92-94, 1992.
2. J. Barrera. Invocation chaining: manipulating light-weight objects across heavy-weight boundaries. In Proc. of 4th IEEE Workshop on Workstation Operating Systems, pages 191-193, October 1993.
3. B.N. Bershad, D.D. Redell, and J.R. Ellis. Fast mutual exclusion for uniprocessors. In Proc. of the Conf. on Architectural Support for Programming Languages and Operating Systems, pages 223-237, October 1992.
4. B.N. Bershad, S. Savage, P. Pardyak, E.G. Sirer, M. Fiuczynski, D. Becker, S. Eggers, and C. Chambers. Extensibility, safety and performance in the SPIN operating system. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, pages 267-284, December 1995.
5. E. Bugnion, S. Devine, and M. Rosenblum. Disco: running commodity operating systems on scalable multiprocessors. In Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles, 1997.
6. P. Cao, E.W. Felten, and K. Li. Implementation and performance of application-controlled file caching. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 165-178, November 1994.
7. A. Chankhunthod, P.B. Danzig, C. Neerdaels, M.F. Schwartz, and K.J. Worrell. A hierarchical Internet object cache. In Proceedings of 1996 USENIX Technical Conference, pages 153-163, January 1996.
8. D. Cheriton and K. Duda. A caching model of operating system kernel functionality. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 179-193, November 1994.
9. J.B. Dennis and E.C. Van Horn. Programming semantics for multiprogrammed computations. Communications of the ACM, 9(3):143-155, March 1966.
10. D.R. Engler and M.F. Kaashoek. DPF: fast, flexible message demultiplexing using dynamic code generation. In ACM Communication Architectures, Protocols, and Applications (SIGCOMM) 1996, pages 53-59, August 1996.
11. D.R. Engler, M.F. Kaashoek, and J. O'Toole Jr. Exokernel: an operating system architecture for application-specific resource management. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, pages 251-266, December 1995.
12. B. Ford, M. Hibler, J. Lepreau, P. Tullman, G. Back, and S. Clawson. Microkernels meet recursive virtual machines. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 137-152, October 1996.
13. B. Ford, K. Van Maren, J. Lepreau, S. Clawson, B. Robinson, and Jeff Turner. The FLUX OS toolkit: Reusable components for OS implementation. In Proc. of Sixth Workshop on Hot Topics in Operating Systems, pages 14-19, May 1997.
14. B. Ford and S.R. Susarla. CPU inheritance scheduling. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 91-106, October 1996.
15. G. Ganger and M.F. Kaashoek. Embedded inodes and explicit grouping: Exploiting disk bandwidth for small files. In Proceedings of the 1997 USENIX Technical Conference, pages 1-18, 1997.
16. G. Ganger and Y. Patt. Metadata update performance in file systems. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 49-60, November 1994.
17. R.P. Goldberg. Survey of virtual machine research. IEEE Computer, pages 34-45, June 1974.
18. D. Golub, R. Dean, A. Forin, and R. Rashid. UNIX as an application program. In USENIX 1990 Summer Conference, pages 87-95, June 1990.
19. P. Brinch Hansen. The nucleus of a multiprogramming system. Communications of the ACM, 13(4):238-241, April 1970.
20. H. Hartig, M. Hohmuth, J. Liedtke, and S. Schönberg. The performance of μ-kernel-based systems. In Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles, 1997.
21. J.H. Hartman, A.B. Montz, D. Mosberger, S.W. O'Malley, L.L. Peterson, and T.A. Proebsting. Scout: A communication-oriented operating system. Technical Report TR 94-20, University of Arizona, Tucson, AZ, June 1994.
22. K. Harty and D. Cheriton. Application-controlled physical memory using external page-cache management. In Fifth International Conference on Architecture Support for Programming Languages and Operating Systems, pages 187-199, October 1992.
23. D. Hitz. An NFS file server appliance. Technical Report 3001, Network Applicance Corporation, March 1995.
24. M.F. Kaashoek, D.R. Engler, D.H. Wallach, and G. Ganger. Server operating systems. In SIGOPS European Workshop, pages 141-148, September 1996.
25. B.W. Lampson. On reliable and extendable operating systems. State of the Art Report, Infotech, 1, 1971.
26. 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, December 1979.
27. C.H. Lee, M.C. Chen, and R.C. Chang. HiPEC: high performance external virtual memory caching. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 153-164, 1994.
28. J. Liedtke. On micro-kernel construction. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, pages 237-250, December 1995.
29. K. Mackenzie, J. Kubiatowicz, M. Frank, W. Lee, V. Lee, A. Agarwal, and M.F. Kaashoek. UDM: user direct messaging for general-purpose multiprocessing. Technical Memo MIT/LCS/TM-556, March 1996.
30. C. Maeda and B.N. Bershad. Protocol service decomposition for high-performance networking. In Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, pages 244-255, 1993.
31. D. Mazières and M.F. Kaashoek. Secure applications need flexibile operating systems. In Proc of 6th Workshop on Hot Topics in Operating Systems, pages 56-61, May 1997.
32. NCSA, University of Illinois, Urbana-Champaign. NCSA HTTPd. http://hoohoo.ncsa.uiuc.edu/index.html.
33. J.K. Ousterhout. Why aren't operating systems getting faster as fast as hardware? In Proceedings of the Summer 1990 USENIX Conference, pages 247-256, June 1990.
34. V. Pai, P. Druschel, and W. Zwaenepoel. I/O-lite: a unified I/O buffering and caching system. Technical Report http:// www.cs.rice.edu/∼vivek/IO-lite.html, Rice University, 1997.
35. R.H. Patterson, G.A. Gibson, E. Ginting, D. Stodolsky, and J. Zelenka. Informed prefetching and caching. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, pages 79-95, December 1995.
36. D. Probert, J.L. Bruno, and M. Karzaorman. SPACE: a new approach to operating system abstraction. In International Workshop on Object Orientation in Operating Systems, pages 133-137, October 1991.
37. D.D. Redell, Y.K. Dalal, 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.
38. R. Sandberg, D. Goldberg, S. Kleiman, D. Walsh, and B. Lyon. Design and implementation of the Sun network filesystem. In Proc. of the 1985 Summer USENIX conference, pages 119-130, 1985.
39. M. Seltzer, Y. Endo, C. Small, and K. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the Second Symposium on Operating Systems Design and Implementation, pages 213-228, October 1996.
40. C.A. Thekkath, H.M. Levy, and E.D. Lazowska. Separating data and control transfer in distributed operating systems. In Sixth International Conference on Architecture Support for Programming Languages and Operating Systems, pages 2-11, San Francisco, CA, October 1994.
41. T. von Eicken, A. Basu, V. Buch, and W. Vogels. U-Net: a user-level network interface for parallel and distributed computing. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, pages 40-53, 1995.
42. R. Wahbe, S. Lucco, T. Anderson, and S. Graham. Efficient software-based fault isolation. In Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, pages 203-216, Asheville, NC, December 1993.
43. C.A. Waldspurger and W.E. Weihl. Lottery scheduling: Flexible proportional-share resource management. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 1-11, November 1994.
44. D.A. Wallach, D.R. Engler, and M.F. Kaashoek. ASHs: Application-specific handlers for high-performance messaging. In ACM Communication Architectures, Protocols, and Applications (SIGCOMM '96), pages 40-52, August 1996.