Week 7: Distributed deadlock

Lecture notes:
Distributed Deadlock - slides (6 per page)
Distributed Deadlock - 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