Advanced OS Course (2024 Autumn)

course id

• 80240442

Time & Place

• 1~16 weeks
• Wednesday (15:20-16:55)　
• 6A307 classroom, 6th 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
• Scheduling Overview
• Scheduling Details

ReadingList

• Classic/Hot OS PaperList

Simple OS Tutorial Labs

• os_tutorial_lab

Instructor Info

• yuchen AT tsinghua.edu.cn

other AOS courses

• related os courses

paper/project info about interesting OS topics

• OS related examples/tutorials/demos
• info about async in rust
• study resource of system programming in RUST
• Rust
• sys-prog in rust
• Rust-base OS/Hypervisor/Firmware
• unikernel
• component os
• fuzzing
• findingbug
• IPI: Intra-Process Isolation
• co-kernel
• nvm
• validation
• distributed-system
• sys4ai AND ai4sys
• differential testing AND semantic-bug