Lecture Week 9: Virtual Memory

Course Meetup: Tuesday, Mar. 23

The next course meetup at on Tuesday, Mar. 23 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).

Special Session - MP3 Introduction on Thursday, Mar. 25

Instead of our normal office hours on Thursday, the TAs will be holding an MP2 introduction session at 2:00pm on Thursday, Mar. 25.

Note: COVID-19 Non-Instruction Day

This Wednesday (Mar. 24) is the second of three COVID-19 “Non-Instruction Day”. Since CS 423 does not have any scheduled activities on Wednesdays, this will not impact the course.

However, the final “Non-Instruction Day” is Tuesday, April 13. For that week, we will have no lecture, no lecture notes/videos, and no Tuesday meetup. The only activity CS 423 will have during that week will be the release of MP4 and an MP4 Introduction Section held by the TAs on Thursday. It’ll be a nice break right before going into finals! :)

Lecture Topics and Videos

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

  1. Lecture Video - Page Table: Status Bits
  2. Lecture Video - Page Table: Multi-Level Page Tables
  3. Reading - Paging: Smaller Tables - Ch. 20
  4. Reading - Beyond Physical Memory: Mechanisms - Ch. 21
  5. Lecture Video - Memory: Thrashing
  6. Lecture Video - Memory: Belady's Anomaly
  7. Reading - Beyond Physical Memory: Policies - Ch. 22
  8. Reading - The VAX/VMS Virtual Memory System - Ch. 23
  9. 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. “Coordinated and Efficient Huge Page Management with Ingens” by Youngjin Kwon, Hangchen Yu, Simon Peter, Christopher J. Rossbach, and Emmett Witchel; published in the Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2016).

  2. “Xen and the art of virtualization” by Paul Barham et al; published in ACM SIGOPS Operating Systems Review (2003).

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