Issue No. 05 - May (1999 vol. 10)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/71.770131
<p><b>Abstract</b>—Previous proposals for Distributed Deadlock Detection/Resolution algorithms for the AND model have the main disadvantage of resolving false deadlocks, that is, nonexisting or currently being resolved deadlocks. This paper provides an algorithm free of false deadlock resolutions. A simple specification for a safe deadlock resolution algorithm is introduced, and the new distributed solution is developed in a hierarchical fashion from its abstract specification. The algorithm is probe-based, uses node priorities, and coordinates the actions of resolvers so that false deadlocks are not resolved. The solution is formally proven correct by using the Input-Output Automata Model. Finally, a study about the liveness of the algorithm is provided.</p>
Deadlock detection/resolution, distributed systems, AND model, hierarchical correctness proofs, input/output automata model.
Jose Ramon Gonzalez de Mendivil, Carlos F. Alastruey, J. M. Bernabeu-Auban, Federico Fariña, Jose Ramon Garitagoitia, "A Distributed Deadlock Resolution Algorithm for the AND Model", IEEE Transactions on Parallel & Distributed Systems, vol. 10, no. , pp. 433-447, May 1999, doi:10.1109/71.770131