See this document in CiteSeerX!

Dealing With Disaster: Surviving Misbehaved Kernel Extensions (1996)  (Make Corrections)  (175 citations)
Margo Seltzer
Proceedings of the 2nd Symposium on Operating Systems Design and Implementation



  Home/Search   Context   Related

 
View or download:
camars.kaist.ac.kr/~dh...disaster.ps.gz
harvard.edu/~chris/papers/osdi96.ps
harvard.edu/~vino/vino/osdi...paper.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  camars.kaist.ac.kr/~dhpark/SIG... (more)
From:  harvard.edu/~chris/papers/
(Enter author homepages)

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

Abstract: Today's extensible operating systems allow applications to modify kernel behavior by providing mechanisms for application code to run in the kernel address space. The advantage of this approach is that it provides improved application flexibility and performance; the disadvantage is that buggy or malicious code can jeopardize the integrity of the kernel. It has been demonstrated that it is feasible to use safe languages, software fault isolation, or virtual memory protection to safeguard the... (Update)

Cited by:   More
Recovering Device Drivers - Michael Swift Muthukaruppan (2004)   (Correct)
A Programmable Structure for Pervasive Computing - Ingar Mhlum Arntzen (2004)   (Correct)
Application-Level Concurrency Management - Ogel, Thomas, Folliot, Piumarta (2003)   (Correct)

Active bibliography (related documents):   More   All
0.3:   A Framework for Easily and Efficiently Extending Operating Systems - Kourai (1999)   (Correct)
0.3:   A Framework For Easily And Efficiently Extending Operating Systems - Kourai (1999)   (Correct)
0.3:   Self-Monitoring and Self-Adapting Operating Systems - Seltzer, Small (1997)   (Correct)

Similar documents based on text:   More   All
0.7:   Semi-Automatic Aortic Endograft Localisation for.. - de Bruijne.. (2001)   (Correct)
0.5:   Numerical Analysis of Flow in a 2D Distensible - Model Of An   (Correct)
0.5:   Bibliography of Mobile Programs, Extensible Operatings Systems.. - Hashii (1998)   (Correct)

Related documents from co-citation:   More   All
52:   Exokernel: an operating system architecture for application-specif ic resource m.. - Engler, Kaashoek et al. - 1995
52:   safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
36:   Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993

BibTeX entry:   (Update)

M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. In 2nd Symposium on Operating Systems Design and Implementation, pages 213--227, 1996. http://citeseer.ist.psu.edu/seltzer96dealing.html   More

@inproceedings{ seltzer96dealing,
    author = "M. I. Seltzer and Y. Endo and C. Small and K. A. Smith",
    title = "Dealing with Disaster: Surviving Misbehaved Kernel Extensions",
    booktitle = "Proceedings of the 2nd Symposium on Operating Systems Design and Implementation",
    address = "Seattle, Washington",
    pages = "213--227",
    year = "1996",
    url = "citeseer.ist.psu.edu/seltzer96dealing.html" }
Citations (may not include all citations):
447   Exokernel: An Operating System Architecture for Application-.. - Engler, Kaashoek et al. - 1995
444   Mach: A New Kernel Foundation for UNIX Development (context) - Accetta, Baron et al. - 1986
339   Efficient Software-Based Fault Isolation - Wahbe, Lucco et al. - 1993
320   Measurements of a Distributed File System - Baker, Hartman et al. - 1991
248   Lottery Scheduling: Flexible Proportional-Share Resource Man.. - Waldspurger, Weihl - 1994
216   Informed Prefetching and Caching - Patterson, Gibson et al. - 1995
127   Systems Programming with Modula (context) - Nelson - 1991
111   Optimistic Incremental Specialization: Streamlining a Commer.. - Pu, Autrey et al. - 1995
111   MachineIndependent Virtual Memory Management for Paged Unipr.. - Rashid, Tevanian et al. - 1987
97   Extensibility, Safety, and Performance in the SPIN Operating.. - Bershad, Savage et al. - 1995
95   Virtual Memory Primitives for User Programs - Appel, Li - 1991
70   Application-Controlled File Caching Policies - Cao, Felten et al. - 1994
61   A Comparison of OS Extension Technologies - Small, Seltzer - 1996
43   Recovery Management in QuickSilver (context) - Haskin, Malachi et al. - 1988
26   An Introduction to the Architecture of the VINO Kernel (context) - Seltzer, Endo et al. - 1994
12   Scout: A CommunicationsOriented Operating System (context) - Montz, Mosberger et al. - 1994
11   Safe Operating System Specialization: the RPC Case Study - Volanschi, Muller et al. - 1996
3   MiSFIT: A Minimal i386 Software Fault Isolation Tool (context) - Small - 1996
3   Operating Support for Database Management (context) - Stonebraker - 1981
1   How Software Publishers Can Use Authenticode Technology (context) - Corp
1   Introduction to Illustra (context) - Technologies - 1995



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


Documents on the same site (http://camars.kaist.ac.kr/~dhpark/SIG/):
Sharing and Protection in a Single Address Space.. - Chase, Levy, Feeley.. (1994)   (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