Lecture notes on future days are copies from last year to give you an idea of what’s coming up. We will update them as the course progresses. If you are particularly interested in some topic not covered here, talk to the course staff.

September
Monday Tuesday Wednesday Thursday Friday
26 27 28
11:30-12:20 Lecture: booting
29
12:30-14:20 Section: lab 1 Q&A
30
11:30-12:20 Lecture: programming interface

October
Monday Tuesday Wednesday Thursday Friday
03
11:30-12:20 Lecture: OS organization
04
23:00 Lab 1 due
05
11:30-12:20 Lecture: address spaces
06
12:30-14:20 Section: lab 2 Q&A
07
11:30-12:20 Lecture: virtual memory
10
11:30-12:20 Lecture: using virtual memory
11 12
11:30-12:20 Lecture: lazy allocation
13
12:30-14:20 Section: virtual memory review
14
11:30-12:20 Lecture: virtual memory Q&A
17
11:30-12:20 Lecture: interrupts & exceptions
18
23:00 Lab 2 due
19
11:30-12:20 Lecture: system calls
20
12:30-14:20 Section: lab 3 Q&A
21
11:30-12:20 Lecture: user-level interrupt handlers
24
11:30-12:20 Lecture: interrupts Q&A
25
23:00 Lab 3A due
26
11:30-12:20 Lecture: multiprocessors & locking
27
12:30-14:20 Section: interrupts review
28
11:30-12:20 Lecture: threads & switching
31
11:30-12:20 Lecture: memory consistency models
by James Bornholt
01
23:00 Lab 3B due
02
11:30-12:20 Exercise: barriers
03
12:30-14:20 Section: lab 4 Q&A
04
11:30-12:20 Exercise: locking

November
Monday Tuesday Wednesday Thursday Friday
07
11:30-12:20 Lecture: scheduling
08
23:00 Lab 4A due
09
11:30-12:20 Lecture: concurrency Q&A
10
12:30-14:20 Section: COW fork
11
Veterans Day
14
11:30-12:20 Lecture: file systems
15
23:00 Lab 4B due
16
11:30-12:20 Lecture: on-disk data structures
17
12:30-14:20 Section: IPC & lab 5 Q&A
18
11:30-12:20 Lecture: crash recovery
23:00 Lab X proposal due
21
11:30-12:20 Lecture: Apple File System
by Luke Nelson
22
23:00 Lab 4C due
23
Pre-thanksgiving
11:30-12:20 Exercise: big files
24
Thanksgiving
25
Thanksgiving
28
11:00 Exercise: Dune due
11:30-12:20 Lecture: virtual machines
29 30
11:00 Exercise: KLEE due
11:30-12:20 Lecture: bugs & testing
01
12:30-14:20 Section: file systems review
02
11:30-12:20 Lecture: mobile OS security
by Franzi Roesner

December
Monday Tuesday Wednesday Thursday Friday
05
11:30-12:20 Lecture: verification
23:00 Lab 5 due
06 07
11:30-12:20 Lecture: end-to-end arguments
by Kaiyuan Zhang
08
12:30-14:20 Section: final review
09
11:30-12:20 Lecture: lab X demos
12
23:00 Lab X due
13 14
14:30-16:20 Final exam (solution)
15 16