Nooks: An architecture for reliable device drivers

Proceedings of the 10th Workshop on ACM SIGOPS European Workshop, EW 10

Volumn , Issue , 2002, Pages 102-107

  Swift, Michael M ^a   Martin, Steven ^a   Levy, Henry M ^a   Eggers, Susan J ^a  

^a University of Washington   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 65249109760     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1133373.1133393     Document Type: Conference Paper

References (23)

1. T. Ball and S. K. Rajamani. The SLAM project: Debugging system software via static analysis. In Proc. 29th POPL, Portland, OR, Jan. 2002.
2. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. E. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, safety and performance in the SPIN operating system. In Proc. 15th SOSP, pages 267-284, Copper Mountain, Colorado, Dec. 1995.
3. T. Chiueh, G. Venkitachalam, and P. Pradhan. Integrating segmentation and paging protection for safe, efficient and transparent software extensions. In Proc. 17th SOSP, pages 140-153, Kiawah Island Resort, South Carolina, Dec. 1999.
4. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empiracle study of operating system errors. In Proc. 18th SOSP, Lake Louise, Alberta, Oct. 2001.
5. I. Corporation. The IA-64 Architecture Software Developer's Manual. Intel Corporation, Jan. 2000.
6. D. R. Engler, M. F. Kaashoek, and J. O. Jr. Exokernel: an operating system architecture for application-level resource management. In Proc. 15th SOSP, pages 251-266, Copper Mountain Resort, Colorado, Dec. 1995.
7. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
8. G. Hunt. Creating user-mode device drivers with a proxy. In Proc. 1997 USENIX Windows NT Workshop, Seattle, WA, Aug. 1997.
9. R. Jones. Netperf: A network performance, version 2.1, 1995. Available at http://www.netperf.org.
10. Jungo. Windriver cross platform device driver development environment. Technical report, Jungo Corporation, Feb. 2002. http://www.jungo.com/windriver. html.
11. R. E. Kessler. The Alpha 21264 microprocessor. IEEE Micro, 19(2):24-36, March/April 1999.
12. J. Liedtke. On μ-kernel construction. In Proc. 15th SOSP, pages 237-250, Copper Mountain Resort, Colorado, Dec. 1995.
13. D. E. Lowell and P. M. Chen. Discount checking: Transparent, low-overhead recovery for general applications. Technical Report CSE-TR-410-99, University of Michigan, Nov. 1998.
14. F. Mérillon, L. Réveillère, C. Consel, R. Marlet, and G. Muller. Devil: An IDL for hardware programming. In Proc. 4th OSDI, pages 17-30, San Diego, CA, Oct. 2000.
15. Microsoft. Windows XP device driver development kit. Technical report, Microsoft Corporation, Oct. 2001.
16. B. Murphy. Fault tolerance in this high availbility world. Talk given at Stanford University and University of California at Berkeley. Available at http://research.microsoft.com/users/bmurphy/FaultTolerance.htm, Oct. 2000.
17. G. Nelson, editor. Systems Programming with Modula-3. Prentice Hall, 1991.
18. Project-UDI. Introduction to UDI version 1.0. Technical report, Project UDI, Aug. 1999. Available at http://www.project-udi.org/Docs/pdf/UDI-tech-white- paper.pdf.
19. M. Satyanarayanan, H. H. Mashburn, P. Kumar, D. C. Steere, and J. J. Kistler. Lightweight recoverable virtual memory. In Proc. 14th SOSP, pages 146-160, Asheville, North Carolina, Dec. 1993.
20. M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In Proc. 2nd OSDI, pages 213-227, Seattle, Washington, Oct. 1996.
21. T. Shinagawa, K. Kono, and T. Masuda. Exploiting segmentation mechanism for protecting against malicious mobile code. Technical Report 00-02, Dept. of Information Science, University of Tokyo, May 2000.
22. K. T. Van Maren. The fluke device driver framework. Master's thesis, Department of Computer Science, University of Utah, Dec. 1999.
23. R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham. Efficient software-based fault isolation. In Proc. 14th SOSP, pages 203-216, Asheville, North Carolina, Dec. 1993.