COMP 630: Schedule

This schedule is also available as an ical file that you can subscribe to.

All material covered in the lectures, labs, and required readings may appear on the exams.

Optional readings provide additional explanation of material covered in class that can be useful in preparing for the exams.

Papers are only accessible to hosts in the unc.edu domain, although most are available elsewhere online.

Lecture videos will be posted in Panopto, on the course Sakai page.

Date Topics Notes Required Readings Optional Readings
Mon 01/10 Introduction
Lab 1 and academic integrity homework assigned.
Slides. Printer friendly slides.
Part 1: Essential hardware abstractions
Wed 01/12 x86 memory protection and translation
Slides. Printer friendly slides.
  1. Chapter 3 of "Understanding the Linux Kernel."
  2. Vx32: Lightweight, User-level Sandboxing on the x86 (Ford and Cox, USENIX 2008).
Mon 01/17 MLK Jr. Holiday. No Classes
Wed 01/19 JOS Overview and Hacking Day
Academic Honesty HW due.
Mon 01/24 Interrupts and system calls
Slides Printer Friendly Slides Chapter 4 of "Understanding the Linux Kernel."
Tue 01/25
Lab 1 Due. 11:59PM.
Part 2: Memory Management
Wed 01/26 Process Address Spaces and Binary Formats
Slides. Printer friendly slides.
  1. Chapter 9 of "Understanding the Linux Kernel."
  2. The ELF Object File Format: Introduction (Youngdale, Linux Journal 1995)
  3. The ELF Object File Format by Dissection (Youngdale, Linux Journal 1995)
Mon 01/31 Memory allocators
Slides. Printer friendly slides. Hoard: A Scalable Memory Allocator for Multithreaded Applications (Berger, McKinley, Blumofe, and Wilson, ASPLOS 2000)
  1. Chapter 8 of "Understanding the Linux Kernel."
  2. Scalable memory allocation using jemalloc
Wed 02/02 The Page Cache
Slides. Printer friendly slides. Chapter 15 of "Understanding the Linux Kernel."
Mon 02/07 Page Frame Reclaiming Algorithm
Slides. Printer friendly slides. Chapter 17 of "Understanding the Linux Kernel."
Part 3: Scheduling
Wed 02/09 Linux scheduler (1)
Slides. Printer friendly slides. Chapter 7 of "Understanding the Linux Kernel."
Thu 02/10
Lab 2 Due. 11:59PM.
Mon 02/14 Linux scheduler (2)
Slides. Printer friendly slides.
  1. The Design and Implementation of an Operating System to Support Distributed Multimedia Applications (Leslie, McAuley, Black, Roscoe, Barham, Evers, Fairbarns, and Hyden, JSAC 1997).
  2. Exploiting Unix File-System Races via Algorithmic Complexity Attacks (Cai, Gui, and Johnson, IEEE Security & Privacy 2009).
Part 4: Synchronization
Wed 02/16 Signals and Inter-Process Communication (IPC)
Slides. Printer friendly slides.
  1. Chapters 11 and 19 of "Understanding the Linux Kernel."
  2. Delivering Signals for Fun and Profit (Zalewski, 2001)
  3. Framing Signals -- A Return to Portable Exploits. (Bosman and Bos, IEEE Security & Privacy 2014)
Thu 02/17
Lab 3a Due. (Advisory deadline).
Mon 02/21 Threading
Guest Lecture by Bhushan Jain
Slides. Printer friendly slides.		 The Native POSIX Thread Library for Linux (Drepper and Molnar, 2005)
  1. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism (Anderson, Bershad, Lazowska, and Levy, SOSP 1991)
  2. Fuss, Futexes and Furwocks: Fast Userlevel Locking in Linux (Franke, Russel, and Kirkwood, OLS 2002)
