Improving the Reliability of Commodity Operating Systems (2003)  (Make Corrections)  (13 citations)
Michael M. Swift, Brian N. Bershad, Henry M. Levy
Proceedings of the 19th Symposium on Operating Systems Principles

 @ NUS   Home/Search   Context   Related

 
View or download:
washington.edu/homes/m...nookssosp.pdf
Cached:  PS.gz  PS  PDF  Image  Update  Help

From:  washington.edu/homes/levy/ (more)
(Enter author homepages)

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

Abstract: Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example, drivers account for 85% of recently reported failures. (Update)

Cited by:   More
Combining Statistical Monitoring and Predictable - Recovery For Self-Management   (Correct)
Designing Voting Machines for Verification - Naveen Sastry Tadayoshi   (Correct)
Recovering Device Drivers - Michael Swift Muthukaruppan (2004)   (Correct)

Active bibliography (related documents):   More   All
0.5:   SLK: ACapability System Based on Safe Language Technology - Hawblitzel, Chang.. (1997)   (Correct)
0.5:   Defining Digital Forensic Examination and Analysis Tools - Carrier (2002)   (Correct)
0.5:   Containment of Aggregate Queries - Sara Cohen Werner   (Correct)

Similar documents based on text:   More   All
0.4:   Manageability, Availability and Performance in Porcupine.. - Saito, Bershad, Levy (1999)   (Correct)
0.4:   The Structure and Performance of Interpreters - Romer, Lee, Voelker, Wolman.. (1996)   (Correct)
0.3:   Wayne A. Wong - Www Cs Washington   (Correct)

Related documents from co-citation:   More   All
5:   Dealing With Disaster: Surviving Misbehaved Kernel Extensions - Seltzer, Endo et al. - 1996
5:   An Empirical Study of Operating System Errors - Chou, Yang et al. - 2001
4:   Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel - Candea, Fox

BibTeX entry:   (Update)

M. M. Swift, B. N. Bershad, and H. M. Levy. Improving the Reliability of Commodity Operating Systems. In Proc. 19th Symp. on Operating Systems Principles (SOSP), Oct. 2003. http://citeseer.comp.nus.edu.sg/679250.html   More

@inproceedings{ swift03improving,
  author = "M. Swift and B. Bershad and H. Levy",
  title = "Improving the Reliability of Commodity Operating Systems",
  booktitle =" Proceedings of the 19th Symposium on Operating Systems Principles",
  address = "New York",
  year = "2003",
  url = "citeseer.comp.nus.edu.sg/679250.html" }
Citations (may not include all citations):
862   The Java Language Specification - Gosling, Joy et al. - 1996
476   Implementing remote procedure calls - Birrell, Nelson - 1984
447   Exokernel: an operating system architecture for application-.. - Engler, Kaashoek et al. - 1995
444   Mach: A new kernel foundation for UNIX development (context) - Young, Accetta et al. - 1986
400   safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
264   Safe kernel extensions without run-time checking - Necula, Lee - 1996
226   Lightweight remote procedure call (context) - Bershad, Anderson et al. - 1990
175   Dealing with disaster: Surviving misbehaved kernel extension.. - Seltzer, Endo et al. - 1996
129   Inside Windows NT (context) - Custer - 1993
116   Sharing and protection in a single-address-space operating s.. - Chase, Levy et al. - 1994
113   httperf: A tool for measuring web server performance - Mosberger, Jin - 1998
100   Checking system rules using system-specific (context) - Engler, Chelf et al. - 2000
100   Using continuations to implement thread management and commu.. - Draves, Bershad et al. - 1991
70   Performance of Firefly RPC - Schroeder, Burrows - 1989
63   Capability-based addressing (context) - Fabry - 1974
60   kernel construction - Liedtke - 1995
55   Architectural support for single address space operating sys.. - Koldinger, Chase et al. - 1994
45   Recursive restartability: Turning the reboot sledgehammer in.. - Candea, Fox - 2001
45   Understanding the Linux Kernel (context) - Bovet, Cesati - 2001
44   cient software-based fault isolation (context) - Wahbe, Lucco et al. - 1993
43   Hive: Fault containment for shared-memory multiprocessors (context) - Chapin, Rosenblum et al. - 1995
39   Protection and the control of information sharing in Multics (context) - Saltzer - 1974
38   Fault injection techniques and tools - Hsueh, Tsai et al. - 1997
38   An empirical study of operating system errors - Chou, Yang et al. - 2001
32   Self-paging in the Nemesis operating system - Hand - 1999
25   devices on VMware workstation's hosted virtual machine monit.. (context) - Sugerman, Venkitachalam et al. - 2001
23   Mondrian memory protection - Witchel, Cates et al. - 2002
21   Denali: Lightweight virtual machines for distributed and net.. - Whitaker, Shaw et al. - 2002
20   Experience with transactions in QuickSilver - Schmuck, Wylie - 1991
16   UC Berkeley Computer Science (context) - Patterson, Brown et al. - 2002
12   A Programmer's View of the Intel 432 System (context) - Organick - 1983
12   When virtual is better than real (context) - Chen, Noble - 2001
11   The SPECweb99 benchmark (context) - Evaluation - 1999
11   IEEE Personal Communications Magazine (context) - Haarsten, radio - 2000
10   Using write protected data structures to improve software fa.. - Sullivan, Stonebraker - 1991
9   system for Mach (context) - Forin, Golub et al. - 1991
9   The IA-32 Architecture Software Developer's Manual (context) - Corporation - 2002
6   The systematic improvement of fault tolerance in the Rio fil.. - Ng, Chen - 1999
6   Performance of address-space multiplexing on the Pentium - Uhlig, Dannowski et al. - 2002
6   Netperf: A network performance benchmark (context) - Jones - 1995
4   The role of Linux in reducing the cost of enterprise computi.. (context) - Gillen, Kusnetzky et al. - 2002
3   IBM System/38 support for capability-based addressing (context) - Houdek, Soltis et al. - 1981
3   Apache HTTP server version (context) - Project - 2000
2   Programming semantics for multiprogramming systems (context) - Dennis, Horn - 1966
2   Available at http: //www (context) - Levy, Systems - 1984
2   FAT: General overview of on-disk format (context) - Corporation - 2000
2   Vice President of Windows Core Technology (context) - Short - 2003
2   The Flux OSKit: a substrate for OS language and research (context) - Ford, Back et al. - 1997
1   Available at http://www (context) - Wheeler, gigabuck et al. - 2002
1   TiVo digital video recorder (context) - Corporation - 2001
1   Digital Equipment Corporation (context) - Gettys, Carlton et al. - 1900
1   Hewlett Packard Digital Entertainment Center (context) - Packard - 2001
http://www.fenrus.demon.nl/



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


Documents on the same site (http://www.cs.washington.edu/homes/levy/):
Measurement, Modeling, and Analysis of a.. - Gummadi, Dunn.. (2003)   (Correct)

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

CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.