- Instructors: Xi Wang
- Textbook:
- Operating Systems: Principles and Practice (2nd Edition)
- xv6: a simple, Unix-like teaching operating system
- URL: https://courses.cs.washington.edu/courses/cse451/18au/
- Overview
- Programming interface
- OS organization
- Address space
- Virtual memory
- Interrupts and exceptions
- System calls
- User-level interrupt handlers
- Multiprocessor and locking
- Multicore
- Example: mult-threaded hash table
- Critical section
- Deadlock
- Lock implementation
- Atomic instructions
- Memory consistency models
- (Talk by James Bornholt)
- Threads and switching
- Scheduling
- Concurrency and QA
- Spinlock
- Ticket spinlock
- MCS locks
- RCU
- Transactional memory
- File systems
- On-disk data structures
- Crash recovery
- Bugs and testing
- Virtual machines
- Networking
- Verification
- Rebootless kernel updates
- Meltdown