CS 395T: Schedule (Tentative)

Note that this schedule may change.

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

Week 1
Wed 08/26 Introduction
Lab 1 released, Lab 2 released
Week 2
Mon 08/31 Unix
read The UNIX Time-Sharing System and
The Evolution of the Unix Time-Sharing System.
Wed 09/02 Virtual memory
read Virtual Memory Primitives for User Programs, Proc. ASPLOS, 1991
Week 3
Mon 09/07 No class: Labor Day
Tue 09/08 Lab 1 due, 7:00 PM
Wed 09/09 Virtual memory, continued
We discussed Virtual Memory Primitives for User Programs, Proc. ASPLOS, 1991
Week 4
Mon 09/14 Virtual memory and virtual machines
read Virtual Memory Management in VMware ESX Server, Proc. OSDI, 2002 and
skim Disco: Running Commodity Operating Systems on Scalable Multiprocessors, Proc. SOSP, 1997
Lab 3 released
Wed 09/16 Software vs. hardware support for virtualization
read A comparison of software and hardware techniques for x86 virtualization, Proc. ASPLOS, 2006
Week 5
Mon 09/21 Paravirtualization
read Xen and the art of virtualization, Proc. SOSP, 2003
Wed 09/23 Virtual machine migration
read Difference Engine: Harnessing Memory Redundancy in Virtual Machines, Proc. OSDI, 2008
Fri 09/25 Makeup class (3:00-4:30 PM): Kernel design: microkernels I
Lab 2 due, 7:00 PM
read Improving IPC by kernel design, Proc. SOSP, 1993
Web proxy for ACM digital library
Week 6
Mon 09/28 Class canceled
Wed 09/30 Kernel design: microkernels II
read The KeyKOS Nanokernel Architecture (also in gzipped postscript) and
read The Confused Deputy
Week 7
Mon 10/05 Kernel design: Spin
read Extensibility, Safety and Performance in the SPIN Operating System, Proc. SOSP, 1995
Wed 10/07 Kernel design: exokernels
read Exokernel: An Operating System Architecture for Application-Level Resource Management, Proc. SOSP, 1995
Fri 10/09 Makeup class (3:00-4:30 PM): Exokernel discussion
Lab 3A due, 7:00 PM
Class will discuss Exokernel and compare to SPIN
Lab 4 released
Week 8
Mon 10/12 Class canceled
Wed 10/14 Class canceled
Fri 10/16 Makeup class (3:00-4:30 PM): Sandboxing I
Lab 3B due, 7:00 PM
read Efficient Software-Based Fault Isolation, Proc. SOSP, 1993
Web proxy for ACM digital library
Week 9
Mon 10/19 Sandboxing II
read Vx32: Lightweight, User-level Sandboxing on the x86, Proc. USENIX, 2008
Wed 10/21 Class canceled
Fri 10/23 Lab 4A (scheduling) due, 7:00 PM
Week 10
Mon 10/26 Class canceled
Wed 10/28 Scheduling I
read Eliminating Receive Livelock in an Interrupt-driven Kernel, Proc. USENIX, 1996
Week 11
Mon 11/02 Scheduling II
read Borrowed-Virtual-Time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose scheduler, Proc. SOSP 1999
Wed 11/04 Concurrency
read Experiences with processes and monitors in Mesa, CACM 1980
Fri 11/06 Makeup class (3:00-4:30 PM): File systems and durability I
Lab 4B (fork) due, 7:00 PM
read Modular data storage with Anvil, Proc. SOSP 2009
Week 12
Mon 11/09 File systems and durability II
read Rethink the sync, Proc. OSDI 2006
Wed 11/11 OS Bugs
read KLEE, Proc. OSDI 2008
Lab 5 released
Fri 11/13 Lab 4C (IPC, preemption) due, 7:00 PM
Week 13
Mon 11/16 Concurrency
read Read-copy update, Proc. Ottawa Linux Symposium, 2001
Lab 6 released
Wed 11/18 Multiprocessors
read Corey, Proc. OSDI 2008
Fri 11/20 Lab 5 (filesystems) due, 7:00 PM
Week 14
Mon 11/23 SSD
read Transactional flash, Proc. OSDI 2008
Wed 11/25 Class canceled
Week 15
Mon 11/30 Fault-tolerance and reliability
read Fault Tolerance under UNIX, TOCS, 1989
Wed 12/02 Security and formal verification
read seL4: Formal Verification of an OS Kernel, Proc. SOSP, 2009
Fri 12/04 Makeup class (3:00-4:30 PM): Security
read Information Flow Control for Standard OS Abstractions, Proc. SOSP, 2007
Exam week
Mon 12/07 Lab 6 due, 11:59 PM

Last updated: Wed Dec 02 19:43:56 -0600 2009 [validate xhtml]