Recap:
homework:
single person autograded homework.
save homeworks from previous semester to be thrown into mosspool

32 lectures total 16 weeks 
2 midterms

Lecture 10: VM 1
VM (introduced in userspace)
Address translation in the TLB
Program isolation

Lecture 11: VM 2
Page Tables
Segmentation (intel) vs TLB

Lecture 12: VM 3
swapping
mmap
lazy program loading

Lecture 13: VM 4
Performance
page policies
VM tricks
 - non executable stacks	

Lecture 14: FS
what is an FS?
what is a disk (reliable block device)?
Disk performance characteristics

Lecture 15: FS
directories
access control

Lecture 16: FS
Consistency
- sync vs async
- journaling
- softupdates

Project 2 (Journaling) 3 weeks

Lecture 17: FS
odds and ends
speed
sparse files
snapshots
scalability

Lecture 18: FS
Other FSes
- BeFS
- HFS
- LFS 
unified buffer(VM tie-in), balance

Lecture 19: IPC
Shared memory 
Signals
Sockets
Sockets(tcp/udp)

Lecture 20: Networking services 
RPC 
NFS 
Downs of NFS
Difficulty of distributed applicatoins

Lecture 21: CORBA
Security

Lecture 22: program checking 

Lecture 23: MT2

HW4: Syscall monitoring (ala /proc on sunos 2.4)

Lecture 24: Security 
common problems:
- buffer overflows, signed/unsigned, temp files
- scripting languages too powerful (Microsoft)
- dos
- configuration
- programming style (failsafe-open, failsafe-shut)
crypto being used as a blackbox tool for OSes

Lecture 25: Case Study
Linux
VMWare

Lecture 26: Case Study
Mach 
Eros (capabilities)

Lecture 27: Case Study
Realtime and embedded QNX, RTLinux

Lecture 28: Case Study
TinyOS and ExOS

Lecture 29: Program checking

Lecture 30: Endup.
Software fault isolation
bootstrapping.

Due Dates:
hw1: lecture 4 (hello kernel bridges) assigned 1st day 
hw2: lecture 6 (scheduler) assigned 2nd lecture.
hw3: lecture 10 (serial device driver) assigned lec 6
proj1: lecture 15 (VM) assigned midterm1
proj2: lecture 22 (FS) assigned lec 16
hw4: lecture 27 (proc) (assigned at mt2) assigned lec 23
- since the course will be totally completed, we can put
  everything up on the course webpage on day 1 and only
  "officially" assign stuff.

by end of summer:
- stable simulator, at least as fast as spim
vmips is slow - it does lots of work for every instruction
galen is writing a JIT for it for x86  
- http://www.csua.berkeley.edu/~galen/264.ppt
- kernel to be complete
- projects to be complete
- tentative reading list
- papadimitrou for faculty contact (he would know best) 
- people to teach this course - Hilfinger?  Franklin?