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 domain, although most are available elsewhere online.

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

Date Topics Notes Required Readings Optional Readings
Wed 01/10 Introduction
Lab 1 and academic integrity homework assigned.
Mon 01/15 MLK Jr. Holiday. No Classes
Part 1: Essential hardware abstractions
Wed 01/17 x86 memory protection and translation
  1. Chapter 3 of "Understanding the Linux Kernel."
  2. Vx32: Lightweight, User-level Sandboxing on the x86 (Ford and Cox, USENIX 2008).
Mon 01/22 JOS Overview and Hacking Day
Academic Honesty HW due.
Wed 01/24 Interrupts and system calls
Slides Printer Friendly Slides Chapter 4 of "Understanding the Linux Kernel."
Thu 01/25
Lab 1 Due. 11:59PM.
Part 2: Memory Management
Mon 01/29 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)
Wed 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
Mon 02/05 The Page Cache
Slides. Printer friendly slides. Chapter 15 of "Understanding the Linux Kernel."
Wed 02/07 Page Frame Reclaiming Algorithm
Slides. Printer friendly slides. Chapter 17 of "Understanding the Linux Kernel."
Part 3: Scheduling
Thu 02/08
Lab 2 Due. 11:59PM.
Mon 02/12 Well-being day. No classes
Wed 02/14 Linux scheduler (1)
Slides. Printer friendly slides. Chapter 7 of "Understanding the Linux Kernel."
Mon 02/19 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/21 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/22
Lab 3a Due. (Advisory deadline).
Mon 02/26 Threading
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/28 Linux kernel synchronization
Guest Lecture by Enrico Fraccaroli
Slides. Printer friendly slides.
Chapter 5 of "Understanding the Linux Kernel."
Thu 02/29
Lab 3 Due. 11:59PM
Mon 03/04 Memory consistency
Slides. Printer friendly slides. Shared Memory Consistency Models: A Tutorial (Adve and Gharachorloo, Computer 1996)
Wed 03/06 Read-copy update (RCU)
Slides. Printer friendly slides. Using RCU in the Linux 2.5 Kernel (McKenney, Linux Journal 2003)
Thu 03/07
Lab 4a Due. (Advisory Deadline)
Mon 03/11 Spring Recess, No Classes
Wed 03/13 Spring Recess, No Classes
Part 5: File Systems
Mon 03/18 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/20 The Linux VFS (1)
Slides. Printer friendly slides. Chapter 12 of "Understanding the Linux Kernel."
Thu 03/21
Lab 4b Due. (Advisory Deadline)
Mon 03/25 The Linux VFS (2)
Slides. Printer friendly slides. Chapter 16 of "Understanding the Linux Kernel."
Wed 03/27 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."
Thu 03/28
Lab 4 and Lab 6c project proposals Due. 11:59PM
Part 6: Networking
Mon 04/01 Programming I/O devices
Guest lecture by Prof. Jasleen Kaur
Slides. Printer friendly slides.
Chapters 9, 12, and 15 of "Linux Device Drivers"
Wed 04/03 Networking (1)
Slides Printer friendly slides. Chapters 10, 13 of "Understanding Linux Networking Internals."
Mon 04/08 Networking (2)
Eliminating Receive Livelock in an Interrupt-Driven Kernel (Mogul and Ramakrishnan, TOCS 1997).
Wed 04/10 NFS case study
Slides. Printer friendly slides. Design and Implementation of the SUN Network Filesystem (Sandberg, Goldberg, Kleiman, Walsh, and Lyon, USENIX 1985).
Thu 04/11
Lab 5 Due. 11:59PM
Part 7: Security
Mon 04/15 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/17 SELinux
Slides. Printer friendly slides. SELinux: NSA's Open Source Security Enhanced Linux, Bill McCarty, O'Reilly Media 2004.
Mon 04/22 Encrypted file systems
Slides. Printer friendly slides. eCryptfs: a Stacked Cryptographic Filesystem (Halcrow, Linux Journal 2007)
Wed 04/24 Linux compilation workshop and hacking day.
Mon 04/29 TBD
Tue 04/30
Lab 6 Due. 11:59PM
Mon 05/06
Take-Home Final Due. 11:59PM

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: 2024-02-22 08:33:26 -0500 [validate xhtml]