Zachary Ives, E Christopher Lewis, Milo Martin
Moore 212, Fridays 1:30-3:00
You have undoubtedly heard about machine virtualization. You have likely interacted with VMware, PearPC, Bochs, the Java JVM, the Microsoft CLR.
But what exactly is a virtual machine and why are they so prevalent today?
This seminar will help answer these questions.
This is a one-half-credit seminar focusing on reading and discussing recent research papers. Students are expected to read and participate in discussion for each week's paper(s), and they will be asked to lead the discussion for at least one paper. Independent study projects relating to the material of this course are encouraged.
| Date | Topic | Readings | Presenter |
| 9/10 | Organization | (Brief overview). | Milo + Zack Slides in PPT |
| 9/17 | Survey and Foundations | J. E. Smith and Ravi Nair. An overview of virtual machine architectures. 2003. PDF | Sebastian Slides in PPT |
| 9/24 | Full System Virtualization | M. Rosenblum, et al. Complete Computer Simulation: The SimOS Approach, IEEE Parallel and Distributed Technology, 1995. PDF | Aaron Slides in PDF |
| 10/1 | E. Bugnion et al. Disco: Running Commodity Operating Systems on Scalable Multiprocessors. SOSP 1997. PDF | Anne | |
| 10/8 | Paravirtualization |
A. Whitaker, M. Shaw, and S. Gribble, Denali: Lightweight
Virtual Machines for Distributed and Networked Applications, Usenix 2002. PDF and A. Whitaker, M. Shaw, and S. D. Gribble, Scale and Performance in the Denali Isolation Kernel, OSDI 2002. PDF. | Margaret and Bimohit |
| 10/15 | P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauery, I. Pratt, and A. Wareld, Xen and the Art of Virtualization, in SOSP03. PDF | Vlad | |
| 10/22 | High-level VMs | E. Meijer, J. Gough, Technical Overview of the Common Language Runtime. PDF | Dmitrios |
| 10/29 | ISA Virtualization |
Ebcioglu, et al., "Dynamic Binary
Translation and Optimization," IEEE Transactions on Computers, June
2001, pp. 529-548. PDF | Marc and Tingting |
| 11/5 | I/O Support | Sugerman, et al., "Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor," USENIX 2001. PDF | Baohua and Matt |
| 11/12 | Applications | Carl A. Waldspurger. Virtual Machines: Memory Resource Management in VMWare ESX Server. OSDI 2002. PDF (IMPORTANT NOTE: This lecture will be in Towne 337!!!) | Dan Scales (VMWare) |
| 11/19 | T. Garfinkel. Terra: A virtual machine-based platform for trusted computing. SOSP 2003. PDF | Yun | |
| 12/3 | P. Levis and D. Culler. Mate: A Tiny Virtual Machine for Sensor Networks. ASPLOS 2002. PDF | Madhukar | |
| 12/10 | C. Sapuntzakis, R. Chandra, B. Pfaff, J. Chow, M. Lam, M. Rosenblum, Optimizing the Migration of Virtual Computers, OSDI 2002. PDF | Prashant and Nitin |
Other interesting papers:
| Kemal Ebcioglu, Erik R. Altman, DAISY: Dynamic Compilation for 100% Architecture Compatibility, IBM Research Report RC 20538, August 1996. (84 pages) | |
| P. H. Gum, System/370 Extended Architecture: Facilities for Virtual Machines, IBM Journal of Research and Development, vol. 27, no. 6, p. 530, 1983. | |
| R. A. Meyer, L. H. Seawright, A virtual machine time-sharing system, IBM System Journal 9(3), pp. 199-217, 1970. March 1993. | |
| G. W. Dunlap. ReVirt: Enabling Intrusion Analysis through Virtual-Machine Logging and Replay. USENIX 2002. PDF | |
| V. Haldar. Semantic Remote Attestation -- A virtual machine directed appreach to trusted computing. USENIX 2004. PDF | |
| B. Verghese. Performance Isolation: Sharing and Isolation in Shared-Memory Multiprocessors. ASPLOS 1998. PDF | |
|
Anton Chernoff et. al. "FX!32 A Profile-Directed Binary Translator"
MICRO'98 PDF | |
|
L. Baraz. IA-32 Execution Layer: a two-phase dynamic translator
designed to support IA-32 applications on Itanium-based
systems. Micro 2003. PDF | |
| G. J. Popek and R. P. Goldberg, Formal requirements for virtualizable third generation architectures, Commun. ACM, vol. 17, no. 7, pp. 412 421, 1974. PDF | |
| R. J. Creasy, The Origin of the VM/370 Time-Sharing System, IBM Journal of Research and Development, vol. 25, no. 5, p. 483, 1981. PDF |