cornell-cs-4410-2018-fall.md

Operating Systems (Fall 2018)

Course info

• Instructors: Robbert van Renesse
• Textbook: Operating Systems: Three Easy Pieces
• URL: http://www.cs.cornell.edu/courses/cs4410/2018fa/

Outline

1. Introduction
2. Architectural support for OS
3. Processes
4. Threads
5. Synchronization (1)
   • Race conditions
   • Critical section
6. Synchronization (2)
   • Too-much-milk problem
   • Spinlock
7. Synchronization (3)
   • Producer-consumer problem
   • Reader-writer problem
8. Synchronization (4)
   • Semaphore
   • Monitor
   • Condition variable
9. Synchronization (5)
   • Hoare vs. Mesa/Hansen semantics
   • 12 commandments of synchronization
10. CPU scheduling
11. Deadlocks
    • Wait-for graph
    • Four conditions for deadlock
    • Preventing deadlock
    • Avoiding deadlock
    • Detecting deadlock
    • Recovering deadlock
    • Banker's algorithm
12. Memory management (1)
13. Memory management (2)
14. Virtual memory (1)
15. Virtual memory (2)
16. Virtual memory (3)
17. Disks and RAID
18. File systems (1)
19. File systems (2)
20. File systems (3)
21. Security (1)
22. Security (2)
23. Networking (1)
24. Networking (2)
25. Networking (3)
26. Distributed systems (1)
27. Distributed systems (2)