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
• Handling deadlocks I
  Handling deadlocks II
• Agreement
• Failure Detectors

Homeworks

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

Projects

Assignments

• Project 1
• Project 2
• Project 3, update

Reports

• Marling Engle "Comparison between Lamport's Scalar Clocks and Singhal&Kshemkalyani's Vector Clock" report, presentation, code and data
• Scott McCallen "Performance of Token-Based Distributed Mutual Exclusion Algorithms" report, presentation, code and data
• Sherenaz Al-Haj Baddar "On Simulating Two Permission-Based Distributed Mutual Exclusion Algorithms for Wireless Sensor Networks" report, presentation code and data
• Xiaojie (Jenny) Tan "Suzuki-Kasami DMX vs. Raymond DMX" report, presentation code and data
• Abdulkareem Alali "An Eperimental Comparison between Naive and Singhal Kshemkalyani's Vector Clock Implementation." report, presentation code and data

TinyOS Tutorial by Tom Clouser