cs6/73201
Advanced Operating Systems

Mailing list: subscription page, archive, year 2011 archive

Lecture notes

• Introduction, Sc1
• Waves T6.1, T6.2
• Traversal T6.3
• Managing physical clocks in distributed systems MS6.2
• Logical clocksMS 5.1-5.5
• Global state recording MS 5.6,5.7
• Termination detection T8
• Distributed mutual exclusion - permission based algorithms MS6.1-6.8
• Distributed mutual exclusion - token based algorithms MS6.10-6.13
• Dining philosophers
• Handling deadlocks I
  Handling deadlocks II
• Agreement T14
• Failure detectors T16
• Byzantine faults
• Transient faults and stabilization

• Sc - Fred B. Schneider "On Concurrent Programming"
• MS - Mukesh Singhal "Advanced Concepts in Operating Systems"
• T - Gerard Tel "Introduction to Distributed Algorithms"

Homeworks

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

Projects

• Md Amjad Hossain "Performance analysis of Chandra and Toueg's first consensus algorithm with S failure detector" presentation, report
• Chao Ma "Evaluating Ho-Ramammorthy Two-Phase Deadlock Detection Algorithm" presentation, report
• Chun Zhang "Analysis of Lamport's Byzantine Generals Algorithm" presentation, report
• Dianne Foreback "Corona Linearization Analysis" presentation, report
• Jordan Adamek "Evaluation of Distributed Mutual Exclusion through Practical Simulation: Maekawa's Algorithm" presentation, report
• Jing Mao "Analysis of Chandi-Misra Snapshot Algorithm" presentation report
• Kovan Mohamed Ali "Message Complexity Evaluation of Dijkstra-Scholten and Shavit-Francez Termination Detection Algorithms" presentation, report
• Lowkya Pothineni "Evaluation of Ricart and Agrawala's Algorithm presentation, report
• Md Iftakharul Islam "Performance Analysis of Singhal-Kshemkalyani's Implementation of Vector Clock" presentation, report
• Shawn Biesan "Practically Comparing Tarry's and Awerbuch's Algorithms" presentation, report
• Shiva Vamshi Raj Bottu "Lamport's Scalar Clocks Performance Evaluation" presentation, report
• Wesley Thomas "Evaluating Raymond's DMX Algorithm Message Efficiency over Different Tree Sizes" presentation, report

Assignments

• Project 1
• Project 2
• Project 3