cs6/73201
Advanced Operating Systems

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

• Jeremy Miller "Maekawa: Quorum Size Research" presentation, report
• Brian Bartman "Comparison of Tarry's and Awerbuch's Graph Exploration Agorithms" slides, report
• Christian Newman "Convergence of Causal Message Ordering in Schiper-Eggli-Sandoz Algroithm" slides, report
• Purva Gawde "Analisys of Chandy-Misra-Haas Distributed Deadlock Detection Algorithm" slides, report
• Nitish Chaparala "Analisys of Ho-Ramamoorthy Two Phase Deadlock Detection Algorithm" slides, report
• Rahul Khadse "Study of Ricart-Agrawala Algorithm" slides, report
• Lakshmi Nannapaneni "Analysis of Raymond Tree Token-Based Distributed Mutual Exclusion Algorithm" slides, report
• Rajesh Kanakabandi "Analysis of Dijkstra-Scholten and Shavit-Francez Termination Detection Algorithms" slides, report
• Surekha Busa "Study of Lamport's Scalar Clocks" slides, report
• Xinyu Chang "Study of Singhal-Kshemkalyani's Iplementation of Vector Clocks" report
• Patrick O'Donnel "Simulating Corona Linearization" slides, report

Assignments

• Project 1
• Project 2
• Project 3