Microdrivers: A new architecture for device drivers

Proceedings of HotOS 2007 - 11th Workshop on Hot Topics in Operating Systems

Volumn , Issue , 2007, Pages

  Ganapathy, Vinod ^a   Balakrishnan, Arini ^a   Swift, Michael M ^a   Jha, Somesh ^a  

^a University of Wisconsin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK ARCHITECTURE;

CODE RUNNING; COMMODITY OPERATING SYSTEMS; DEVICE DRIVER; FAULT ISOLATION; KERNEL MODE; MICRO DRIVER; NETWORK DRIVER; USER MODE;

FLEXIBLE MANIPULATORS;

EID: 84858777015     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. The Minix3 operating system. www.minix3.org.
2. R. K. Ahuja, T. L. Magnanti, and J. B. Orlin. Network Flows: Theory, Algorithms, and Applications. Prentice Hall, February 1993.
3. B. N. Bershad, T. E. Anderson, E. D. Lazowska, and H. M. Levy. Lightweight remote procedure call. ACM TOCS, 8(1), February 1990.
4. D. Blythe. Windows graphics overview. In Windows Hardware Engineering Conference, 2005.
5. D. Brumley and D. Song. Privtrans: Automatically partitioning programs for privilege separation. In 13th USENIX Security Symposium, 2004.
6. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating system errors. In 18th ACM SOSP, 2001.
7. P. Chubb. Get more device drivers out of the kernel! In Ottawa Linux Symposium, 2004.
8. J. Elson. FUSD: A Linux framework for user-space devices, 2004. User manual for FUSD 1.0.
9. D. R. Engler, M. F. Kaashoek, and J. O'Toole. Exokernel: An operating system architecture for application-level resource management. In 15th ACM SOSP, 1995.
10. A. Forin, D. Golub, and B. Bershad. An I/O system for Mach. In USENIX Mach Symposium, 1991.
11. K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield, and M. Williamson. Safe hardware access with the Xen virtual machine monitor. In Workshop on Operating System and Architectural Support for the On-Demand IT Infrastructure, 2004.
12. G. C. Hunt and M. L. Scott. The Coign automatic distributed partitioning system. In 4th ACM/USENIX OSDI, 1999.
13. B. Langley. Windows “Longhorn” display driver model-details and requirements. In Windows Hardware Engineering Conference, 2004.
14. 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. Journal of Computer Science and Technology, 20(5), September 2005.
15. J. LeVasseur, V. Uhlig, J. Stoess, and S. Gotz. Unmodified device driver reuse and improved system dependability via virtual machines. In 6th ACM/USENIX OSDI, 2004.
16. J. Liedtke. On µ-kernel construction. In 15th ACM SOSP, 1995.
17. Microsoft. Architecture of the user-mode driver framework, May 2006. Version 0.7.
18. B. Murphy and M. R. Garzia. Software reliability engineering for mass market products. The DoD Software Tech News, 8(1), 2004.
19. V. Orgovan and M. Tricker. An introduction to driver quality. Microsoft WinHec 2004 Presentation DDT301, 2003.
20. A. Purohit, C. P. Wright, J. Spadavecchia, and E. Zadok. Cosy: Develop in user-land, run in kernel-mode. In 9th HotOS, 2003.
21. A. Silberschatz and P. B. Galvin. Operating System Concepts. Addison Wesley, fifth edition, 1999.
22. M. M. Swift, B. N. Bershad, and H. M. Levy. Improving the reliability of commodity operating systems. ACM TOCS, 23(1), February 2005.
23. K. T. Van Maren. The Fluke device driver framework. Master's thesis, Dept. of Computer Science, Univ. of Utah, December 1999.
24. R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham. Efficient software-based fault isolation. In 14th ACM SOSP, 1993.
25. 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 USENIX Conference, 1986.
26. S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers. Secure program partitioning. ACM TOCS, 20(3), August 2002.
27. 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 7th OSDI, 2006.