A novel way to safely and efficiently share user-level system objects in an exokernel
Abstract: Traditional operating systems are overly restrictive and do not allow user-level applications to modify operating system abstractions. The exokernel operating system architecture safely gives untrusted applications efficient control over hardware and software resources by separating management from protection. Decentralized control, however, makes it very difficult for mutually distrustful applications to share system abstractions. This thesis presents the design, implementation, and evaluation ... (Update)
Context of citations to this paper: More
...to operating system abstractions become important. While placing abstractions in a privileged domain (e.g. inside a protected method [12] or a server) provides protection, it reduces extensibility and performance. Instead, an exokernel offers two mechanisms for implementing...
Cited by: More
Multiprocessing with the Exokernel Operating System - Chen (2000)
(Correct)
Active bibliography (related documents): More All
0.7: Extensibility, Safety and Performance in the SPIN.. - Bershad, Savage.. (1995)
(Correct)
0.2: The Exokernel Operating System Architecture - Engler (1998)
(Correct)
0.2: A Framework for Easily and Efficiently Extending Operating Systems - Kourai (1999)
(Correct)
Similar documents based on text: More All
0.9: An x86 Protected Mode Virtual Machine Monitor for the MIT Exokernel - Coffing (1999)
(Correct)
0.7: Extensible Operating Systems - Porwal, Manadhata (2001)
(Correct)
0.5: Recognition and Classification by Exploration - Chklovski (1998)
(Correct)
Related documents from co-citation: More All
2: Intel Pentium Pro Developer's Manual (context) - Corporation - 1996
BibTeX entry: (Update)
G. Candea. Flexible and efficient sharing of protected abstractions. Master's thesis, Massachusetts Institute of Technology, May 1998. http://citeseer.ist.psu.edu/candea98flexible.html More
@mastersthesis{ candea-exokernel-pam,
author = {George Candea},
title = {Flexible and Efficient Sharing of Protected Abstractions},
school = {M.I.T. Lab for Computer Science},
year = {1998},
address = {Cambridge, MA},
annote = {A novel way to safely and efficiently share user-level system objects in an exokernel.},
url = {citeseer.ist.psu.edu/candea98flexible.html} }
Citations (may not include all citations):
447
Exokernel: an operating system architecture for application-..
- Engler, Kaashoek et al. - 1995
339
Efficient Software-Based Fault Isolation
- Wahbe, Lucco et al. - 1993
264
Safe Kernel Extensions Without Run-Time Checking
- Necula, Lee - 1996
226
Lightweight Remote Procedure Call (context) - Bershad, Anderson et al. - 1990
176
Why aren't Operating Systems Getting Faster as Fast as Hardw..
- Ousterhout - 1990
161
The Packet Filter: An Efficient Mechanism for User-Level Net..
- Mogul, Rashid et al. - 1987
158
The CHORUS Distributed Operating System (context) - Rozier, Abrossimov et al. - 1988
137
Unix as an application program
- Golub, Dean et al. - 1990
119
Application performance and flexibility on exokernel systems
- Kaashoek, Engler et al. - 1997
112
File-System Development with Stackable Layers
- Heidemann, Popek - 1994
97
Extensibility, Safety and Performance in the SPIN Operating ..
- Bershad, Savage et al. - 1995
83
An architectural overview of QNX (context) - Hildebrand - 1992
81
Efficient packet demultiplexing for multiple endpoints and l..
- Yuhara, Bershad et al. - 1994
62
Pilot: An Operating System for a Personal Computer
- Redell, Dalal et al. - 1980
46
aashoek M.F., "ASHs: Application-specific handlers for high-..
- Wallach, Engler - 1996
45
Embedded inodes and explicit grouping: exploiting disk bandw..
- Ganger, Kaashoek - 1997
28
HiPEC: high performance external virtual memory caching
- Lee, Chen et al. - 1994
27
A Flexible Measurement Tool For Software Systems (context) - Deutsch, Grant - 1971
23
The Case for Application-Specific Operating Systems (context) - Anderson - 1992
23
The Fox Project: Advanced Development of Systems Software
- Cooper, Harper et al. - 1991
19
VINO: an Integrated Platform for Operating Systems and Datab..
- Small, Seltzer - 1994
11
Protected Shared Libraries -- A New Approach to Modularity a..
- Banerji, Tracey et al. - 1997
8
High-Performance Microkernel Systems (context) - Lucco - 1994
5
Anonymous RPC: Low Latency Protection in a 64-Bit Address Sp.. (context) - Yarvin, Bukowski et al. - 1993
2
Decentralizing UNIX Abstractions in the Exokernel Architectu.. (context) - Briceno - 1997
2
Extensibility in the Oberon System (context) - Mossenbock - 1994
1
The Performance of ¯-Kernel-Based Systems (context) - Hartig, Hohmuth et al. - 1997
1
Vassal: Loadable Scheduler Support for MultiPolicy Schedulin.. (context) - thesis, of et al. - 1998
1
Secure Applications Need Flexible Operating Systems (context) - Mazieres, Kaashoek - 1997
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