Bringing virtualization to the x86 architecture with the original VMware workstation

ACM Transactions on Computer Systems

Volumn 30, Issue 4, 2012, Pages

  Bugnion, Edouard ^a   Devine, Scott ^b   Rosenblum, Mendel ^c   Sugerman, Jeremy ^d   Wang, Edward Y ^e  

^a EPFL   (Switzerland)

^b VMWARE INC   (United States)

^c Stanford University   (United States)

^d Talaria Technologies Inc   (United States)

^e Cumulus Networks Inc   (United States)

Author keywords

Dynamic binary translation; Hypervisors; Virtual machine monitors; Virtualization; VMM; X86

Indexed keywords

DYNAMIC BINARY TRANSLATION; HYPERVISORS; VIRTUAL MACHINE MONITORS; VIRTUALIZATIONS; VMM; X86;

COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; HARDWARE; PROGRAM PROCESSORS; VIRTUAL REALITY;

COMPUTER ARCHITECTURE;

EID: 84870556673     PISSN: 07342071     EISSN: 15577333     Source Type: Journal    
DOI: 10.1145/2382553.2382554     Document Type: Article

References (59)

1. ADAMS, K. and AGESEN, O. 2006. A comparison of software and hardware techniques for x86 virtualization. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-XII). 2-13.
2. AGESEN, O. 2006. Binary translation of returns. In Workshop on Binary Instrumentation and Applications. 7-14.
3. AGESEN, O. and SHELDON, J. W. 2004. Restricting memory access to protect data when sharing a common address space. U. S. Patent 7, 277, 999.
4. AGESEN, O., GARTHWAITE, A., SHELDON, J., and SUBRAHMANYAM, P. 2010. The evolution of an x86 virtual machine monitor. Operating Systems Review 44, 4, 3-18.
5. AMD CORPORATION. 1998. Network Products: Ethernet Controllers Books 2.
6. BARHAM, P., DRAGOVIC, B., FRASER, K., HAND, S., HARRIS, T. L., HO, A., NEUGEBAUER, R., PRATT, I., and WARFIELD, A. 2003. Xen and the art of virtualization. In Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP). 164-177.
7. BARR, K., BUNGALE, P. P., DEASY, S., GYURIS, V., HUNG, P., NEWELL, C., TUCH, H., and ZOPPIS, B. 2010. The VMware mobile virtualization platform: Is that a hypervisor in your pocket? Operating Systems Review 44, 4, 124-135.
8. BELLARD, F. 2005. QEMU, a fast sand portable dynamic translator. In Proceedings of the USENIX Annual Technical Conference, FREENIX Track. 41-46.
9. BHARGAVA, R., SEREBRIN, B., SPADINI, F., and MANNE, S. 2008. Accelerating two-dimensional page walks for virtualized systems. In Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-XIII). 26-35. (Pubitemid 351585391)
10. BIRRELL, A. and NELSON, B. J. 1984. Implementing remote procedure calls. ACM Trans. Comput. Syst. 2, 1, 39-59.
11. BUGNION, E. 1998. Dynamic binary translator with a system and method for updating and maintaining coherency of a translation cache. U. S. Patent 6, 704, 925.
12. BUGNION, E., DEVINE, S., GOVIL, K., and ROSENBLUM, M. 1997. Disco: Running commodity operating systems on scalable multiprocessors. ACM Trans. Comput. Syst. 15, 4, 412-447. (Pubitemid 127449841)
13. BUGNION, E., DEVINE, S. W., and ROSENBLUM, M. 1998. System and method for virtualizing computer systems. U. S. Patent 6, 496, 847.
14. CHAPPELL, G. 1994. DOS Internals. Addisson-Wesley. Chen, Y.-H. 2009. Dynamic binary translation from x86-32 code to x86-64 code for virtualization. M. S. thesis, Massachusetts Institute of Technology.
15. CMELIK, R. F. and KEPPEL, D. 1994. Shade: A fast instruction-set simulator for execution profiling. In Proceedings of the 1994 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. 128-137.
16. COMPAQ, PHOENIX, INTEL. 1996. BIOS Boot Specification, v1.0.1. http://www.phoenix.com/resources/specs-bbs101.pdf.
17. Connectix Corporation. 2001. Connectix Virtual PC for Windows (Press Release). Retrieved on the Internet Archive's Wayback Machine.
18. CREASY, R. 1981. The origin of the VM/370 Time-sharing system. IBM J. Res. Develop 25, 5, 483-490.
19. CUSTER, H. 1993. Inside Windows NT. Microsoft Press.
20. DEHNERT, J. C., GRANT, B., BANNING, J. P., JOHNSON, R., KISTLER, T., KLAIBER, A., and MATTSON, J. 2003. The Transmeta Code Morphing - Software: Using speculation, recovery, and adaptive retranslation to address real-life challenges. In Proceedings of the 1st IEEE/ACM International Symposium on Code Generation and Optimization (CGO). 15-24.
21. DEVINE, S. W., BUGNION, E., and ROSENBLUM, M. 1998. Virtualization system including a virtual machine monitor for a computer with a segmented architecture. U. S. Patent 6, 397, 242.
22. DIKE, J. 2001. User Mode Linux. In Proceedings of the 5th Annual Ottawa Linux Symposium (OLS).
23. DREPPER, U. and MOLNAR, I. 2003. The Native POSIX Thread Library for Linux. RedHat White Paper.
24. EBCIOGLU, K. and ALTMAN, E. R. 1997. DAISY: Dynamic compilation for 100% architectural compatibility. In Proceedings of the 24th International Symposium on Computer Architecture (ISCA). 26-37.
25. FORD, B. and COX, R. 2008. Vx32: Lightweight user-level sandboxing on the x86. In Proceedings of the USENIX Annual Technical Conference. 293-306.
26. GELSINGER, P. 1998. Personal Communication (Intel Corp. CTO).
27. GOLDBERG, R. P. 1972. Architectural principles for virtual computer systems. Ph. D. thesis, Harvard University, Cambridge, MA.
28. GOLDBERG, R. P. 1974. Survey of virtual machine research. IEEE Computer Magazine 7, 6, 34-45.
29. IDC. 2009. Server Virtualization Hits Inflection Point as Number of Virtual Machines to Exceed Physical Systems in 2009 (Press Release). http://www.idc.com/about/viewpressrelease.jsp?containerId=prUK21840309.
30. INTEL CORPORATION. 2008. Intel Virtualization Technology FlexMigration Application Note. Tech. rep.
31. INTEL CORPORATION. 2010. Intel64 and IA-32 Architectures Software Developer's Manual Volume 2 (2A and 2B).
32. INTERNATIONAL STANDARDS ORGANIZATION. 1988. 2Information processing - Volume and file structure of CD-ROM for information interchange. In ISO 9660-1988.
33. JONES, N. D. 1996. An introduction to partial evaluation. ACM Comput. Surv. 28, 3, 480-503.
34. KING, A. 1995. Inside Windows 95. Microsoft Press.
35. KING, S. T., DUNLAP, G. W., and CHEN, P. M. 2003. Operating system support for virtual machines. In USENIX Annual Technical Conference, General Track. 71-84.
36. KIVITY, A. 2007. KVM: The Linux virtual machine monitor. In Proceedings of the 2007 Ottawa Linux Symposium (OLS). 225-230.
37. LIM, B.-H., LE, B. C., and BUGNION, E. 2000. Deferred shadowing of segment descriptors in a virtual machine monitor for a segmented computer architecture. U. S. Patent 6, 785, 886.
38. LUDLOFF, C. 1996. Sandpile: The world's leading source for technical x86 processor information. http://www.sandpile.org.
39. MEUSHAW, R. and SIMARD, D. 2000. NetTop: Commercial technology in high assurance applications. NSA Tech Trend Notes 9, 4.
40. MICROSOFT CORPORATION. 2008. Windows Server 2008R2 Hyper-V. http://www.microsoft.com/en-us/server-cloud/windows-server/hyper-v. aspx.
41. MICROSOFT CORPORATION. 2009. Windows XP Mode and Windows Virtual PC. http://www.microsoft.com/windows/virtual-pc/.
42. NELSON, M., LIM, B.-H., and HUTCHINS, G. 2005. Fast transparent migration for virtual machines. In Proceedings of the USENIX Annual Technical Conference, General Track. 391-394.
43. PARALLELS CORPORATION. 2006. Parallels Desktop for the Mac. http://www.parallels.com/products/desktop/.
44. POPEK, G. J. and GOLDBERG, R. P. 1974. Formal requirements for virtualizable third generation architectures. Commun. ACM 17, 7, 412-421.
45. ROBIN, J. S. and IRVINE, C. E. 2000. Analysis of the Intel Pentium's ability to support a secure virtual machine monitor. In Proceedings of the 9th Conference on USENIX Security Symposium, vol. 9.
46. ROSENBLUM, M., HERROD, S. A., WITCHEL, E., and GUPTA, A. 1995. Complete computer system simulation: The SimOS approach. IEEE Parall. Distrib. Tech. 3, 34-43.
47. ROSENBLUM, M., BUGNION, E., DEVINE, S., and HERROD, S. A. 1997. Using the SimOS machine simulator to study complex computer systems. ACM Trans. Model. Comput. Simul. 7, 1, 78-103.
48. SIEH, V. and BUCHACKER, K. 2002. UMLinux - A versatile SWIFI tool. In Proceedings of the 4th European Dependable Computing Conference (EDCC). 159-171.
49. SITES, R. L., CHERNOFF, A., KIRK, M. B., MARKS, M. P., and ROBINSON, S. G. 1993. Binary translation. Commun. ACM 36, 2, 69-81.
50. SOLOMON, D. A. and RUSSINOVICH, M. E. 2000. Inside Microsoft Windows 2000 3rd Ed. Microsoft Press.
51. SUGERMAN, J., VENKITACHALAM, G., and LIM, B.-H. 2001. Virtualizing I/O devices on VMware Workstation's hosted virtual machine monitor. In Proceedings of the USENIX Annual Technical Conference, General Track. 1-14.
52. UHLIG, R., NEIGER, G., RODGERS, D., SANTONI, A. L., MARTINS, F. C. M., ANDERSON, A. V., BENNETT, S. M., KÄGI, A., LEUNG, F. H., and SMITH, L. 2005. Intel virtualization technology. IEEE Comput. 38, 5, 48-56. (Pubitemid 40784342)
53. WAHBE, R., LUCCO, S., ANDERSON, T. E., and GRAHAM, S. L. 1993. Efficient software-based fault isolation. In Proceedings of the 14th ACM Symposium on Operating Systems Principles (SOSP). 203-216.
54. WALDSPURGER, C. A. 2002. Memory resource management in VMware ESX server. In Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI).
55. WALDSPURGER, C. A. and ROSENBLUM, M. 2012. I/O virtualization. Commun. ACM 55, 1, 66-73.
56. WHEELER, D. A. 2001. SLOCCount. http://www.dwheeler.com/sloccount/.
57. WHITAKER, A., SHAW, M., and GRIBBLE, S. D. 2002. Scale and performance in the Denali isolation kernel. In Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI).
58. WITCHEL, E. and ROSENBLUM, M. 1996. Embra: Fast and flexible machine simulation. In Proceedings of the 1996 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. 68-79. (Pubitemid 126549541)
59. YEE, B., SEHR, D., DARDYK, G., CHEN, J. B., MUTH, R., ORMANDY, T., OKASAKA, S., NARULA, N., and FULLAGAR, N. 2010. Native client: A sandbox for portable, untrusted x86 native code. Commun. ACM 53, 1, 91-99.