EE817: Advanced Operating System (Fall 2021)
Dept. of Electrical Engineering, KAIST

Instructor: Youjip Won, (ywon at kaist dot ac dot kr)
TA: Dohyeon Kim (ehgus421210 at kaist dot ac dot kr)
Time: Wed 10:30 – 11:45 AM, Friday 10:30 – 11:45 AM
Place: Online class

Course overview
In this work, we cover a broad range of the materials of the operating systems. The topics include basic operating system structures, memory management, storage and filesystem, process scheduling and resource management, virtualization, and distributed systems. We will read the essential papers for each topic. All papers in the reading list are a must-read for the students who want to do computer systems-related research. The papers in the reading list range from the classic reading, “THE” operating system(CACM 1968), to the recent one such as BarrierFS (FAST 2018).

Textbook: None

  • Bach, Maurice J. The design of the UNIX operating system. Vol. 1. No. 2. Englewood Cliffs: Prentice-Hall, 1986.
  • Vahalia, Uresh. UNIX Internals: The New Frontiers. Prentice-Hall, 1996

Grading: Presentation (30%), Class participation(20%), Term paper (30%), Final exam (20%, take-home exam)


Week 1 9/1: Introduction
9/3: I/O stack optimization for smartphones, WALDIO
Week 2 9/8: BarrierFSOPTFS
9/10: THE, UNIX
Week 3 9/15: The Manchester Mark I,  Virtual memory
9/17: Multics, VM-Mach
Week 4 9/22: No Class
9/24: Invited Talk: Professor Changwoo Min, Virginia Tech
Week 5 9/29: Mach, Nooks
10/1: Exokernel, BarrelFish
Week 6 10/6: Disco, Xen
10/8: Upcalls, Scheduler activations
Week 7 10/13: Superpage, Ingens
10/15: ARC, ESX
Week 8 Midterm Week
Week 9 10/27: Virtual memory , Segmentation vs. Paging
10/29: Memory disaggregation, Disaggregated memory in Blade Server
Week 10 11/3: Mesa, Monitors
11/5: Invited Talk: Professor Sanidhya Kashyap, EPFL
Week 11 11/10: Lottery scheduling, The Linux scheduler
11/12: O(1)Scheduler, MLFQ
Week 12 11/17: Sloppy Counter, Scalable commutativity rule
11/19: No Class
Week 13 11/24: FFS, LFS, RadixVM
Week 14 12/1: No Class
12/3: GFS, Bigtable
Week 15 12/8: Ceph, Hadoop
12/10: Wrap-up
Week 16 Final Exam Week