See this document in CiteSeerX!

Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)  (Make Corrections)  (447 citations)
Dawson R. Engler, M. Frans Kaashoek, James O'Toole Jr.
Symposium on Operating Systems Principles



  Home/Search   Context   Related

 
View or download:
mit.edu/multiscale/exokernel.ps.Z
mit.edu/multiscale/exokernel.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  mit.edu (more)
From:  mit.edu/pub/multiscale/
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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... (Update)

Cited by:   More
Distributed Shared Memory in Kernel Mode - Thobias Trevisan Vtor (2002)   (Correct)
Real-Time Programming and L4 Microkernels - Sergio Ruocco National   (Correct)
Designing Voting Machines for Verification - Naveen Sastry Tadayoshi   (Correct)

Similar documents (at the sentence level):   More
18.1%:   Exokernel: An Operating System Architecture for.. - Engler, Kaashoek.. (1995)   (Correct)
18.1%:   Proceedings of the Fifteenth ACM Symposium on Operating Systems.. - Acm (1995)   (Correct)
7.7%:   The Exokernel Operating System Architecture - Engler (1998)   (Correct)

Active bibliography (related documents):   More   All
0.8:   The Operating System Kernel as a Secure Programmable.. - Engler, Kaashoek.. (1994)   (Correct)
0.5:   End-To-End Arguments In System Design - Saltzer, Reed, Clark (1984)   (Correct)
0.5:   Exterminate All Operating System Abstractions - Engler, Kaashoek (1995)   (Correct)

Similar documents based on text:   More   All
0.9:   Extensible Operating Systems - Porwal, Manadhata (2001)   (Correct)
0.7:   Decentralizing UNIX Abstractions in the Exokernel Architecture - Pulido (1997)   (Correct)
0.7:   Fast and Flexible Application-Level Networking on.. - Ganger, Engler.. (2000)   (Correct)

Related documents from co-citation:   More   All
47:   safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
24:   Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993
20:   Dealing With Disaster: Surviving Misbehaved Kernel Extensions - Seltzer, Endo et al. - 1996

BibTeX entry:   (Update)

D. R. Engler, M. F. Kaashoek, and J. O'Toole Jr. Exokernel: an operating system architecture for application-specif ic resource management. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, December 1995. http://citeseer.ist.psu.edu/engler95exokernel.html   More

@inproceedings{ engler95exokernel,
    author = "Dawson R. Engler and M. Frans Kaashoek and James O'Toole",
    title = "Exokernel: An Operating System Architecture for Application-Level Resource Management",
    booktitle = "Symposium on Operating Systems Principles",
    pages = "251-266",
    year = "1995",
    url = "citeseer.ist.psu.edu/engler95exokernel.html" }
Citations (may not include all citations):
444   Mach: a new kernel foundation for UNIX development (context) - Accetta, Baron et al. - 1986  DBLP
423   End-to-end arguments in system design - Saltzer, Reed et al. - 1984  ACM   DBLP
339   Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993  ACM   DBLP
304   Scheduler activations: Effective kernel support for the user.. - Anderson, Bershad et al. - 1991  DBLP
248   Lottery scheduling: Flexible proportional-share resource man.. - Waldspurger, Weihl - 1994
161   The packet filter: An efficient mechanism for user-level net.. - Mogul, Rashid et al. - 1987  DBLP
158   Chorus distributed operating system (context) - Rozier, Abrossimov et al. - 1988  DBLP
152   Operating system support for database management (context) - Stonebraker - 1981  ACM   DBLP
140   Experiences with the Amoeba distributed operating system - Tanenbaum, van Renesse et al. - 1990  ACM   DBLP
120   Experiences with a high-speed network adaptor: A software pe.. - Druschel, Peterson et al. - 1994  DBLP
107   Scout: A communication-oriented operating system - Hartman, Montz et al. - 1994
99   Hints for computer system design - Lampson - 1983  ACM   DBLP
99   Application-controlled physical memory using external page-c.. - Harty, Cheriton - 1992
98   Improving IPC by kernel design - Liedtke - 1993  ACM   DBLP
95   Implementation and performance of application-controlled fil.. - Cao, Felten et al. - 1994  DBLP
95   Virtual memory primitives for user programs - Appel, Li - 1991
89   SPIN - an extensible microkernel for application-specific op.. - Bershad, Chambers et al. - 1994  DBLP
70   Design tradeoffs for software-managed TLBs - Nagle, Uhlig et al. - 1993
62   Pilot: An operating system for a personal computer - Redell, Dalal et al. - 1980  DBLP
59   A caching model of operating system kernel functionality - Cheriton, Duda - 1994  ACM   DBLP
54   Architectural support for translation table management in la.. (context) - Huck, Hays - 1992  ACM   DBLP
53   Synthesis: an efficient implementation of fundamental operat.. - Massalin - 1992  ACM
53   kernel: A software base for distributed systems (context) - Cheriton - 1984
52   Accent: A communication oriented network operating system ke.. (context) - Rashid, Robertson - 1981  DBLP
44   Fast mutual exclusion for uniprocessors (context) - Bershad, Redell et al. - 1992
43   Software prefetching and caching for translation lookaside b.. - Bala, Kaashoek et al. - 1994  DBLP
37   Alpha axp architecture (context) - Sites - 1993  ACM   DBLP
37   Hardware and software support for efficient exception handli.. - Thekkath, Levy - 1994  ACM   DBLP
35   Dynamic page mapping policies for cache conflict resolution .. - Romer, Lee et al. - 1994  DBLP
34   Tools for development of application-specific virtual memory.. - Krueger, Loftesness et al. - 1993
27   A flexible measurement tool for software systems (context) - Deutsch, Grant - 1971  DBLP
26   An introduction to the architecture of the VINO kernel (context) - Seltzer - 1994
24   How to use a 64-bit virtual address space - Chase, Levy et al. - 1992
23   The case for application-specific operating systems (context) - Anderson - 1992  ACM
16   An open operating system for a single-user machine - Lampson, Sproull - 1979  ACM   DBLP
16   High performance cross-address space communication (context) - Bershad - 1990
13   SPACE: A new approach to operating system abstraction - Probert, Bruno et al. - 1991
10   State of the Art Report (context) - Lampson, extendable - 1971
10   HYDRA: The kernel of a multiprocessing operating system (context) - Wulf, Cohen et al. - 1974
10   An experiment using registers for fast message-based interpr.. (context) - Cheriton - 1984  ACM   DBLP
8   Private Communication (context) - Draves - 1994
8   High-performance microkernel systems (context) - Lucco - 1994
8   The persistent relevance of IPC performance: New techniques .. - Hsieh, Kaashoek et al. - 1993  DBLP
6   Inside Windows/NT (context) - Custer - 1993
4   Research and Development (context) - Creasy, of et al. - 1981  ACM
3   The SPARC Architecture Manual Verson (context) - International - 1992
2   UCLA data secure UNIX (context) - Popek - 1979
1   DRAFT COPY --- Do not distribute or cite (context) - Hansen, of et al. - 1970



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cag.lcs.mit.edu.html):   More
Reactive Synchronization Algorithms for Multiprocessors - Lim (1994)   (Correct)
MGS: A Multigrain Shared Memory System - Yeung (1996)   (Correct)
Dribbling Registers: A Mechanism for Reducing Context.. - Vijayaraghavan.. (1992)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC