Exokernel: An operating system architecture for application-level resource management

Proceedings of the 15th ACM Symposium on Operating Systems Principles, SOSP 1995

Volumn , Issue , 1995, Pages 251-266

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

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EXCEPTION HANDLING; HARDWARE RESOURCES; INTERPROCESS COMMUNICATION; OPERATING SYSTEM ARCHITECTURE; PHYSICAL RESOURCES; RESOURCE MANAGEMENT; RESOURCE PROTECTION; UNIX OPERATING SYSTEM;

ABSTRACTING; COMMUNICATION; INTERNATIONAL TRADE; PHYSICAL ADDRESSES;

DIGITAL LIBRARIES;

EID: 84883516225     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/224056.224076     Document Type: Conference Paper

References (56)

1. M. B. Abbot and L. L. Peterson. Increasing network throughput by integrating protocol layers. IEEE/ACM Transactions on Networking, 1(5): 600-610, October 1993.
2. M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: a new kernel foundation for UNIX development. In Proceedings of the Summer 1986 USEN1X Conference, pages 93-112, July 1986.
3. T. E. Anderson. The case for application-specific operating systems. In Third Workshop on Workstation Operating Systems, pages 92-94, 1992.
4. T. E. Anderson, B. N. Bershad, E. D. Lazowska, and H. M. Levy. Scheduler activations: Effective kernel support for the user-level management of parallelism. In Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles, pages 95-109, October 1991.
5. A. W. Appel and K. Li. Virtual memory primitives for user programs. In Fourth International Conference on Architecture Support for Programming Languages and Operating Systems, pages 96-107, Santa Clara, CA, April 1991.
6. M. L. Bailey, B. Gopal, M. A. Pagels, L. L. Peterson, and P. Sarkar. PATHFINDER: A pattern-based packet classifier. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 115-123, November 1994.
7. K. Bala, M. F. Kaashoek, and W. E. Weihl. Software prefetching and caching for translation lookaside buffers. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 243-253, November 1994.
8. B. N. Bershad, T. E. Anderson, E. D. Lazowska, and H. M. Levy. Lightweight remote procedure call. ACM Transactions on Computer Systems, 8(1): 37-55, February 1990.
9. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczyn-ski, 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, December 1995.
10. P. Cao, E. W. Feiten, 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.
11. J. S. Chase, H. M. Levy, M. J. Feeley, and E. D. Lazowska. Sharing and protection in a single-address-space operating system. ACM Transactions on Computer Systems, 12(4): 271-308, November 1994.
12. D. L. Chaum and R. S. Fabry. Implementing capability-based protection using encryption. Technical Report UCB/ERL M78/46, University of California at Berkeley, July 1978.
13. 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.
14. D. R. Cheriton. An experiment using registers for fast message-based interprocess communication. Operating Systems Review, 11:12-20, October 1984.
15. D. R. Cheriton. The V kernel: A software base for distributed systems. IEEE Software, 1(2): 19-42, April 1984.
16. D. D. Clark and D. L. Tennenhouse. Architectural considerations for a new generation of protocols. In ACM Communication Architectures, Protocols, and Applications (SIGCOMM) 1990, September 1990.
17. R. J. Creasy. The origin of the VM/370 time-sharing system. IBM J. Research and Development, 25(5): 483-490, September 1981.
18. P. Deutsch and C. A. Grant. A flexible measurement tool for software systems. Information Processing 71, 1971.
19. P. Druschel, L. L. Peterson, and B. S. Davie. Experiences with a high-speed network adaptor: A software perspective. In ACM Communication Architectures, Protocols, and Applications (SIGCOMM) 1994, pages 2-13, October 1994.
20. D. R. Engler. VCODE: a very fast, retargetable, and extensible dynamic code generation substrate. Technical Memorandum MIT/LCS/TM534, MIT, July 1995.
21. D. R. Engler, M. F. Kaashoek, and J. O'Toole. The operating system kernel as a secure programmable machine. In Proceedings of the Sixth SIGOPS European Workshop, pages 62-67, September 1994.
22. D. R. Engler, D. Wallach, and M. F Kaashoek. Efficient, safe, application-specific message processing. Technical Memorandum MIT/LCS/TM533, MIT, March 1995.
23. R. P. Goldberg. Survey of virtual machine research. IEEE Computer, pages 34-45, June 1974.
24. P. Brinch Hansen. The nucleus of a multiprogramming system. Communications of the ACM, 13(4): 238-241, April 1970.
25. J. H. Hartman, A. B. Montz, D. Mosberger, S. W. O'Malley, L. L. Peterson, and TA. Proebsting. Scout: A communication-oriented operating system. Technical Report TR 94-20, University of Arizona, Tucson, AZ, June 1994.
26. K. Harty and D. R. 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.
27. W. C. Hsieh, M. F. Kaashoek, and W. E. Weihl. The persistent relevance of IPC performance: New techniques for reducing the IPC penalty. In Fourth Workshop on Workstation Operating Systems, pages 186-190, October 1993.
28. J. Huck and J. Hays. Architectural support for translation table management in large address space machines. In Proceedings of the 19th International Symposium on Computer Architecture, pages 39-51, May 1992.
29. R. E. Kessler and M. D. Hill. Page placement algorithms for large real-index caches. ACM Transactions on Computer Systems, 10(4): 338-359, November 1992.
30. K. Krueger, D. Loftesness, A. Vahdat, and T. Anderson. Tools for development of application-specific virtual memory management. In Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) 1993, pages 48-64, October 1993.
31. B. W. Lampson. On reliable and extendable operating systems. State of the Art Report, Infotech, 1, 1971.
32. 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.
33. J. Liedtke. Improving IPC by kernel design. In Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, pages 175-188, December 1993.
34. J. Liedtke. On micro-kernel construction. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, December 1995.
35. K. Mackenzie, J. Kubiatowicz, A. Agarwal, and M. F. Kaashoek. FUGU: Implementing translation and protection in a multiuser, multimodel multiprocessor. Technical Memorandum MIT/LCS/TM503, MIT, October 1994.
36. H. Massalin and C. Pu. Threads and input/output in the Synthesis kernel. In Proceedings of the Twelfth ACM Symposium on Operating Systems Principles, pages 191-201, 1989.
37. J. C. Mogul, R. F. Rashid, and M. J. Accetta. The packet filter: An efficient mechanism for user-level network code. In Proceedings of the Eleventh ACM Symposium on Operating Systems Principles, pages 39-51, November 1987.
38. D. Nagle, R. Uhlig, T Stanley, S. Sechrest, T. Mudge, and R. Brown. Design tradeoffs for software-managed TLBs. In 20th Annual International Symposium on Computer Architecture, pages 27-38, May 1993.
39. 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.
40. G. J. Popek and C. S. Kline. The PDP-11 virtual machine architecture. In Proceedings of the Fifth ACM Symposium on Operating Systems Principles, pages 97-105, November 1975.
41. 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.
42. 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.
43. 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.
44. J. H. Saltzer, D. P. Reed, and D. D. Clark. End-to-end arguments in system design. ACM Transactions on Computer Systems, 2(4): 277-288, November 1984.
45. R. L. Sites. Alpha AXP architecture. Communications of the ACM, 36(2), February 1993.
46. C. Small and M. Seltzer. Vino: an integrated platform for operating systems and database research. Technical Report TR-30-94, Harvard, 1994.
47. M. Stonebraker. Operating system support for database management. Communications of the ACM, 24(7): 412-418, July 1981.
48. A. S. Tanenbaum, R. van Renesse, H. van Staveren, G. Sharp, S. J. Muilender, A. Jansen, and G. van Rossum. Experiences with the Amoeba distributed operating system. Communications of the ACM, 33(12): 46-63, December 1990.
49. C. A. Thekkath and H. M. Levy. Limits to low-latency communication on high-speed networks. ACM Transactions on Computer Systems, 11(2): 179-203, May 1993.
50. C. A. Thekkath and H. M. Levy. Hardware and software support for efficient exception handling. In Sixth International Conference on Architecture Support for Programming Languages and Operating Systems, pages 110-121, October 1994.
51. T. von Eicken, D. E. Culler, S. C. Goldstein, and K. E. Schauser. Active messages: a mechanism for integrated communication and computation. In Proceedings of the 19th International Symposium on Computer Architecture, pages 256-267, May 1992.
52. 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, December 1993.
53. 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.
54. C. A. Waldspurger and W. E. Weihl. Stride scheduling: deterministic proportional-share resource management. Technical Memorandum MIT/LCS/TM528, MIT, June 1995.
55. 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.
56. M. Yahara, B. Bershad, C. Maeda, and E. Moss. Efficient packet demultiplexing for multiple endpoints and large messages. In Proceedings of the Winter 1994 USENIX Conference, 1994.