CENG 521

Advanced Operating Systems

Operating systems review, process synchronization, distributed system communication, synchronization  in distributed systems, distributed algorithms, static and dynamic scheduling in distributed systems, group communication, fault tolerance, distributed real-time systems.

Topics
The Rise of “Worse is Better”
Eraser: A Dynamic Data Race Detector for Multithreaded Programs
Experience with Processes and Monitors in Mesa
Threads cannot be implemented as a library
Cooperative Task Management without Manual Stack Management
Practical, Transparent, Operating System Support for Superpages
Memory Resource Management in VMware ESX Server
Enhancing Server Availability and Security Through Failure-Oblivious Computing
A Comparison of Software and Hardware Techniques for x86 Virtualization
The Design and Implementation of a Log-Structured File System
Rethink the Sync (slides)
Eliminating Receive Livelock in an Interrupt-Driven Kernel
An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency
A Low-Bandwidth Network File System