COMP 530: 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.

Initially, I will post slides, notes, or videos from the last incarnation of this course (if they exist), and incrementally replace them with the versions presented in class (perhaps with fixes after class) as the semester progresses.

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

New lecture videos will be posted in Panopto/Sakai.

The schedule of topics is tentative, and may adjust over the course of the semester.

Date Topics Notes Required Readings Optional Readings
Part 1: Operating System Overview
Mon 08/15 Administrative and Introduction
Slides [pdf, pptx]
  1. The UNIX Timesharing System (Ritchie and Thompson, SOSP, 1974).
  2. The Linux Edge (Linus Torvalds, Open Sources: Voices from the Open Source Revolution 1999).
  3. Tanenbaum-Torvalds Debate Summary
  4. Tanenbaum-Torvalds Debate: Part II (Tanenbaum 06).
  5. Mach: A New Kernel Foundation for UNIX Development (Accetta, Baron, Bolosky, Golub, Rashid, Tevanian, and Young, USENIX Summer '86).
Wed 08/17 C Programming Review and Lab 0
Slides [pdf, pptx]
Mon 08/22 Processes and OS Abstractions
Slides [pdf, pptx] Chapter 4.
  1. Chapter 3 of "Understanding the Linux Kernel."
Wed 08/24 OS APIs
Integrity Homework Due. 11:59PM.
Slides [pdf, pptx]
Chapter 5.
  1. Chapters 4, 10 of "The Design and Implementation of FreeBSD"
  2. Chapters 11, 12, and 19 of "Understanding the Linux Kernel."
  3. Delivering Signals for Fun and Profit (Zalewski, 2001)
Part 2: Virtual Memory
Mon 08/29 Interrupts and system calls
Slides [pdf, pptx]
Lab 0 Due. 11:59PM.
Chapter 6. Chapter 4 of "Understanding the Linux Kernel."
Wed 08/31 Address Spaces and Loading
Slides [pdf, pptx] Chapter 13.
  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)
  4. Architectural Support for Dynamic Linking (Agrawal, Dabral, Palit, Shen, and Ferdman, ASPLOS 2015)
Mon 09/05 Labor Day - No Classes
Wed 09/07 Virtual Memory
Slides [pdf, pptx] Chapter 15. Chapter 16.
Mon 09/12 Virtual Memory
Slides [pdf, pptx] Chapter 18. Chapter 20.
  1. Chapter 19.
  2. Preserving Virtual Memory by Mitigating the Address Translation Wall (Bhattacharjee, IEEE Micro, 2017)
Tue 09/13
Lab 1 Due. 11:59PM.
Wed 09/14 Virtual Memory
Mon 09/19 Virtual Memory
Wed 09/21 Virtual Memory
Mon 09/26 Well-Being Day - No Classes
Tue 09/27
Lab 2 Due 11:59PM
Wed 09/28 Review Day
Mon 10/03 Exam 1
Wed 10/05 Memory allocators
Slides [pdf, pptx] Hoard: A Scalable Memory Allocator for Multithreaded Applications (Berger, McKinley, Blumofe, and Wilson, ASPLOS 2000)
  1. What Happens to Us Does Not Happen to Most of You (McKinley 2018)
  2. Chapter 8 of "Understanding the Linux Kernel."
  3. Scalable memory allocation using jemalloc
  4. SuperMalloc: A Super Fast Multithreaded Malloc for 64-bit Machines (Kuszmaul, ISMM 2015)
Mon 10/10 Swapping
Slides [pdf, pptx] Chapter 21. Chapter 22.
Wed 10/12 Swapping, Continued
Part 3: Scheduling
Mon 10/17 CPU Scheduling
Slides [pdf, pptx] Chapter 7. Chapter 7 of "Understanding the Linux Kernel."
Wed 10/19 CPU Scheduling
Lab 3 Due 11:59PM
Slides [pdf, pptx]
Chapter 8.
  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: Threads and Synchronization
Mon 10/24 Threads
Slides [pdf, pptx] Chapter 26.
  1. The Native POSIX Thread Library for Linux (Drepper and Molnar, 2005)
  2. Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism (Anderson, Bershad, Lazowska, and Levy, SOSP 1991)
Wed 10/26 Concurrent Programming
Slides [pdf, pptx]
  1. Programming with Threads (Birrell 1996).
  2. Why Threads Are a Bad Idea (for most purposes) (Ousterhout, USENIX, 1996).
Mon 10/31 Review Day
Wed 11/02 Exam 2
Mon 11/07 Locking
Slides [pdf, pptx] Chapter 28.
  1. Algorithms for Scalable Synchronization on Shared Memory Multiprocessors (Mellor-Crummey and Scott, TOCS 1991)
  2. Fuss, Futexes and Furwocks: Fast Userlevel Locking in Linux (Franke, Russel, and Kirkwood, OLS 2002)
Wed 11/09 Condition Variables
Slides [pdf, pptx] Chapter 30.
  1. Experiences with Processes and Monitors in Mesa (Lampson and Redell, Communications of the ACM 23, 2, 1980).
  2. Chapter 5 of "Understanding the Linux Kernel."
  3. Transactional Memory: Architectural Support for Lock-Free Data Structures (Herlihy and Moss, ISCA 1993)
Mon 11/14 Deadlocks
Slides [pdf, pptx] Chapter 32.
Part 5: File Systems
Wed 11/16 Disk Scheduling
Slides [pdf, pptx] Chapter 37.
  1. An introduction to Disk Drive Modeling (Ruemmler and Wilkes, IEEE Computer 1994)
  2. Disk from the perspective of a file system (McKusick, CACM 2012)
  3. Chapter 18 of "Understanding the Linux Kernel."
Mon 11/21 File Systems Basics
Slides [pdf, pptx] Chapter 39.
Tue 11/22
Lab 4 Due 11:59PM
Wed 11/23 Thanksgiving Recess - No Classes
Mon 11/28 File System Consistency Issues
Slides. Printer friendly slides. Chapter 42.
  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)
Wed 11/30 Review Day
Lab 5 Due. 11:59PM
Fri 12/09 Final Exam
8:00 - 11:00am.

Copyright Notice: These lecture notes, homeworks, and lab assignments are part of an undergraduate 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-11-03 13:58:01 -0400 [validate xhtml]