cs6/73201
Advanced Operating Systems

Mailing list: how to subscribe, archive

Lecture notes

• Introduction
• Waves
• Traversal
• Managing physical clocks in distributed systems
• Logical clocks
• Global state recording
• Termination detection
• Distributed mutual exclusion - permission based algorithms
  Distributed mutual exclusion - token based algorithms
• Dining philosophers
• Agreement
• Failure detectors
• Byzantine faults
• Transient faults and stabilization

Homeworks

1. Homework 1
2. Homework 2
3. Homework 3

Projects

• Manas Hardas "Implementing Lamport's Scalar Clock and Singhal-Kshemkalyani's Vector Clocks"
  presentation report
• Victor Lee "An experimental comparison of lock-based distributed mutual exclusion algorithms" presentation report
• Mike Yuan "Comparison of Tarry's Algorithm and Awerbuch's Algorithm" presentation report
• Rizwan Malik "Mesasage Comlexity Analysis of Shavit-Francez Termination Detection Algorithm" presentation report
• Najla Alam "Performance Comparison of Tarry's and Awerbuch's Algorithms" presentation report
• Rahul Sehgal "Experiments with Cristian's and Berkeley Time Synchronization Algorithms" presentation report
• Amitkumar Mali "Snapshot Algorithms" presentation report
• Sagar Panchariya "Comparison between Suzuki Kasami's and Raymond's Tree Algorithm" presentation report

Assignments

• Project 1
• Project 2
• Project 3