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