Week 10.5: Distributed deadlocks

Recitation notes:
Distributed Deadlocks - slides
Distributed Deadlocks - notes

Supplemental notes:

Buzzwords:
conditions for deadlock, resource utilization graph, cyclical dependencies, communication deadlock, resource deadlock, detection, prevention, avoidance, centralized algorithm for deadlock detection, false deadlock, Chandy-Misra-Haas, distributed detection algorithm, probing, probe messages, deadlock prevention via wait-die algorithm, deadlock prevention via wound-wait algorithm