Lecture Week 10: Introduction to Virtual Machines

Course Meetup: Tuesday, Mar. 30

The next course meetup at on Tuesday, Mar. 30 at 2:00pm on Zoom and will be a short Q&A-only meetup. We will use the same Zoom link for all course meetups (you can find it in Compass 2g as the announcement for this course).

Lecture Topics and Videos

The topics come from both lecture videos and reading from the course textbook:

  1. Lecture Video - Virtual Machines
  2. Lecture Video - Process/Language Virtual Machines
  3. Lecture Video - System Virtual Machines
  4. Lecture Video - Emulator Design
  5. Reading - Virtual Machine Monitors - Appendix B
  6. Meetup Recording from Tuesday's Meetup - Zoom Recording

Additionally, here’s a PDF of all the lecture slides presented in the videos this week.

Assignments

MPs

Reading Selection from Systems Research (Required for 4CR only)

If you are enrolled in the 4CR version of this course, you will review two papers each week and choose one to summarize in depth. See the course syllabus for details. Note: You may need to be on the campus VPN to get access to some of the papers.

  1. “A comparison of software and hardware techniques for x86 virtualization” by Keith Adams and Ole Agesen; published in ACM SIGOPS Operating Systems Review (2006).

  2. “Firecracker: Lightweight Virtualization for Serverless Applications” by Alexandru Agache, Marc Brooker, Andreea Florescu, Alexandra Iordache, Anthony Liguori, Rolf Neugebauer, Phil Piwonka, and Diana-Maria Popa; presented at USENIX Symposium on Networked Systems Design and Implementation (NSDI 2020).

Your summary is due on Compass 2g by 11:59pm on Monday, April 5.