Self-stabilizing Deadlock Detection Under the OR Requirement Model

  • Christian F. Orellana
  • Cristian Ruz
  • S. Yadran Eterovic
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4128)


This article introduces a self-stabilizing deadlock-detection algorithm for the OR model. The algorithm is complete, because it detects all deadlocks, and it is correct, because it does not detect false deadlocks. Because of the self-stabilization property, the algorithm supports dynamic changes in the wait-for graph on which it works, and transient faults; also, it can be started in an arbitrary state. Previous deadlock-detection algorithms for the OR model are not guaranteed to recover from transient faults, nor can they be started in an arbitrary state. Once the algorithm terminates, each process knows if it is or not deadlocked; moreover, deadlocked processes know whether they cause or only suffer from deadlock.


Global State Arbitrary State Requirement Model Transient Fault Legitimate State 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Knapp, E.: Deadlock detection in distributed databases. ACM Computing Surveys 19(4), 303–328 (1987)CrossRefGoogle Scholar
  2. 2.
    Flatebo, M., Datta, A.K.: Self-stabilizing deadlock detection algorithms. In: Proceedings of the 1992 ACM Annual Conference on Communications, Kansas City, Missouri, pp. 117–122 (1992)Google Scholar
  3. 3.
    Karaata, M.H., Line, J.C.: Self-stabilizing algorithms for deadlock detection and identification in distributed systems. In: Proceedings of the ISCA Thirteenth International Conference on Parallel and Distributed Computing, Las Vegas, Nevada, pp. 320–325 (2000)Google Scholar
  4. 4.
    Chandy, K.M., Misra, J., Haas, L.M.: Distributed deadlock detection. ACM Transactions on Computer Systems 1(2), 144–156 (1983)CrossRefGoogle Scholar
  5. 5.
    Cidon, I., Jaffe, J.M., Sidi, M.: Local distributed deadlock detection by knot detection. In: Proceedings of the ACM SIGCOMM Conference on Communications Architecture & Protocols, pp. 377–384. ACM Press, New York (1986)CrossRefGoogle Scholar
  6. 6.
    Lee, S., Lee, Y.: A distributed algorithm for deadlock detection under OR-request model. In: Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems, pp. 298–299. IEEE Press, Los Alamitos (work in progress, fast abstracts, 1999)Google Scholar
  7. 7.
    Natarajan, N.: A distributed scheme for detecting communication deadlocks. IEEE Transactions on Software Engineering SE-12(4), 531–537 (1986)Google Scholar
  8. 8.
    Herman, T., Chandy, K.: A distributed procedure to detect AND/OR deadlock. Technical Report TR LCS-8301, Department of Computer Science, University of Texas, Austin, Texas (1983)Google Scholar
  9. 9.
    Bracha, G., Toueg, S.: A distributed algorithm for generalized deadlock detection. In: Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, pp. 285–301 (1984)Google Scholar
  10. 10.
    Dijkstra, E.: Self-stabilizing systems in spite of distributed control. Communications of the ACM 17(11), 643–644 (1974)MATHCrossRefGoogle Scholar
  11. 11.
    Schneider, M.: Self-stabilization. ACM Computing Surveys 25(1), 45–67 (1993)CrossRefGoogle Scholar
  12. 12.
    Schwiebert, L.: Deadlock-free oblivious wormhole routing with cyclic dependencies. IEEE Transactions on Computers 50(9), 865–876 (2001)CrossRefMathSciNetGoogle Scholar
  13. 13.
    Holt, R.C.: Some deadlock properties of computer systems. ACM Computing Surveys 4(3), 179–196 (1972)CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Christian F. Orellana
    • 1
    • 2
  • Cristian Ruz
    • 1
  • S. Yadran Eterovic
    • 2
  1. 1.Escuela de Ingeniería InformáticaUniversidad Diego Portales 
  2. 2.Depto. de Ciencia de la ComputaciónPontificia Universidad Católica de Chile 

Personalised recommendations