Advanced OS Course (2020 Spring)
course id
- 80240442
Time & Place
- 1~16 weeks
- Monday (8:00-9:35)
- 4-101, 4th building
Objectives
- Gain experience in doing OS research
- Know how to read/write papers/reports
- Know current OS hot topics
- Develop and analyze OS projects
Scheduling
Lec 1 Advanced OS Overview
Lec 2 OS Architecture & Structure
Lec3+4 System Virtualization Overview
Lec5+6 OS/System API/Interface
Lec 7+8 OS Kernel and HLL
Lec9+10 OS for MultiCore Architecture
Lec 11+12 OS/System Security
Lec 13+14 Correctness: OS/System Verification
Lec 15+16 Invited Talks From Visitors & Students
ReadingList
Simple OS Tutorial Labs
Instructor Info
- yuchen AT tsinghua.edu.cn