cs6/73201
Advanced Operating Systems

Mailing list: subscription page, 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

• Saleh Alnaeli "Implementation of Lamport's Scalar Clocks and Singhal-Kshemkalyani Vector Clocks" presentation, report
• Swapna Kalidindi "Evaluation of Dijkstra-Scholten and Shavit-Francez Termination Algorithms" presentation, report
• Mahesh Mahabaleshwar "Analysis of Suzuki-Ksasmi and Raymond Token-Based Distributed Mutual Exclusion Algorithms" presentation, report
• Rizal M. Nor "Maekawa vs. Ricart-Agrawala" presentation, report
• Sanjitkumar Patel "Comparison of Tarry's and Awerbhuch's Tree Traversal Algorithms" presentation, report

Assignments

• Project 1
• Project 2
• Project 3