Exokernel: An Operating System Architecture for Application-Level Resource Management

Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Dawson R. Engler , M. Frans Kaashoek , James O'Toole Jr.

Citations:

561 - 20 self

BibTeX

@INPROCEEDINGS{Engler95exokernel:an,
    author = {Dawson R. Engler and M. Frans Kaashoek and James O'Toole Jr.},
    title = {Exokernel: An Operating System Architecture for Application-Level Resource Management},
    booktitle = {},
    year = {1995},
    pages = {251--266}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

We describe an operating system architecture that securely multiplexes machine resources while permitting an unprecedented degree of application-specific customization of traditional operating system abstractions. By abstracting physical hardware resources, traditional operating systems have significantly limited the performance, flexibility, and functionality of applications. The exokernel architecture removes these limitations by allowing untrusted software to implement traditional operating system abstractions entirely at application-level. We have implemented a prototype exokernel-based system that includes Aegis, an exokernel, and ExOS, an untrusted application-level operating system. Aegis defines the low-level interface to machine resources. Applications can allocate and use machine resources, efficiently handle events, and participate in resource revocation. Measurements show that most primitive Aegis operations are 10--100 times faster than Ultrix, a mature monolithic UNIX ope...

Citations

911	Active messages: a mechanism for integrated communication and computation - Eicken, Culler, et al. - 1992
741	End-to-end arguments in system design - Saltzer, Reed, et al. - 1984
718	Architectural Considerations for a New Generation of Protocols - Clark, Tennenhouse - 1990
627	Efficient software-based fault isolation - Wahbe, Lucco, et al. - 1993
420	Scheduler activations: Effective kernel support for the user-level management of threads - Anderson, Bershad, et al. - 1992
392	safety and performance in the SPIN operating system - BERSHAD, SAVAGE, et al. - 1995
374	Lottery Scheduling: Flexible Proportional-Share Resource Management - Waldspurger, Weihl
309	On µ-kernel construction - Liedtke - 1995
288	Why aren't operating systems getting faster as fast as hardware - Ousterhout - 1990
251	A new kernel foundation for UNIX development - Mach - 1986
242	Lightweight remote procedure call - Bershad, Anderson, et al. - 1990
212	Operating System Support for Database Management - Stonebraker - 1981
209	The packer filter: an efficient mechanism for user-level network code - Mogul, Rashid, et al. - 1987
198	Experiences with the Amoeba Distributed Operating System - Tanenbaum, Renesse, et al. - 1990
189	Chorus "Overview of the Chorus distributed operating system - Rozier, Abrossimov, et al. - 1992
182	Survey of Virtual Machine Research - Goldberg - 1974
170	Virtual Memory Primitives for User Programs - Appel, Li - 1991
149	Experiences with a high-speed network adaptor: A software perspective - DRUSCHEL, DAVIE, et al. - 1994
145	Improving IPC by Kernel Design - Liedtke - 1993
145	Stride scheduling: Deterministic proportional- share resource management - Waldspurger, Weihl - 1995
137	Application-controlled physical memory using external page-cache management - Harty, Cheriton - 1992
114	Implementation and Performance of ApplicationControlled File Caching - Cao, Felten, et al. - 1994
110	PATHFINDER: A pattern-based packet classifier - Bailey, Gopal, et al. - 1994
110	The V Kernel-A software base for distributed systems - Cheriton - 1984
105	Efficient packet demultiplexing for multiple endpoints and large messages - Yuhara, Bershad, et al. - 1994
103	A Caching Model of Operating System Kernel Functionality - Cheriton, Duda - 1994
99	Sharing and protection in a single-addressspace operating system - Chase, Levy, et al. - 1994
98	Threads and input/output in the synthesis kernel - Massalin, Pu - 1989
95	Limits to Low-Latency Communication on High-Speed Networks.” ACM Transactions on Computer Systems,11(2):179–203, May 1993. Wolman is a graduate student at the University of Washington, currently on leave from Digital Equipment Corporation’s Cambridge Rese - Thekkath, Levy - 1992
91	Pilot: An Operating System for a Personal Computer - Redell, Dalal, et al. - 1980
88	The origin of the VM/370 time-sharing system - Creasy - 1981
81	Architectural support for translation table management in large address space machines - Huck, Hays - 1993
74	placement algorithms for large real-indexed caches - Page - 1992
73	Hardware and software support for efficient exception handling - Thekkath, Levy - 1994
70	Design Tradeoffs for Software-Managed TLBs - Nagle, Uhlig, et al. - 1993
64	The nucleus of a multiprogramming system - HANSEN - 1970
48	Software prefetching and caching for translation lookaside buffers - Bala, Kaashoek, et al. - 1994
46	Alpha AXP architecture - Sites - 1993
42	Tool for the developement of application-specific virtual memory - Krueger, Loftesness, et al. - 1993
36	A flexible measurement tool for software systems - Deutsch, Grant - 1971
35	The operating system kernel as a secure programmable machine - Engler, Kaashoek, et al. - 1994
31	An open operating system for a single-user machine - LAMPSON, R - 1979
27	The Case for Application-Specific Operating Systems - Anderson - 1992
25	Vino: An Integrated Platform for Operating System and Database Research - Seltzer, Small - 1994
22	SPACE: A new approach to operating system abstraction - Probert, Bruno, et al. - 1991
18	On reliable and extendible operating systems - Lampson - 1969
13	Scout: a communication-oriented operating system - HARTMAN, MONTZ, et al. - 1994
12	An experiment using registers for fast message-based interprocess communication - Cheriton - 1984
11	The persistent relevance of IPC performance: New techniques for reducing the IPC penalty - Hsieh, Kaashoek, et al. - 1993
10	Increasing Network Throughput by Integrating Protocol Layers - Abbot, Peterson - 1993