Understanding modern device drivers

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 2012, Pages 87-98

  Kadav, Asim ^a   Swift, Michael M ^a  

^a University of Wisconsin   (United States)

Author keywords

device drivers; measurement

Indexed keywords

BUS INTERFACES; COARSE-GRAINED; DEVELOPMENT COSTS; DEVICE DRIVER; DRIVER INTERACTION; LINES OF CODE; LINUX KERNEL; SOURCE CODES; USB-BUS;

ABSTRACTING; COMPUTER OPERATING SYSTEMS; LIBRARIES; MEASUREMENTS; PROGRAM DEBUGGING; TOOLS;

RESEARCH;

EID: 84858763057     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2150976.2150987     Document Type: Conference Paper

References (47)

1. J. Andrus, C. Dall, A. Vant Hof, O. Laadan, and J. Nieh. Cells: A virtual mobile smartphone architecture. In SOSP, 2011.
2. T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, B. Ondrusek, S. K. Rajamani, and A. Ustuner. Thorough static analysis of device drivers. In Eurosys, 2006.
3. S. Belongie, J. Malik, and J. Puzicha. Shape matching and object recognition using shape contexts. Transactions on Pattern Analysis and Machine Intelligence, 2002.
4. S. Boyd-Wickizer and N. Zeldovich. Tolerating malicious device drivers in linux. In USENIX ATC, 2010.
5. M. Castro, M. Costa, J.-P. Martin, M. Peinado, P. Akritidis, A. Donnelly, P. Barham, and R. Black. Fast byte-granularity software fault isolation. In SOSP, 2009.
6. V. Chipounov and G. Candea. Reverse engineering of binary device drivers with RevNIC. In Eurosys, Apr. 2010.
7. T.-c. Chiueh, G. Venkitachalam, and P. Pradhan. Integrating segmentation and paging protection for safe, efficient and transparent software extensions. Operating Systems Review, 33, 1999.
8. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating system errors. In SOSP, 2001.
9. F. M. David et al. CuriOS: Improving reliability through operating system structure. In OSDI, 2008.
10. Digi International. AnywhereUSB. http://www.digi.com/products/usb/ anywhereusb.jsp.
11. I. Dryden and K. Mardia. Statistical shape analysis, volume 4. Wiley New York, 1998.
12. K. Fraser et al. Safe hardware access with the Xen virtual machine monitor. In OASIS Workhop, 2004.
13. M. Gabel, J. Yang, Y. Yu, M. Goldszmidt, and Z. Su. Scalable and systematic detection of buggy inconsistencies in source code. In OOPSLA, 2010.
14. A. Ganapathi, V. Ganapathi, and D. A. Patterson. Windows xp kernel crash analysis. In LISA, 2006.
15. V. Ganapathy, A. Balakrishnan, M. M. Swift, and S. Jha. Microdrivers: A new architecture for device drivers. In HOTOS11, 2007.
16. V. Ganapathy, M. J. Renzelmann, A. Balakrishnan, M. M. Swift, and S. Jha. The design and implementation of microdrivers. In ASPLOS, Mar. 2008.
17. A. Hari, M. Jaitly, Y.-J. Chang, and A. Francini. The swiss army smartphone: Cloud-based delivery of usb services. In Mobiheld, 2011.
18. A. Kadav, M. J. Renzelmann, and M. M. Swift. Tolerating hardware device failures in software. In SOSP, 2009.
19. A. Kadav and M. Swift. Live migration of direct-access devices. Operating Systems Review, 43(3):95-104, 2009.
20. V. Kuznetsov, V. Chipounov, and G. Candea. Testing closed-source binary device drivers with DDT. In USENIX ATC, 2010.
21. B. Leslie et al. User-level device drivers: Achieved performance. Jour. Comp. Sci. and Tech., 2005.
22. Z. Li, S. Lu, S. Myagmar, and Y. Zhou. CP-Miner: A tool for finding copy-paste and related bugs in operating system code. In OSDI, 2004.
23. Y. Mao, H. Chen, D. Zhou, X. Wang, N. Zeldovich, and M. Kaashoek. Software fault isolation with api integrity and multi-principal modules. In SOSP, 2011.
24. A. Menon, S. Schubert, and W. Zwaenepoel. Twindrivers: semiautomatic derivation of fast and safe hypervisor network drivers from guest os drivers. In ASPLOS, 2009.
25. F. Mérillon, L. Réveillère, C. Consel, R. Marlet, and G. Muller. Devil: An IDL for hardware programming. In OSDI, 2000.
26. Microsoft Corp. Web services on devices. http://msdn.microsoft.com/en-us/ library/aa826001%28v=vs.85%29.aspx.
27. G. C. Necula, S. Mcpeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In Compiler Construction, 2002.
28. V. Orgovan and M. Tricker. An introduction to driver quality. Microsoft WinHec Presentation DDT301, 2003.
29. Y. Padioleau, J. Lawall, R. R. Hansen, and G. Muller. Documenting and automating collateral evolutions in linux device drivers. In Eurosys, 2008.
30. K. K. Ram, J. R. Santos, Y. Turner, A. L. Cox, and S. Rixner. Achieving 10 gb/s using safe and transparent network interface virtualization. In VEE, 2009.
31. M. J. Renzelmann and M. M. Swift. Decaf: Moving device drivers to a modern language. In USENIX ATC, June 2009.
32. L. Ryzhyk, P. Chubb, I. Kuz, and G. Heiser. Dingo: Taming device drivers. In Eurosys, 2009.
33. L. Ryzhyk, P. Chubb, I. Kuz, E. Le Sueur, and G. Heiser. Automatic device driver synthesis with Termite. In SOSP, 2009.
34. L. Ryzhyk, Y. Zhu, and G. Heiser. The case for active device drivers. In APSys, Aug. 2010.
35. A. Schüpbach, A. Baumann, T. Roscoe, and S. Peter. A declarative language approach to device configuration. In ASPLOS, 2011.
36. A. Silberschatz, P. B. Galvin, and G. Gagne. Operating System Concepts. John Wiley and Sons, eighth edition, 2009.
37. M. Spear et al. Solving the starting problem: Device drivers as selfdescribing artifacts. In Eurosys, 2006.
38. M. M. Swift, M. Annamalai, B. N. Bershad, and H. M. Levy. Recovering device drivers. In OSDI, 2004.
39. M. M. Swift, B. N. Bershad, and H. M. Levy. Improving the reliability of commodity operating systems. In TOCS, 2005.
40. Úlfar Erlingsson et al. Xfi: software guards for system address spaces. In OSDI, 2006.
41. USB Implementors Forum. Universal serial bus mass storage class specification overview. http://www.usb.org/developers/devclass-docs/usb-msc- overview-1.2.pdf, 2003.
42. USB Implementors Forum. Universal serial bus 3.0 specification. http://www.usb.org/developers/docs/usb-30-spec-071311.zip, 2011.
43. D. A. Wheeler. Sloccount. http://www.dwheeler.com/sloccount/.
44. D. Williams, P. Reynolds, K. Walsh, E. G. Sirer, and F. B. Schneider. Device driver safety through a reference validation mechanism. In OSDI, 2008.
45. L. Wittie. Laddie: The language for automated device drivers (ver 1). Technical Report 08-2, Bucknell CS-TR, 2008.
46. Xen.org. Writing xen drivers: Using xenbus and xenstore. http://wiki.xensource.com/xenwiki/XenBus, 2006.
47. F. Zhou et al. SafeDrive: Safe and recoverable extensions using language-based techniques. In OSDI, 2006.