Wed 02/23 Linux kernel synchronization
Slides. Printer friendly slides. Chapter 5 of "Understanding the Linux Kernel."
Thu 02/24
Lab 3 Due. 11:59PM
Mon 02/28 Memory consistency
Slides. Printer friendly slides. Shared Memory Consistency Models: A Tutorial (Adve and Gharachorloo, Computer 1996)
Wed 03/02 Read-copy update (RCU)
Slides. Printer friendly slides. Using RCU in the Linux 2.5 Kernel (McKenney, Linux Journal 2003)
Thu 03/03
Lab 4a Due. (Advisory Deadline)
Mon 03/07 Review Day
Wed 03/09 Midterm
Thu 03/10
Lab 4b Due. (Advisory Deadline)
Mon 03/14 Spring Recess, Class Canceled
Wed 03/16 Spring Recess, Class Canceled
Part 5: File Systems
Mon 03/21 Block devices and physical media scheduling
Slides. Printer friendly slides.
  1. An introduction to Disk Drive Modeling (Ruemmler and Wilkes, IEEE Computer 1994)
  2. Soft Updates: A Solution to the Metadata Update Problem in File Systems (Ganger, McKusick, Soules, and Patt, ACM TOCS 2000)
  3. Generalized File System Dependencies (Frost, Mammarella, Kohler, de los Reyes, Hovsepian, Matsuoka, and Zhang, SOSP 2007)
  4. FlashVM: Revisiting the Virtual Memory Hierarchy (Saxena and Swift, HotOS 2009)
Wed 03/23 The Linux VFS (1)
Slides. Printer friendly slides. Chapter 12 of "Understanding the Linux Kernel."
Wed 03/23
Lab 4 Due. 11:59PM
Mon 03/28 The Linux VFS (2)
Slides. Printer friendly slides. Chapter 16 of "Understanding the Linux Kernel."
Wed 03/30 ext4 case study
Slides. Printer friendly slides.
  1. EXT3, Journaling Filesystem (Tweedie, OLS 2000)
  2. The new ext4 filesystem: Current status and future plans (Mathur, Cao, Bhattacharya, Dilger, Tomas, Vivier, OLS 2007)
  1. Disk from the perspective of a file system (McKusick, CACM 2012)
  2. Chapter 18 of "Understanding the Linux Kernel."
Part 6: Networking
Mon 04/04 Programming I/O devices
Slides. Printer friendly slides. Chapters 9, 12, and 15 of "Linux Device Drivers"
Wed 04/06 Networking (1)
Slides Printer friendly slides. Chapters 10, 13 of "Understanding Linux Networking Internals."
Thu 04/07
Lab 5 Due. 11:59PM
Mon 04/11 Networking (2)
Eliminating Receive Livelock in an Interrupt-Driven Kernel (Mogul and Ramakrishnan, TOCS 1997).
Wed 04/13 NFS case study
Slides. Printer friendly slides. Design and Implementation of the SUN Network Filesystem (Sandberg, Goldberg, Kleiman, Walsh, and Lyon, USENIX 1985).
Part 7: Security
Mon 04/18 Windows NT Access Control
Slides. Printer friendly slides. Improving the Granularity of Access Control in Windows NT (Swift, Brundrett, Van Dyke, Garg, Hopkins, Chan, Goertzel, Jensenworth, SACMAT 2001)
Wed 04/20 SELinux
Slides. Printer friendly slides. SELinux: NSA's Open Source Security Enhanced Linux, Bill McCarty, O'Reilly Media 2004.
Mon 04/25 Encrypted file systems
Slides. Printer friendly slides. eCryptfs: a Stacked Cryptographic Filesystem (Halcrow, Linux Journal 2007)
Wed 04/27 Review Day
Lab 6 Due. 11:59PM
Fri 05/06 Final Exam
To be held at noon.

Copyright Notice: These lecture notes, homeworks, and lab assignments are part of a graduate course on operating systems. You must ask me permission to use these materials. I do not grant to you the right to publish these materials for profit in any form.
Donald Porter, The University of North Carolina at Chapel Hill

Last updated: 2022-02-23 15:21:34 -0800 [validate xhtml]