| Wk |
Date |
Discussion Topic |
Homework/
Extra Reading |
| Topic 1: |
Introduction to Systems Research and Design |
| 1 |
8/28 |
1) Review syllabus and HW1.
notes
2) Levin, "How to Write a Good Systems Paper" |
Lampson, Hints for
Computer System Design |
| Topic 2: |
OS Structure and Abstractions |
| 2 |
a. 9/2
|
Pre-requisite quiz
Roots of modern OSes > Multics notes
Extra: Corbato and Vyssotsky
|
HW1 DUE 9/2 in class
The Task of the Referee
(See Dahlin's Advice:)
|
| b. 9/4 |
Roots of modern OSes >
1) THE (Dijkstra)
notes
2) UNIX (Ritchie and Thompson)
notes |
|
| 3 |
a. 9/9 |
Minimal abstractions > Scheduler Activations
Scheduler Activations (Anderson et al) notes ps |
Project:
Topic selection (9/9) |
| b. 9/11 |
Minimal abstractions > Exokernel
Application performance and Flexibility on
Exokernel Systems
(Kaashoek et.al.1997) notes
|
HW2 DUE 9/12 |
| 4 |
a. 9/16 |
Hypervisors >
Disco (Bugnion et al, 1997)
notes
| Hamming's Advice on Research |
| b. 9/18 |
Hypervisors > VMware ESX
Memory Resource Management in VMware ESX Server
(Waldspurger 2002) notes |
LESS SW Eng Manual
(Sec 1: mandatory;
rest optional) |
| Topic 3: |
Concurrency |
| 5 |
a. 9/23 |
Threads
Read and critique: Mesa (Lampson and Redell)
notes
ps
Read (no critique) From Dahlin's Advice:
Programming with Threads
Optional:
a) Programming with Threads (Birrell)
b) Event-driven Programming for Robust Software (Dabek et. al. 2002) |
Project: Proposal (9/23) |
| b. 9/25 |
Distributed Systems
Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code
(Killian et. al., NSDI 07) |
HW3 DUE 9/26 |
| Topic 4: |
Local File Systems |
| 6 |
a. 9/30 |
FFS/Disks
A Fast File System for UNIX
Extra:
a) LogP performance model
b) Ruemmler and Wilkes 1994
|
Sermon 1: Simplicity
Sermon 2:
Performance Tuning |
b. 10/2
|
Transaction Concept (Gray 1981)
notes ps
|
| 7 |
a. 10/7 |
Rethink the Sync
|
Sermon 3; Sermon 5 |
| b. 10/9 |
1) LFS 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
2) ZFS
ZFS_linux
ZFS: The last word in file systems
|
HW4 DUE 10/10
|
| 8 |
a. 10/14 |
Midterm 1 (In class) |
|
| Topic 5: |
Distributed Storage and Consistency |
| 8 |
b. 10/16 |
AFS
(Howard et al, 1988)
AFS notes
ps |
|
| 9 |
a. 10/21 |
Coda
Kistler and Satyanarayanan 1992
Coda notes
ps |
From Dahlin's Advice:
Coping with complexity |
| b. 10/23 |
Bayou
1) Petersen et al, SOSP-16
2) Terry et al, 1996
Bayou notes
ps |
| 10 |
a. 10/28 |
PRACTI |
Project:
Checkpoint (10/28)
|
| Topic 6: |
Cluster OS |
| 10 |
b. 10/30 |
GFS
The Google File System (Ghemawat et. al. 2003)
Extra: Lessons from Giant-Scale Services
|
From Dahlin's Advice:
The Emperor's Old Clothes
|
| 11 |
a. 11/4 |
MapReduce: Simplified Data Processing on Large Clusters (Dean and Ghemawat 2004)
|
From Dahlin's Advice:
End-to-end Arguments
in System Design |
| b. 11/6 |
BigTable: A System for Distributed Structured Storage (Chang et. al. 2006)
webnotes
video
|
| 12 |
a. 11/11 |
SafeStore |
|
| Topic 7: |
Security |
| 12 |
b. 11/13 |
Experience and failures
1) Why Cryptosystems Fail
2) Reflections on Trusting Trust
|
|
| 13 |
a. 11/18 |
Authentication
A Logic of Authentication
BAN notes
ps
|
Take home quiz
Project:
Status
|
| b. 11/20 |
Naming
SDSI 1996
SDSI notes |
|
| 14 |
a. 11/25 |
Distributed Systems
Authentication in Distributed Systems
TAOS notes
ps
|
Career and general advice
|
| b. 11/27 |
Thanksgiving Holiday No class |
| 15 |
a. 12/2 |
Engineering principles
1) Abadi and Needham, 1996
Prudent notes
2) Saltzer and Schroeder 1975
|
Project:
Written Report (12/5) |
| b. 12/4 |
Midterm 2 (In class) |