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:00
Exercise: booting xv6 due
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:00
Exercise: system calls due
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:00
Exercise: memory models due
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:00
Exercise: Yggdrasil due
11:30-12:20
Lecture:
verification
23:00
Lab 5 due
|
06 |
07
11:00
Exercise: end-to-end arguments due
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 |