CSE 506: 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 stonybrook.edu domain, although most are available elsewhere online.

Date Topics Notes Required Readings Optional Readings
Tue 08/28 Introduction
Lab 1 assigned. Slides. Printer friendly slides.
Part 1: Essential hardware abstractions
Thu 08/30 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).
Tue 09/04 School Holiday. Class Canceled.
Thu 09/06 Interrupts and system calls
Slides Printer Friendly Slides Chapter 4 of "Understanding the Linux Kernel."
Part 2: Memory Management
Mon 09/10
Lab 1 Due. 11:59PM.
Tue 09/11 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)
Thu 09/13 Memory allocators
Guest lecture by Mike Ferdman. 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
Tue 09/18 The Page Cache
Slides. Printer friendly slides. Chapter 15 of "Understanding the Linux Kernel."
Wed 09/19
Lab 2 Due. 11:59PM.
Thu 09/20 Page Frame Reclaiming Algorithm
Slides. Printer friendly slides. Chapter 17 of "Understanding the Linux Kernel."
Part 3: Scheduling
Mon 09/24
Lab 3a Due. (Advisory deadline).
Tue 09/25 Linux scheduler (1)
Slides. Printer friendly slides. Chapter 7 of "Understanding the Linux Kernel."
Fri 09/28
Lab 3 Due. 11:59PM
Tue 10/02 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
Thu 10/04 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)
  3. Delivering Signals for Fun and Profit (Zalewski, 2001)
Fri 10/05
Lab 4a Due. (Advisory Deadline)
Tue 10/09 Midterm
Thu 10/11 Linux kernel synchronization
Slides. Printer friendly slides. Chapter 5 of "Understanding the Linux Kernel."
Fri 10/12
Lab 4b Due. (Advisory Deadline)
Tue 10/16 Memory consistency
Slides. Printer friendly slides. Shared Memory Consistency Models: A Tutorial (Adve and Gharachorloo, Computer 1996)
Wed 10/17 Linux kernel compilation workshop
1-2:30pm. CSE 2120. Bring your laptop! (there are also Windows laptops in the classroom)
Part 5: File Systems
Thu 10/18 Read-copy update (RCU)
Slides. Printer friendly slides. Using RCU in the Linux 2.5 Kernel (McKenney, Linux Journal 2003)
Fri 10/19
Lab 4 Due. 11:59PM
Tue 10/23 Block devices and physical media scheduling
Final project proposals due
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)
Thu 10/25 Hurricane. Class canceled.
Tue 10/30 Hurricane. Class canceled.
Thu 11/01
Fri 11/02
Lab 5 Due. 11:59PM
Part 6: Networking
Tue 11/06 Networking (1)
Guest lecture by Vyas Sekar. Slides Printer friendly slides. Chapters 10, 13 of "Understanding Linux Networking Internals."
Thu 11/08 Networking (2)
Guest lecture by Vyas Sekar Eliminating Receive Livelock in an Interrupt-Driven Kernel (Mogul and Ramakrishnan, TOCS 1997).
Tue 11/13 The Linux VFS (1)
Slides. Printer friendly slides. Chapter 12 of "Understanding the Linux Kernel."
Thu 11/15 The Linux VFS (2)
Slides. Printer friendly slides. Chapter 16 of "Understanding the Linux Kernel."
Fri 11/16
Lab 6 Due. 11:59PM
Tue 11/20 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 11/22 Thanksgiving. Class canceled.
Part 7: Security
Tue 11/27 Windows NT Access Control
Guest lecture by Rob Johnson. Slides. Printer friendly slides. Improving the Granularity of Access Control in Windows NT (Swift, Brundrett, Van Dyke, Garg, Hopkins, Chan, Goertzel, Jensenworth, SACMAT 2001)
Thu 11/29 SELinux
Guest lecture by Rob Johnson.
Slides. Printer friendly slides.		 SELinux: NSA's Open Source Security Enhanced Linux, Bill McCarty, O'Reilly Media 2004.
Tue 12/04 NFS case study
Slides. Printer friendly slides. Design and Implementation of the SUN Network Filesystem (Sandberg, Goldberg, Kleiman, Walsh, and Lyon, USENIX 1985).
Thu 12/06 Encrypted file systems
Slides. Printer friendly slides. eCryptfs: a Stacked Cryptographic Filesystem (Halcrow, Linux Journal 2007)
Fri 12/07
Lab 7 Due. 11:59PM
Mon 12/17 Final Exam
11:15 am - 1:45pm. Javits 111.

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, Stony Brook University

Last updated: Thu Jan 24 11:51:41 -0500 2013 [validate xhtml]