Virtual Machine Reading List
- Already read
- Current papers
- Available
- Most people have already read
Paper for Friday 10/29/2004 at 3:45pm in CS 4331:
Configuration Debugging as Search:
Finding the Needle in the Haystack - Andrew Whitaker et al. - OSDI 2004
Historical
Proceedings of the workshop on virtual computer systems - ACM 1973
On the relationship between virtual machines and emulators - Efrem G. Mallach - Workshop on virtual computer systems
Survey of Virtual Machine Research - Robert P. Goldberg - IEEE Computer 1974
Formal Requirements for Virtualizable Third Generation Architectures - Gerald J. Popek, Robert P. Goldberg - CACM, July 1974, pp. 412-421.
VM/370--A study of multiplicity and usefulness - L.H. Seawright et al. - IBM Systems Journal 1979
The Origin of the VM/370 Time-Sharing System - R.J. Creasy - IBM Journal of Research and Development 1981
System/370 Extended Architecture: Facilities for Virtual Machines - P. H. Gum - IBM Journal of Research and Development 1983
Stanford
Using the SimOS Machine Simulator to Study Complex Computer Systems - Mendel Rosenblum et al. - ACM TOMACS 1997
Embra: Fast and Flexible machine Simulation - Emmett Witchel and Mendel Rosenblum - ACM SIGMETRICS 1996
Other SimOS Papers
Disco: Running Commodity Operating Systems On Scalable Multiprocessors - Edouard Bugnion et al. - TOCS 1997
Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors - Kinshuk Govil et al. - TOCS
Disco Web Site
Optimizing the Migration of Virtual Computers - Constantine P. Sapuntzakis et al. - OSDI 2002
VMWare
Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor - Jeremy Sugerman et al. - 2001 USENIX ATC
Memory Resource Management in VMware ESX Server - Carl Waldspurger - OSDI 2002
VMWare Web Site - Various product information
VMWare Patents
Performance
Shade: A Fast Instruction-Set Simulator for Execution Profiling - Robert Cmelik, David Keppel - ACM Sigmetrics 1994
Scale and performance in the Denali Isolation Kernel - Andrew Whitaker et al. - OSDI 2002
Xen and the Art of Virtualization - Paul Barham, et al. - SOSP 2003
Restructuring I/O (Xen's second generation I/O architecture) - Keir Fraser, et al. - Technical Report
Operating System Support for Virtual Machines - Samuel T. King et al. - USENIX ATC 2003
Security
Analysis of the Intel Pentium's Ability to Support a Secure Virtual Machine Monitor - John Scott Robin et al. - USENIX Security Symp. 2000
ReVirt: Enabling Intrusion Analysis through Virtual-Machine Logging and Replay - G. W. Dunlap et al. - OSDI 2002
NetTop - Notes on a current VM-based secure platform - 2002
Terra: A Virtual Machine-Based Platform for Trusted Computing - Tal Garfinkel et al. - SOSP 2003
Miscellaneous
Microkernels Meet Recursive Virtual Machines - Bryan Ford et al. - OSDI 1996
Running multiple operating systems concurrently on an IA32 PC using virtualization techniques - Kevin Lawton - freemware.org 1999
A user-mode port of the Linux kernel - Jeff Dike - USENIX ALS 2000
When Virtual is
Better Than Real - P. Chen et al. - Hot OS 2001
Hypervisor-based Fault-tolerance - Thomas C. Bressoud and Fred Schneider - SOSP 1995
An Overview of Virtual Machine Architectures - J. E. Smith - Book Chapter 2004
Another Virtualization Reading List - Peter Dinda - Northwestern University
Configuration Debugging as Search:
Finding the Needle in the Haystack - Andrew Whitaker et al. - OSDI 2004
Devirtualizable Virtual Machines: Enabling General, Single-Node, Online Maintenance - David Lowell et al. - ASPLOS 2004
Invitational
Workshop on the Future of Virtual Execution Environments 2004
Last updated 10/2004 - stj