The design and implementation of microdrivers

Operating Systems Review (ACM)

Volumn 42, Issue 2, 2008, Pages 168-178

  Ganapathy, Vinod ^b   Renzelmann, Matthew J ^a   Balakrishnan, Arini ^c   Swift, Michael M ^a   Jha, Somesh ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

^b RUTGERS UNIVERSITY   (United States)

^c SUN MICROSYSTEMS   (United States)

Author keywords

Device drivers; Program partitioning; Reliability

Indexed keywords

ACCESS CONTROL; CODES (SYMBOLS); DATA HANDLING; RELIABILITY ANALYSIS; USER INTERFACES;

DEVICE DRIVERS; PROGRAM PARTITIONING; PROGRAMMER ANNOTATIONS;

DIGITAL DEVICES;

EID: 77957808684     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1353535.1346303     Document Type: Conference Paper

References (43)

1. Apple Inc. Introduction to 170 kit fundamentals, 2006.
2. Francois Armand. Give a process to your drivers! In EurOpen Autumn 1991, September 1991.
3. T. Ball and S. K. Rajamani. The SLAM project: Debugging system software via static analysis. In POPL, 2002.
4. B. N. Bershad, T. E. Anderson, E. D. Lazowska, and H. M. Levy. Lightweight remote procedure call. ACM TOCS, 8(1), 1990.
5. D. Brumley and D. Song. Privtrans: Automatically partitioning programs for privilege separation. In USENIX Security, 2004.
6. S. Chong, J. Liu, A. C. Myers, X. Qi, K. Vikram, L. Zheng, and X. Zheng. Secure web applications via automatic partitioning. In SOSP, 2007.
7. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating system errors. In SOSP, 2001.
8. P. Chubb. Get more device drivers out of the kernell In Ottawa Linux Symp., 2004.
9. C. L. Conway and S. A. Edwards. NDL: A domain-specific language for device drivers. In LCTES, 2004.
10. Information Networks Division. Netperf: A network performance benchmark. http://www.netperf.org.
11. J. Elson. FUSD: A Linux framework for user-space devices, 2004. User manual for FUSD 1.0.
12. D. R. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In OSDI, 2000.
13. Ú. Erlingsson, T. Roeder, and T. Wobber. Virtual environments for unreliable extensions. Technical Report MSR-TR-05-82, Microsoft Research, June 2005.
14. M. Rozier et al., Overview of the Chorus distributed operating system. In USENIX Symp. on Microkernels & other kernel architectures, 1992.
15. K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield, and M. Williamson. Safe hardware access with the Xen virtual machine monitor. In Workshopon Operating System and Architectural Support for the On-Demand IT Infrastructure, 2004.
16. V. Ganapathy, A. Balakrishnan, M. M. Swift, and S. Jha. Microdrivers: A new architecture for device drivers. In HotOS, 2007.
17. G. C. Hunt and M. L. Scott. The Coign automatic distributed partitioning system. In OSDI, 1999.
18. Jungo. Windriver cross platform device driver development environment. Technical report, Jungo Corporation, February 2002. http://www.jungo.com/ windriver.html.
19. J. Lepreau, M. Hibler, B. Ford, J. Law, andD. B. Orr. In-kernel servers on Mach 3.0: Implementation and performance. In USENIX Mach III Symp., 1993.
20. B. Leslie, P. Chubb, N. Fitzroy-Dale, S. Gotz, C. Gray, L. Macpherson, D. Potts, Y. Shen, K. Elphinstone, and G. Heiser. User-level device drivers: Achieved performance. Jour. Comp. Sci. and Tech., 20(5), 2005.
21. J. LeVasseur, V. Uhlig, J. Stoess, and S. Gotz. Unmodified device driver reuse and improved system dependability via virtual machines. In OSDI, 2004.
22. J. Liedtke. On μ-kernel, construction. In SOSP, 1995.
23. A. Manolitzas. A specific domain language for network interface cards, 2001.
24. F. Mérillon, L. Réveillère, C. Consel, R. Marlet, and G. Muller. Devil: An IDL for hardware programming. In OSDI, 2000.
25. Microsoft. Architecture of the user-mode driver framework, May 2006. Version 0.7.
26. Microsoft Corp. Wdm: Introduction to windows driver model. http://www.microsoft.com/whdc/archive/wdm.mspx.
27. Microsoft Corporation. Windows XP embedded with service pack 1 reliability. http://msdn2.microsoft.com/enus/library/ms838661.aspx, January 2003.
28. Microsoft Inc. Microsoft interface definition language.
29. G. C. Necula, S. Mcpeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In Intl. Conf. on Compiler Constr., 2002.
30. N. Nethercode and J. Seward. Valgrind: A framework for heavyweight dynamic binary instrumentation. In PLDI, 2007.
31. A. Purohit, C. P. Wright, J. Spadavecchia, and E. Zadok. Cosy: Develop in user-land, run in kernel-mode. In HotOS, 2003.
32. M. E. Russionvich and D. A. Solomon. Inside Windows 2000. Microsoft Press, Redmond, Washington, 2000.
33. David A. Solomon. Inside Windows NT. Microsoft Press, 1998.
34. Sun Microsystems. Javaidl. http://java.sun.com/products/jdk/idl.
35. M. M. Swift, M. Annamalai, B. N. Bershad, and H. M. Levy. Recovering device drivers. In OSDI, 2004.
36. M. M. Swift, B. N. Bershad, and H. M. Levy. Improving the reliability of commodity operating systems. ACM TOCS, 23(1), February 2005.
37. L. Torvalds. UIO: Linux patch for user-mode I/O, July 2007.
38. K. T. Van Maren. The Fluke device driver framework. Master's thesis, Dept. of Computer Science, Univ. of Utah, December 1999.
39. T. von Eicken, A. Basu, V. Buch, and W. Vogels. U-Net: A user-level network interface for parallel and distributed computing. In SOSP, 1995.
40. E. Witchel, J. Rhee, and K. Asanovic. Mondrix: Memory isolation for Linux using Mondriaan memory protection. In SOSP, 2005.
41. M. Young, M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, and A. Tevanian. Mach: A new kernel foundation for UNIX development. In Summer USENLX Conference, 1986.
42. S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers. Secure program partitioning. ACM TOCS, 20(3), August 2002.
43. F. Zhou, J. Condit, Z. Anderson, I. Bagrak, R. Ennals, M. Harren, G. Necula, and E. Brewer. SafeDrive: Safe and recoverable extensions using language-based techniques. In OSDI, 2006.