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.
March | ||||
Monday | Tuesday | Wednesday | Thursday | Friday |
26
11:30-12:20
Lecture:
OS overview
|
27 |
28
11:30-12:20
Lecture:
booting
|
29
Section:
lab 1 Q&A
|
30
11:00
Exercise: booting xv6 due
11:30-12:20
Lecture:
programming interface
|
April | ||||
Monday | Tuesday | Wednesday | Thursday | Friday |
02
11:30-12:20
Lecture:
OS organization
|
03
23:00
Lab 1 due
|
04
11:30-12:20
Lecture:
address spaces
|
05
Section:
lab 2 Q&A
|
06
11:00
Exercise: system calls due
11:30-12:20
Lecture:
virtual memory
|
09
11:30-12:20
Lecture:
using virtual memory
|
10 |
11
11:30-12:20
Lecture:
lazy allocation
|
12
Section:
virtual memory review
|
13
11:30-12:20
Lecture:
virtual memory Q&A
|
16
11:30-12:20
Lecture:
interrupts & exceptions
|
17
23:00
Lab 2 due
|
18
11:30-12:20
Lecture:
system calls
|
19
Section:
lab 3 Q&A
|
20
11:30-12:20
Lecture:
user-level interrupt handlers
|
23
11:30-12:20
Lecture:
interrupts Q&A
|
24
23:00
Lab 3A due
|
25
11:30-12:20
Lecture:
multiprocessors & locking
|
26
Section:
interrupts review
|
27
11:30-12:20
Lecture:
threads & switching
|
30
11:30-12:20
Exercise: barriers
Pre-OSDI
|
01
23:00
Lab 3B due
|
02
11:30-12:20
Exercise: locking
Pre-OSDI
|
03
Section:
lab 4 Q&A
|
04
11:00
Exercise: memory models due
11:30-12:20
Lecture:
memory consistency models by James Bornholt
|
May | ||||
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
Section:
COW fork
|
11
11:30-12:20
Lecture:
file systems
|
14
11:30-12:20
Lecture:
on-disk data structures
|
15
23:00
Lab 4B due
|
16
11:00
Exercise: big files
11:30-12:20
Lecture:
crash recovery
|
17
Section:
lab 5 Q&A
|
18
11:30-12:20
Lecture:
file system Q&A
23:00
Lab X proposal due
|
21
11:00
Exercise: Dune due
11:30-12:20
Lecture:
virtual machines
|
22
23:00
Lab 4C due
|
23
11:00
Exercise: undefined behavior due
11:30-12:20
Lecture:
bugs & testing
|
24
Section:
file systems review
|
25
11:00
Exercise: Hyperkernel due
11:30-12:20
Lecture:
verification
|
28
Memorial Day
|
29
23:00
Lab 5 due
|
30
11:00
Exercise: Meltdown due
11:30-12:20
Lecture:
Meltdown
|
31
Section:
final review
|
01
11:30-12:20
Lecture:
lab X demos
|
June | ||||
Monday | Tuesday | Wednesday | Thursday | Friday |
04
23:00
Lab X due
|
05 |
06
14:30-16:20
Final exam
|
07 | 08 |