Operating Systems (Honor Track)

Peking University, 2024 Spring

Pintos Doc Tacos Doc PKU Course Website Piazza

Previous Announcements

Schedule

Week 1

Feb 20

lectureIntroduction: ReadCh1, Ch2

Lab 0 Out P-Lab0: Getting Real, T-Lab0: Appetizer

Feb 22

lectureFour Fundamental OS Concepts: ReadCh6

TA sessionPintos Overview, Tacos Overview: ReadDisk Tutorial, Boot Tutorial

Week 2

Feb 27

LectureAbstractions 1: Threads: ReadCh26, Ch27

: SimulatorCh26, Ch27

Feb 29

LectureAbstractions 2: Files and I/O: ReadCh39

Lab 0 Code due: PaperNSDI’20 i10, OSDI’21 blk-switch

Mar 3

Lab 0 Doc due

Week 3

Mar 5

LectureAbstraction 3: IPC, Pipes and Sockets: ReadCh39

Lab 1 Out P-Lab1: Threads, T-Lab1: Scheduling

Mar 7

LectureSynchronization 1: Concurrency: ReadCh26

: PaperCCR’07 HowToRead, NSDI’19 Shinjuku, SOSP’21 ghOSt

Week 4

Mar 12

LectureSynchronization 2: Lock Implementation: ReadCh28, Ch29

TA session Lab1: Threads

Mar 14

LectureSynchronization 3: Atomic Introductions, Monitors: ReadCh30, Ch31

: PaperOSDI’06 Chubby

Week 5

Mar 19

LectureSynchronization 4: Monitor, Readers/Writers: ReadCh32, Ch33

: PaperASPLOS’19 GoBugs

Mar 21

LectureScheduling 1: Concepts and Classic Policies: ReadCh7

Lab 1 Code due: PaperSOSP’17 ZygOS

Mar 24

Lab 1 Doc due

Week 6

Mar 26

LectureScheduling 2: Case Studies, Fairness, Real Time, and Forward Progress: ReadCh8, Ch10

Lab 2 Out P-Lab2: User Programs, T-Lab2: User Programs: PaperNSDI’11 DRF

Mar 28

LectureScheduling 3: Scheduling & Deadlock: ReadCh9, Ch10

: PaperNSDI’19 Shenango

Week 7

April 2

LectureScheduling 4: Scheduling in Modern Computer Systems: PaperSOSP’17 ZygOS, NSDI’19 Tiresias, NSDI’16 FairRide

TA session Lab2: User Programs

April 4

Tomb-sweeping Day

Week 8

April 9

Guest LectureJolteon, Rummy, MegaScale: PaperNSDI’24 Jolteon, NSDI’24 Rummy, NSDI’24 MegaScale

LectureScheduling 4: Scheduling in Modern Computer Systems: PaperSOSP’17 ZygOS, NSDI’19 Tiresias, NSDI’16 FairRide

April 11

LectureMemory 1: Address Translation and Virtual Memory: ReadCh13, Ch15

Lab 2 Code due: PaperNSDI’17 InfiniSwap

April 14

Lab 2 Doc due

Week 9

April 16

LectureMemory 2: Caching and TLBs: ReadCh19

: PaperOSDI’20 AIFM

April 18

LectureMemory 3: Demand Paging: ReadCh21, Ch22

: PaperNSDI’14 FaRM

Week 10

April 23

Guest Lecture Understanding and Improving the programmability of Rust

Lab 3 Out P-Lab3a: Virtual Memory, T-Lab3: Virtual Memory

April 25

Mid Term

Week 11

April 30: Holiday
May 2: Holiday

Week 12

May 7

LectureMemory 4: Demand Paging: ReadCh21, Ch22

TA sessionLab3a: Virtual Memory: PaperOSDI’20 PipeSwitch

May 9

LectureMemory 4: Demand Paging: PaperASPLOS’20 SwapAdvisor

Week 13

May 14

LectureMemory 5: Memory Management in Modern Computer Systems: PaperNSDI’23 TGS

May 16

LectureIO: General I/O, Disk and SSD: ReadCh36, Ch37, Ch44

P-Lab 3a Code due: PaperFAST’08 Dedup

May 19

P-Lab 3a Doc due