Advanced OS lecture notes

  1. Intro
  2. PC hardware
  3. VM System calls, Appel & Li
  4. MULTICS
  5. Plan 9
  6. Scheduling, SMART
  7. Threads, Scheduler Activations
  8. Disk hardware, FFS
  9. Receive livelock
  10. rc and es
  11. L3
  12. Spin
  13. Exokernel
  14. Synthesis/Quiz review
  15. V
  16. Memory consistency, Synchronization
  17. Disco
  18. Capabilities
  19. Mandatory Access Control, VMM Security Kernel
  20. Bugs as Deviant Behavior, Linux graphs
  21. Nooks
  22. Hive
  23. XOM
  24. Interposition & concluding remarks
Tips on printing slides. To print several PDF slides to a page, you can run the following commands on Unix after downloading a PDF file, say l1.pdf:


Permission hereby granted for anyone to copy, modify, and redistribute any lecture note material from this class that belongs to the instructor.