This graduate-level course examines recent developments in operating systems. It also covers virtualization, security, and selected topics.
No primary textbook. For undergraduate material, please refer to: Operating Systems: Three Easy Pieces, Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau
We will use iLearn for assignments and grading, and piazza for announcement, discussions and help.
Before each class, students need to check the schedule and read required book chapters and papers, and write a critique for the one marked as Critique.
There will be 2-3 project assignments based on XV6.
A midterm and a final exam are given to assess students' understanding of the papers and concepts discussed in the class.
Late submissions within 24 hours will be graded with 20% penalty. Late submissions beyond 24 hours will not be graded. Exceptions may only be granted case by case with evidence presented.
Date | Topics | Notes | Assignments |
---|---|---|---|
10/01 | Syllabus and Overview | lec1.pdf | Ch02 |
10/06 | Historic evolution/Architectural Support | lec2.pdf | Reading: Ch04, Ch05, Ch06 |
10/08 | Process/Thread | lec3.pdf | Reading: Ch13, Ch18, Ch19 |
10/13 | Virtual Memory/Extensibility | lec4.pdf | Critique: Spin, Lab 1 |
10/15 | Extensibility | lec5.pdf | |
10/20 | Extensibility | lec6.pdf | Critique: Exokernel |
10/22 | Scheduling | lec7.pdf | Required: Lottery Scheduling, Critique: Stride Scheduling, Reading: Ch07, Ch08, Ch10 |
10/27 | Scheduling/Concurrency | lec8.pdf | Required: Scheduler Activations; Reading: Ch28, Ch29, Ch31, Ch32, Lab 2 |
10/29 | Concurrency and Synchronization | lec9.pdf | Critique: RCU |
11/03 | Midterm (Take Home) | ||
11/05 | Multicore OS | lec10.pdf | Barrelfish(Required), Optional: DISCO, Corey |
11/10 | Multicore OS | lec11.pdf | Critique: Linux scalability |
11/12 | File Systems | lec12.pdf | Ch37, Ch39, Ch40, Ch41 |
11/17 | File Systems | lec13.pdf | Critique: LFS, lab 3 |
11/19 | Distributed File Systems | lec14.pdf | Required: NFS |
11/24 | Distributed File Systems | lec15.pdf | Required: AFS; |
11/26 | No Class | Holiday | |
12/01 | Big Data File Systems | lec16.pdf | Critique: GFS; Optional: HDFS |
12/03 | No Class | ||
12/08 | Virtualization | lec17.pdf | |
12/10 | Virtualization | lec18.pdf |