TwinDrivers: Semi-automatic derivation of fast and safe hypervisor network drivers from guest OS drivers

ACM SIGPLAN Notices

Volumn 44, Issue 3, 2009, Pages 301-312

  Menon, Aravind ^a   Schubert, Simon ^a   Zwaenepoel, Willy ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ADDRESS SPACE; ALTERNATIVE APPROACH; DEVICE DRIVER; DRIVER SUPPORT; HYPERVISOR; ITS DATA; MEMORY ACCESS; NETWORK CARD; NETWORK DRIVER; PERFORMANCE BENEFITS; POOR PERFORMANCE; RUNNING-IN; SAFETY GUARANTEES; SEMI-AUTOMATIC; VIRTUAL MACHINES; VIRTUAL MEMORY; VIRTUALIZED ENVIRONMENT;

COMPUTER OPERATING SYSTEMS; SAFETY ENGINEERING; SOFTWARE ENGINEERING;

AUTOMOBILE DRIVERS;

EID: 67650815212     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (21)

1. The netperf benchmark. http://www.netperf.org/ netperf/NetperfPage.html.
2. Specweb'99 benchmark. http://spec.org/web99.
3. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. In 19th ACM Symposium on Operating Systems Principles, Oct 2003.
4. Brian N. Bershad, Stefan Savage, Emin Gun Sirer, Marc Fiuczynski, David Becker, Susan Eggers, and Craig Chambers. Extensibility, Safety and Performance in the SPIN operating System. In Symposium on Operating System Principles (SOSP), 1995.
5. Ulfar Erlingsson, Martin Abadi, Michael Vrable, Mihai Budiu, and George C. Necula. XFI: Software Guards for System Address Spaces. In Operating Systems Design and Implementation (OSDI), 2006.
6. Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, and Olin Shivers. The Flux OSKit: A Substrate for Kernel and Language Research. In 16th ACM Symposium on Operating System Principles (SOSP'97), Saint-Malo, France, October 1997.
7. K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield, and M. Williamson. Safe hardware access with the Xen virtual machine monitor. In 1st Workshop on Operating System and Architectural Support for the on demand IT InfraStructure (OASIS), Oct 2004.
8. Vinod Ganapathy, Matthew Renzelmann, Arini Balakrishnan, Michael Swift, and Somesh Jha. The Design and Implementation of Microdrivers. In 13th Internantional Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'08), Seattle, WA, March 2008.
9. Jorrit N. Herder, Herbert Boss, Ben Gras, Philip Homburg, and Andrew S. Tanenbaum. MINIX 3: A Highly Reliable, Self-Repairing Operating System. ACM SIGOPS Operating System Review, 40(3):80-89, July 2006.
10. Joshua LeVasseur, Volkmar Uhlig, Jan Stoess, and Stefan Gotz. Unmodified Driver Reuse and Improved System Dependability via Virtual Machines. In Operating Systems Design and Implementation (OSDI'04), San Francisco, CA, December 2004.
11. Aravind Menon, Alan L. Cox, and Willy Zwaenepoel. Optimizing Network Virtualization in Xen. In USENIX Annual Technical Conference, Boston, MA, June 2006.
12. Aravind Menon, Jose Renato Santos, Yoshio Turner, G. (John) Janakiraman, and Willy Zwaenepoel. Diagnosing Performance Overheads in the Xen Virtual Machine Environment. In First ACM/USENIX Conference on Virtual Execution Environments (VEE'05), Chicago, USA, June 2005.
13. Aravind Menon and Willy Zwaenepoel. Optimizing TCP Receive Performance. In USENIX Annual Technical Conference, Boston, MA, June 2008.
14. D. Mosberger and T. Jin. httperf: A tool for measuring web server performance. In First Workshop on Internet Server Performance, pages 59-67, Madison, WI, June 1998.
15. Jose Renato Santos, Yoshio Turner, G. (John) Janakiraman, and Ian Pratt. Bridging the gap between hardware and software techniques for i/o virtualization. In USENIX Annual Technical Conference, 2008.
16. Margo I. Seltzer, Yasuhiro Endo, Christopher Small, and Keith A. Smith. Dealing with Disaster: Surviving Misbehaved Kernel Extensions. In Operating Systems Design and Implementation (OSDI), 1996.
17. Michael M. Swift, Brian N. Bershad, and Henry M. Levy. Improving the Reliability of Commodity Operating Systems. In 19th ACM Symposium on Operating System Principles (SOSP'03), Bolton Landing, NY, October 2003.
18. Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, and Eric Brewer. Capriccio: Scalable Threads for Internet Services. In 19th ACM Symposium on Operating Systems Principles, Oct 2003.
19. Robert Wahbe, Steven Lucco, Thomas E. Anderson, and Susan L. Graham. Efficient software-based fault isolation. In SOSP'93, 1993.
20. Carl A. Waldspurger. Memory Resource Management in VMware ESX Server. In OSDI'02, 2002.
21. Paul Willmann, Jeffrey Shafer, David Carr, Aravind Menon, Scott Rixner, Alan L. Cox, and Willy Zwaenepoel. Concurrent Direct Network Access for Virtual Machine Monitors. In HPCA, 2007.