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 01/26 Introduction
Lab 1 assigned.
Guest lecture by Chia-Che Tsai
Slides. Printer friendly slides.
Part 1: Essential hardware abstractions
Thu 01/28 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 02/02 Interrupts and system calls
Slides Printer Friendly Slides Chapter 4 of "Understanding the Linux Kernel."
Part 2: Memory Management
Thu 02/04 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)
Tue 02/09 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
Thu 02/11 The Page Cache
Academic Honesty HW due.
Slides. Printer friendly slides.		 Chapter 15 of "Understanding the Linux Kernel."
Fri 02/12
Lab 1 Due. 11:59PM.
Tue 02/16 Page Frame Reclaiming Algorithm
Slides. Printer friendly slides. Chapter 17 of "Understanding the Linux Kernel."
Part 3: Scheduling
Thu 02/18 Linux scheduler (1)
Slides. Printer friendly slides. Chapter 7 of "Understanding the Linux Kernel."
Fri 02/19
Lab 2 Due. 11:59PM.
Tue 02/23 Linux Compilation Workshop
Thu 02/25 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).
Fri 02/26
Lab 3a Due. (Advisory deadline).
Part 4: Synchronization
Tue 03/01 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 03/03 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)
Fri 03/04
Lab 3 Due. 11:59PM
Tue 03/08 Linux kernel synchronization
Slides. Printer friendly slides. Chapter 5 of "Understanding the Linux Kernel."
Thu 03/10 Memory consistency
Slides. Printer friendly slides. Shared Memory Consistency Models: A Tutorial (Adve and Gharachorloo, Computer 1996)
Fri 03/11
Lab 4a Due. (Advisory Deadline)
Tue 03/15 Spring Recess, Class Canceled
Thu 03/17 Spring Recess, Class Canceled
Fri 03/18
Lab 4b Due. (Advisory Deadline)
Tue 03/22 Read-copy update (RCU)
Slides. Printer friendly slides. Using RCU in the Linux 2.5 Kernel (McKenney, Linux Journal 2003)
Thu 03/24 Midterm
Part 5: File Systems
Tue 03/29 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 03/31 The Linux VFS (1)
Slides. Printer friendly slides. Chapter 12 of "Understanding the Linux Kernel."
Fri 04/01
Lab 4 Due. 11:59PM
Tue 04/05 The Linux VFS (2)
Slides. Printer friendly slides. Chapter 16 of "Understanding the Linux Kernel."
Thu 04/07 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
Tue 04/12 Programming I/O devices
Slides. Printer friendly slides. Chapters 9, 12, and 15 of "Linux Device Drivers"
Thu 04/14 Networking (1)
Slides Printer friendly slides. Chapters 10, 13 of "Understanding Linux Networking Internals."
Fri 04/15
Lab 5 Due. 11:59PM
Tue 04/19 Networking (2)
Eliminating Receive Livelock in an Interrupt-Driven Kernel (Mogul and Ramakrishnan, TOCS 1997).
Part 7: Security
Thu 04/21 NFS case study
Slides. Printer friendly slides. Design and Implementation of the SUN Network Filesystem (Sandberg, Goldberg, Kleiman, Walsh, and Lyon, USENIX 1985).
Tue 04/26 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)
Thu 04/28 SELinux
Slides. Printer friendly slides. SELinux: NSA's Open Source Security Enhanced Linux, Bill McCarty, O'Reilly Media 2004.
Tue 05/03 Encrypted file systems
Slides. Printer friendly slides. eCryptfs: a Stacked Cryptographic Filesystem (Halcrow, Linux Journal 2007)
Thu 05/05 Review for Final
Fri 05/06
Lab 6 Due. 11:59PM
Mon 05/16 Final Exam
11:15 am - 1:45pm. Humanities 1006.

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: 2016-05-10 19:51:35 -0400 [validate xhtml]