Mon | Tue | Wed | Thu | Fri |
Oct 2
L1 Operating systems
|
Oct 3 |
Oct 4
L2 x86 assembly language
Read: PC Assembly Language, Brennan's Guide |
Oct 5 |
Oct 6 |
Oct 9
L3 Virtual memory
Read: Appel & Li |
Oct 10 |
Oct 11
L4 Virtual memory II
Read: Memory mgmt in VMware |
Oct 12 |
Oct 13
Lab 1: Booting a PC due at 11:59pm |
Oct 16
L5 Steroidal copy-on-write
Read: Potemkin |
Oct 17 |
Oct 18
L6 Kernel structure I
Read: L3 |
Oct 19 |
Oct 20 |
Oct 23
L7 Kernel structure II
Read: Exokernel |
Oct 24 |
Oct 25
L8 Kernel structure III: Bugs
Read: OS bugs
(Background: Bugs as deviance) |
Oct 26 |
Oct 27 |
Oct 30
L9 In-kernel isolation
Read: Nooks
|
Oct 31 |
Nov 1
L10 Waking up user programs
Read: kqueue |
Nov 2 |
Nov 3 |
Nov 6
Quiz 1 in class hours |
Nov 7 |
Nov 8
No class |
Nov 9 |
Nov 10 Holiday |
Nov 13
L11 Scheduling I
Read: BVT
|
Nov 14 |
Nov 15
L12 Scheduling II
Read: Eliminating receive livelock
| Nov 16 |
Nov 17 |
Nov 20
L13 File systems I
Read: Soft updates
Soft updates journal |
Nov 21 |
Nov 22
L14 File systems II
Read: Rethink the sync |
Nov 23 Thanksgiving |
Nov 24 |
Nov 27
L15 Synchronization
Read: RCU
Please note that we may use a different paper; none of the RCU papers are perfect.
The following talk provides a good overview: Abstraction, Reality Checks and RCU
|
Nov 28 |
Nov 29
No class |
Nov 30 |
Dec 1
L16 Security and kernel structure I
Location: Moore 1003
Read: VMM security kernel |
Dec 4
L17 Security and kernel structure II
Read: HiStar |
Dec 5 |
Dec 6
Quiz 2 in class hours |
Dec 7 |
Dec 8 |
Dec 11 |
Dec 12 |
Dec 13 |
Dec 14 |
Dec 15
OS bakeoff, 9-11a
|
Dec 15 |