Schedule for Dahlin's Fall 2007 CS380L: Advanced Operating Systems

 
Wk Date        Discussion Topic Homework/
Extra Reading
1 8/30 1) Review syllabus and HW1. notes
2) Levin, "How to Write a Good Systems Paper"
 
2 a. 9/4
Pre-requisite quiz
Historical perspective >
1) THE (Dijkstra) notes
2) UNIX (Ritchie and Thompson) notes
HW1 DUE 9/4 in class

The Task of the Referee
(See Dahlin's Advice:)

b. 9/6 Microkernels > On Micro-Kernel Construction (Liedtke 1995) notes
Lampson, Hints for
Computer System Design
3 a. 9/11 OS Design > Application performance and Flexibility on Exokernel Systems
(Kaashoek et.al.1997) notes
Project: Topic selection (9/11)
b. 9/13 Kernel structures > Disco (Bugnion et al, 1997)  notes HW2 DUE 9/14
4 a. 9/18 Virtual machines > Memory Resource Management in VMware ESX Server
(Waldspurger 2002) notes
Hamming's Advice on Research
b. 9/20 New environments > The Emergence of Networking Abstractions and Techniques in TinyOS
(Levis et al., NSDI 2004)
LESS SW Eng Manual
(Sec 1: mandatory;
   rest optional)
5 a. 9/25 Memory management >
Practical, transparent operating system support for superpages (Navarro et. al. 2002)
Project: Proposal (9/25)
b. 9/27 Thread implementation >
Scheduler Activations (Anderson et al)  notes  ps
HW3 DUE 9/28
6 a. 10/2 Fault tolerance > Zyzzyva
Threads and concurrency > Mesa (Lampson and Redell)  notes ps
Extra: 1) Programming with Threads (Birrell)
Extra: 2) From Dahlin's Advice: Programming with Threads

Sermon 1: Simplicity
Sermon 2:
Performance Tuning
b. 10/4
Threads and concurrency >
Read and critique: Mesa (Lampson and Redell)  notes ps
Read (no critique) From Dahlin's Advice: Programming with Threads
Optional Programming with Threads (Birrell)
1) Event-driven Programming for Robust Software (Dabek et. al. 2002)
2) SEDA: An Architecture for Well-Conditioned, Scalable Internet Services
(Welsh, Culler, and Brewer, SOSP 01)
7 a. 10/9 File Systems >
1) A Fast File System for UNIX
2) a. ZFS_linux   b. ZFS: The last word in file systems  notes

Extra: Ruemmler and Wilkes 1994

Sermon 3;   Sermon 5
b. 10/11 File Systems > Integrity Transaction Concept (Gray 1981)  notes ps HW4 DUE 10/12
8 a. 10/16 Midterm 1 (In class)  
b. 10/18 File Systems > Integrity Rosenblum and Ousterhout 1992  LFS notes
Ousterhout's critique of Seltzer's 1993 paper
Ousterhout's critique of Seltzer's 1995 paper
Seltzer's response to Ousterhout's critiques
Ousterhout's response to Seltzer
9 a. 10/23 Distributed File Systems > (Howard et al, 1988)  AFS notes  ps From Dahlin's Advice:
Coping with complexity
b. 10/25 Kistler and Satyanarayanan 1992  Coda notes  ps
10 a. 10/30 Replicated file systems >
1) Petersen et al, SOSP-16
2) Terry et al, 1996  Bayou notes  ps
Project: Checkpoint (10/28)

From Dahlin's Advice:
The Emperor's Old Clothes

b. 11/1 PRACTI Replication notes
11 a. 11/6 System scale > The Google File System (Ghemawat et. al. 2003) notes

Extra: Lessons from Giant-Scale Services

From Dahlin's Advice:
End-to-end Arguments
in System Design
b. 11/8 MapReduce: Simplified Data Processing on Large Clusters (Dean and Ghemawat 2004)

Extra: BigTable: A system for Distributed Structured Storage (Chang et. al. 2006)
webnotes video

12 a. 11/13 Security > Experience and failures
1) Why Cryptosystems Fail
2) Reflections on Trusting Trust
 
b. 11/15 Security > Authentication
A Logic of Authentication  BAN notes  ps
Extra: SDSI 1996   SDSI notes
 Take home quiz
Project: Status
13 a. 11/20 Security > Engineering principles
1) Abadi and Needham, 1996   Prudent notes
2) Saltzer and Schroeder 1975
b. 11/17 Thanksgiving Holiday  No class
14 a. 11/27 Security > Authentication >
1) Authentication in Distributed Systems   TAOS notes   ps
2) TCPA and Palladium
Career and general advice
b. 11/29 Performance Debugging for Distributed Systems of Black Boxes (Aguilera et. al., SOSP 03) notes
15 a. 12/4 Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code notes
(Killian et. al., NSDI 07)
Project: Written Report (12/7)
b. 12/6 Midterm 2 (In class)

To top of page

August 27, 2007