Recovering device drivers

ACM Transactions on Computer Systems

Volumn 24, Issue 4, 2006, Pages 333-360

  Swift, Michael M ^a,b   Annamalai, Muthukaruppan ^a,b   Bershad, Brian N ^a,b   Levy, Henry M ^a,b  

^a UNIVERSITY OF WASHINGTON   (United States)

^b University of Washington   (United States)

Author keywords

Device drivers; I O; Recovery

Indexed keywords

DEVICE DRIVERS; KERNEL; LINUX; PRINCIPAL FAILING COMPONENT;

COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; INPUT OUTPUT PROGRAMS; RELIABILITY;

COMPUTER SYSTEM RECOVERY;

EID: 33847256887     PISSN: 07342071     EISSN: 15577333     Source Type: Journal    
DOI: 10.1145/1189256.1189257     Document Type: Article

References (42)

1. ARTHUR, S. 2004. Fault resilient drivers for Longhorn server. Tech. Rep. WinHec 2004 Presentation DW04012, Microsoft Corporation, Redmond, WA. May.
2. BARAOǦLU, Ö. 1990. Fault-tolerant computing based on Mach. In Proceedings of the USENIX Mach Symposium. Burlington, VT, 185-199.
3. BARGA, R., LOMET, D., AND WEIKUM, G. 2002. Recovery guarantees for general multi-tier applications. In International Conference on Data Engineering. IEEE, San Jose, California, 543-554.
4. BARTLETT, J. F. 1981. A NonStop kernel. In Proceedings of the 8th ACM Symposium on Operating Systems Principles. Pacific Grove, CA, 22-29.
5. BORG, A., BALU, W., GRAETSCH, W., HERRMANN, F., AND OBERLE, W. 1989. Fault tolerance under UNIX. ACM Trans. Comput. Syst. 7, 1 (Feb.), 1-24.
6. BOVET, D. P. AND CESATI, M. 2002. Inside the Linux Kernel. O'Reilly & Associates, Sebastopol, California.
7. BRESSOUD, T. C. 1998. TFT: A software system for application-transparent fault tolerance. In Proceedings of the 28th Symposium on Fault-Tolerant Computing. IEEE, Munich, Germany, 128-137.
8. BRESSOUD, T. C. AND SCHNEIDER, F. B. 1996. Hypervisor-based fault tolerance. ACM Tran. Compu. Syst. 14, 1 (Feb.), 80-107.
9. CANDEA, G. AND FOX, A. 2001. Recursive restartability: Turning the reboot sledgehammer into a scalpel. In Proceedings of the Eighth IEEE Workshop on Hot Topics in Operating Systems. 125-132.
10. CHANDRA, S. AND CHEN, P. M. 1998. How fail-stop are faulty programs? In Proceedings of the 28th Symposium on Fault-Tolerant Computing. IEEE, Munich, Germany, 240-249.
11. CHANDRA, S. AND CHEN, P. M. 2000. Whither generic recovery from application faults? A fault study using open-source software. In Proceedings of the 2000 IEEE International Conference on Dependable Systems and Networks. New York, New York, 97-106.
12. CHEN, P. M., NG, W. T., CHANDRA, S., AYCOCK, C., RAJAMANI, G., AND LOWELL, D. 1996. The Rio file cache: Surviving operating system crashes. In Proceedings of the Seventh ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Cambridge, Massachusetts, 74-83.
13. CHIUEH, T., VENKITACHALAM, G., AND PRADHAN, P. 1999. Integrating segmentation and paging protection for safe, efficient and transparent software extensions. In Proceedings of the 17th ACM Symposium on Operating Systems Principles. Kiawah Island Resort, South Carolina, 140-153.
14. CHOU, A., YANG, J., CHELF, B., HALLEM, S., AND ENGLER, D. 2001. An empirical study of operating system errors. In Proceedings of the 18th ACM Symposium on Operating Systems Principles. Lake Louise, Alberta, 73-88.
15. CHRISTMANSSON, J. AND CHILLAREGE, R. 1996. Generation of an error set that emulates software faults based on field data. In Proceedings of the 26th Symposium on Fault-Tolerant Computing. IEEE, Sendai, Japan, 304-313.
16. ENGLER, D. R., KAASHOEK, M. F., AND JR., J. O. 1995. Exokernel: an operating system architecture for application-level resource management. In Proceedings of the 15th ACM Symposium on Operating Systems Principles. Copper Mountain Resort, Colorado, 251-266.
17. FENG, W. 2003. Making a case for efficient supercomputing. ACM Queue 1, 7 (Oct.).
18. FORD, B., BACK, G., BENSON, G., LEPREAU, J., LIN, A., AND SHIVERS, O. 1997. The Flux OSKit: a substrate for OS language and research. In Proceedings of the 16th ACM Symposium on Operating Systems Principles. 38-51.
19. GRAY, J. 1985. Why do computers stop and what can be done about it? Tech. Rep. 85-7, Tandem Computers, Cupertino, CA. June.
20. GRAY, J. AND REUTER, A. 1993. Transaction Processing: Concepts and Techniques. Morgan Kaufmann.
21. HAND, S. M. 1999. Self-paging in the Nemesis operating system. In Proceedings of the 3rd USENIX Symposium on Operating Systems Design and Implementation. New Orleans, LA, 73-86.
22. JEWETT, D. 1991. Integrity S2: A fault-tolerant Unix platform. In Proceedings of the 21st Symposium, on Fault-Tolerant Computing. IEEE, Quebec, Canada, 512-519.
23. KILGARD, M. J., BLYTHE, D., AND HOHN, D. 1995. System support for OpenGL direct rendering. In Proceedings of Graphics Interface, Canadian Human-Computer Communications Society, Toronto, Ontario, 116-127.
24. LIEDTKE, J. 1995. On μ-kernel construction. In Proceedings of the 15th ACM Symposium on Operating Systems Principles. Copper Mountain Resort, Colorado, 237-250.
25. LINUX KERNEL MAILING LIST. http://ww.uwsg.indiana.edu/hypermail/linux/kernel.
26. LOWELL, D. E., CHANDRA, S., AND CHEN, P. M. 2000. Exploring failure transparency and the limits of generic recovery. In Proceedings of the 4th USENIX Symposium, on Operating Systems Design and Implementation. San Diego, California, 289-304.
27. LOWELL, D. E. AND CHEN, P. M. 1998. Discount checking: Transparent, low-overhead recovery for general applications. Technical Report CSE-TR-410-99, University of Michigan (Nov.).
28. MULLER, G., BANÂTRE, M., PEYROUZE, N., AND ROCHAT, B. 1996. Lessons from FTM: An experiment in design and implementation of a low-cost fault-tolerant system. IEEE Trans. Softw. Eng. 45, 2 (June), 332-339.
29. NG, W. T. AND CHEN, P. M. 1999. The systematic improvement of fault tolerance in the Rio file cache. In Proceedings of the 29th Symposium on Fault-Tolerant Computing. IEEE, 76-83.
30. ORGOVAN, V. AND TRICKER, M. 2003. An introduction to driver quality. Microsoft WinHec Presentation DDT301 (Aug). Redmond, WA.
31. PATTERSON, D., BROWN, A., BROADWELL, P., CANDEA, G., CHEN, M., CUTLER, J., ENRIQUEZ, P., FOX, A., KÝCÝMAN, E., MERZBACHER, M., OPPENHEIMER, D., SASTRY, N., TETZLAFF, W., TRAUPMAN, J., AND TREUHAFT, N. 2002. Recovery-Oriented Computing (ROC): Motivation, definition, techniques, and case studies. Tech. Rep. CSD-02-1175, UC Berkeley Computer Science. Mar.
32. PLANK, J. S., BECK, M., KINGSLEY, G., AND LI, K. 1995. Libckpt: Transparent checkpointing under Unix. In Proceedings of the 1995 Winter USENIX Conference. New Orleans, Louisiana, 213-224.
33. RUSSINOVICH, M., SEGALL, Z., AND SIEWIOREK, D. 1993. Application transparent fault management in Fault Tolerant Mach. In Proceedings of the 23rd Symposium on Fault-Tolerant Computing, IEEE, Toulouse, France, 10-19.
34. SELTZER, M. I., ENDO, Y., SMALL, C., AND SMITH, K. A. 1996. Dealing with disaster: Surviving misbehaved kernel extensions. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation. Seattle, Washington, 213-227.
35. SULLIVAN, M. AND CHILLAREGE, R. 1991. Software defects and their impact on system availability - a study of field failures in operating systems. In Proceedings of the 21st Symposium on Fault-Tolerant Computing. IEEE, Quebec, Canada, 2-9.
36. SWIFT, M. M., BERSHAD, B. N., AND LEVY, H. M. 2005. Improving the reliability of commodity operating systems. ACM Trans. Comput. Syst. 23, 1 (Feb.), 1-34.
37. TRANTER, J. 2000. Open sound system programmer's guide. Available at http://www.opensound.com/pguide/oss.pdf.
38. WAHBE, R., LUCCO, S., ANDERSON, T. E., AND GRAHAM, S. L. 1993. Efficient software-based fault isolation. In Proceedings of the 14th ACM Symposium on Operating Systems Principles. Asheville, North Carolina, 203-216.
39. WAHBE, R. S. AND LUCCO, S. E. 1998. Methods for safe and efficient implementation of virtual machines. US Patent 5,761,477.
40. WHITTAKER, J. A. 2001. Software's invisible users. IEEE Softw. 18, 3 (May), 84-88.
41. WULF, W. A. 1975. Reliable hardware-software architecture. In Proceedings of the International Conference on Reliable Software. Los Angeles, California, 122-130.
42. YOUNG, M., ACCETTA, M., BARON, R., BOLOSKY, W., GOLUB, D., RASHID, R., AND TEVANIAN, A. 1986. Mach: A new kernel foundation for UNIX development. In Proceedings of the 1986 Summer USENIX Conference. Atlanta, Georgia, 93-113.