Advanced OS Course (2022 Spring)

course id

• 80240442

Time & Place

• 1~16 weeks
• Monday (15:20-16:55)　
• 4-203 classroom, Fourth teaching 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

• Old videos&slides

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

• The Details

ReadingList

• PaperList

Simple OS Tutorial Labs

• os_tutorial_lab

Instructor Info

• yuchen AT tsinghua.edu.cn

related info

• OS related examples/tutorials/demos
• info about async in rust
• study resource of system programming in RUST
• Rust-base OS/Hypervisor/Firmware