Operating Systems (Honor Track)

Peking University, 2023 Spring

Project Gitbook PKU Course Website Piazza

Week 14 Announcement

May 22 · 0 min read

Lab3b: Mmap Files is out.

Previous Announcements

Schedule

Week 1

Feb 21

lectureIntroduction: ReadCh1, Ch2

TA sessionPintos Overview: ReadDisk Tutorial, Boot Tutorial

Lab 0 Out Lab0: Getting Real

Feb 23

lectureFour Fundamental OS Concepts: ReadCh6

Week 2

Feb 28

LectureAbstractions 1: Threads: ReadCh26, Ch27

: SimulatorCh26, Ch27

Mar 2

LectureAbstractions 2: Files and I/O: ReadCh39

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

Mar 5

Lab 0 Doc due

Week 3

Mar 7

LectureAbstraction 3: IPC, Pipes and Sockets: ReadCh39

Lab 1 Out Lab1: Threads

Mar 9

LectureSynchronization 1: Concurrency: ReadCh26

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

Week 4

Mar 14

LectureSynchronization 2: Lock Implementation: ReadCh28, Ch29

TA session Lab1: Threads

Mar 16

LectureSynchronization 3: Atomic Introductions, Monitors: ReadCh30, Ch31

: PaperOSDI’06 Chubby

Week 5

Mar 21

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

: PaperASPLOS’19 GoBugs

Mar 23

LectureScheduling 1: Concepts and Classic Policies: ReadCh7

Lab 1 Code due: PaperSOSP’17 ZygOS

Mar 26

Lab 1 Doc due

Week 6

Mar 28

Guest Lecture(Pengyu Zhang) Building and Running 5G Networks in the Alibaba Cloud - Problems and Research Challenges

TA sessionLab2: User Programs: NotesNotion Link

Mar 30

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

: PaperNSDI’11 DRF

Week 7

April 4

Guest Lecture(Linhai Song) Learning and Programming Challenges of Rust: A Mixed-Methods Study: PaperICSE’22 Rust, WWW’22 AntiFraud

April 6

LectureScheduling 3: Scheduling & Deadlock: ReadCh9, Ch10

: PaperNSDI’19 Shenango

Week 8

April 11

LectureScheduling 4: Scheduling in Modern Computer Systems: PaperSOSP’17 ZygOS, NSDI’19 Tiresias, SIGCOMM’22 Muri, ASPLOS’23 ElasticFlow

April 13

LectureScheduling 4: Scheduling in Modern Computer Systems: PaperNSDI’16 FairRide

Lab 2 Code due

April 16

Lab 2 Doc due

Week 9

April 18

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

: PaperNSDI’17 InfiniSwap

April 20

LectureMemory 2: Caching and TLBs: ReadCh19

: PaperOSDI’20 AIFM

Week 10

April 25

Mid Term

Lab 3a Out Lab3a: Virtual Memory

April 27

LectureMemory 3: Demand Paging: ReadCh21, Ch22

: PaperNSDI’14 FaRM

Week 11

May 2: Holiday
May 4: Holiday

Week 12

May 9

LectureMemory 4: Demand Paging: ReadCh21, Ch22

TA sessionLab3a: Virtual Memory: PaperOSDI’20 PipeSwitch

May 11

LectureMemory 4: Demand Paging: PaperASPLOS’20 SwapAdvisor

Guest Lecture(Zhuohan Li) Computer Systems for Large Language Models

Week 13

May 16

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

May 18

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

Lab 3a Code due: PaperFAST’08 Dedup

May 21

Lab 3a Doc due

Week 14

May 23

LectureFile System 1: IO Performance, File System Design: ReadCh39

Lab 3b Out Lab3b: Mmap Files: PaperSOSP’13 IOFlow

May 25

LectureFile System 2: File System Case Studies, Buffering: ReadCh40

: PaperSOSP’03 GFS

Week 15

May 30

LectureFile System 3: Buffering, Reliability, and Transactions: ReadCh42

: PaperOSDI’16 EC-Cache

June 1

LectureFile System 4: Transactions & Distributed Decision Making: ReadCh43, Ch45

Lab 3b Code due: PaperSIGCOMM’01 Chord

June 4

Lab 3b Doc due

Week 16

June 6

Guest Lecture(Hao Zhang) Techniques and Systems to Train and Serve Bigger Models: PaperOSDI’22 Alpa

Classmate sessionLab4: File Systems, Video

June 8

LectureFile System 5: Storage and File Systems in Modern Computer Systems: ReadSOSP History Day

Week 17

June 13

Final Exam