EECS 700 - Virtual Machines
	Prasad Kulkarni EECS Department University of Kansas Course Time: Tue/Thrus 11:00am - 12:15pm Course Location: Learned 2111 Office: Eaton 2030 Office Hours: Tue/Thurs: 1:15-2:30pm                 (or by appointment)
ANNOUNCEMENTS
03/31/2009: Project design document due by the end of Friday, 04/03. Document should list the names of the team members, the project title, project goals, proposed approach to accomplish stated goals, and the criteria for success. Report should not exceed 2 pages. 04/20/2008: The exam is due before class on Tuesday, 27th April. 04/28/2008: Class project reports are due on Wednesday, 13th May.
CLASS NOTES
Starting Notes Chapter 1 slides Chapter 2 slides Chapter 3 slides Chapter 4 slides Chapters 5 and 6 slides Chapter 8 slides | Figures Term Projects Description | Hotspot Build Instructions | HotSpot Source
Student Presentations
03/05: Jonathan - Optimizing an ANSI C Interpreter with Superoperators | slides Mike - The Structure and Performance of Interpreters | slides 03/10: Jordan - Secure and Practical Defense Against Code-injection Attacks Using Software Dynamic Translation | slides Bowe - Trusted Computing | slides 03/12: Kevin - The Pauseless GC Algorithm | slides Bala - Terra: A Virtual Machine-Based Platform for Trusted Computing | slides 03/26: Ashwini - Xen and the Art of Virtualization | slides 03/31: Anusha and Steve- Uniprocessor Garbage Collection Techniques | slides Steve - slides 04/02: Abijith - Intel Virtualization Technology: Hardware Support for Efficient Processor Virtualization | slides Arturo - Disco: Running Commodity Operating Systems on Scalable Multiprocessors | slides 04/07: Kristin - Using Valgrind to Detect Undefined Value Errors with Bit-Precision | slides 04/09: Keerthi - Reducing the Overhead of Dynamic Compilation | slides Ramya - A Comparison of Software and Hardware Techniques for x86 Virtualization | slides 04/14: Paul - Exploring Code Cache Eviction Granularities in Dynamic Optimization Systems | slides Prasad - Dynamic Compilation: The Benefits of Early Investing 04/16: Mike - Adaptive Optimization in the Jalapeno JVM | slides Bala - Operating System Support for Virtual Machines | slides 04/21: Jordan - VMM-Independent Graphics Acceleration | slides Ramya - Improving virtual machine performance using a cross-run profile repository | slides Kyle - A Survey of Adaptive Optimizations in Virtual Machines 04/23: Abijith - Live Migration of Virtual Machines | slides Ashwini - Xen and Co.: Communication-aware CPU Scheduling for Consolidated Xen-based Hosting Platforms | slides Keerthi - Cloneable JVM: A New Approach to Start Isolated Java Applications Faster 04/28: Jonathan - MicroPause: Proactively Invoking Garbage Collection for Improved Performance | slides Kyle - Dynamo: A Transparent Dynamic Optimization System | slides 04/30: Arturo - Cell GC: Using the Cell Synergistic Processor as a Garbage Collection Coprocessor | slides 05/05: Kevin - Fast Transparent Migration for Virtual Machines | slides Paul - When Virtual is Better Than Real | slides Bowe - The Java HotSpot Server Compiler | 05/07 Kristin - Garbage Collection Without Paging | slides Anusha and Steve - Uniprocessor Garbage Collection Techniques | Anusha slides
Reading List
Interpreters Optimizing an ANSI C Interpreter with Superoperators Optimizing Direct Threaded Code by Selective Inlining The Structure and Performance of Interpreters The Behavior of Efficient Virtual Machine Interpreters on Modern Architectures Code Cache Exploring Code Cache Eviction Granularities in Dynamic Optimization Systems Generational Cache Management of Code Traces in Dynamic Optimization Systems Garbage Collection Uniprocessor Garbage Collection Techniques The Pauseless GC Algorithm Using the Cell Synergistic Processing Unit as a Garbage Collection Coprocessor -- Arturo Performance Optimization A Survey of Adaptive Optimizations in Virtual Machines -- Kyle Reducing the Overhead of Dynamic Compilation Dynamic Compilation: The Benefits of Early Investing Dynamo: A Transparent Dynamic Optimization System Adaptive Optimization in the Jalapeno JVM Adaptive Optimization in the Jalapeno JVM: The Controller's Analytical Model Security and Trustworthy Computing Using Valgrind to Detect Undefined Value Errors with Bit-Precision Terra: A Virtual Machine-Based Platform for Trusted Computing Trusted Computing Microsoft's Palladium Architecture Secure and Practical Defense Against Code-injection Attacks Using Software Dynamic Translation System Virtual Machines A Comparison of Software and Hardware Techniques for x86 Virtualization Xen and the Art of Virtualization When Virtual is Better Than Real Microkernels and Operating Systems Operating System Support for Virtual Machines Microkernels Meet Recursive Virtual Machines Exokernel: An Operating System Architecture for Application-Level Resource Management Disco: Running Commodity Operating Systems on Scalable Multiprocessors Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems Hardware and Virtualization Intel Virtualization Technology: Hardware Support for Efficient Processor Virtualization Fast Transparent Migration for Virtual Machines Live Migration of Virtual Machines Xen and Co.: Communication-aware CPU Scheduling for Consolidated Xen-based Hosting Platforms VMM-Independent Graphics Acceleration Cloneable JVM: A New Approach to Start Isolated Java Applications Faster
CONFERENCE LINKS
Internation Conference on Virtual Execution Environments International Symposium on Code Generation and Optimization Also check the "Prior CGO conferences" link OOPSLA Also check the Previous OOPSLAs link