Syllabus

Catalog Description

This graduate-level course examines recent developments in operating systems. It also covers virtualization, security, and selected topics.

Instructor

  • Name: Heng Yin
  • Email: heng AT cs DOT ucr DOT edu
  • Office: Winston Chung Hall 316
  • Office hours: by appointment via Calendly
  • Location and Time: Online via Zoom, Tue/Thu 3:30PM-4:50PM

Textbooks

No primary textbook. For undergraduate material, please refer to: Operating Systems: Three Easy Pieces, Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau

Communication

We will use iLearn for assignments and grading, and piazza for announcement, discussions and help.

Paper Reading and Critiques

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.

Lab Assignments

There will be 2-3 project assignments based on XV6.

Exams

A midterm and a final exam are given to assess students' understanding of the papers and concepts discussed in the class.

Grading

  • Class attendance and participation: 10%
  • Paper critiques: 10%
  • Lab assignments: 40%
  • Midterm: 15%
  • Final: 25%

Policy for Late Submissions

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.

Schedule

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