An Optimal, Distributed Deadlock Detection and Resolution Algorithm for Generalized Model in Distributed Systems

  • S. Srinivasan
  • Rajan Vidya
  • Ramasamy Rajaram
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 40)


We propose a new distributed algorithm for detecting generalized deadlocks in distributed systems. The algorithm records the consistent distributed snapshot of global wait-for-graph (WFG) through propagating the probe messages in the forward phase and reducing the WFG to determine the entire set of deadlocked processes in the backward phase. The reducibility of each process is decided based on the information in replies that have received from its immediate wait-for processes during the reduction. We also formally prove the correctness of our algorithm. It has a worst case time complexity of 2d time units and the message complexity of 2e, where d is the diameter and e is the number of edges of the distributed spanning tree induced by the algorithm. The significant improvement of proposed algorithm over earlier algorithms is that it achieves optimum results using fixed sized messages and minimizes the messages to resolve deadlocks.


Distributed Systems Deadlock Detection Deadlock Resolution Distributed algorithms Generalized Deadlocks Wait-For Graph 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Knapp, E.: Deadlock Detection in Distributed Database System. ACM Computing Surveys 19(4), 303–327 (1987)CrossRefGoogle Scholar
  2. 2.
    Singhal, M.: Deadlock detection in distributed systems. IEEE Computer 22, 37–48 (1989)CrossRefGoogle Scholar
  3. 3.
    Dijkstra, E.W., Scholten, C.S.: Termination Detection for Diffusing Computations. InformationProcessing Letters 11(1), 104 (1980)Google Scholar
  4. 4.
    Bracha, G., Toueg, S.: A Distributed algorithm for Generalized Deadlock Detection. Distributed Computing 2, 127–138 (1987)CrossRefGoogle Scholar
  5. 5.
    Wang, J., Huang, S., Chen, N.: A distributed algorithm for detecting generalized deadlocks, Tech.Rep., Dept. of Compter Science, National Tsing-Hua Univ. (1990)Google Scholar
  6. 6.
    Brzezinski, J., Helary, J.M., Raynal, M., Singhal, M.: Deadlock Models and a General Algorithm for Distributed Deadlock Detection. J. Parallel and Distributed Computing 31(2), 112–125 (1995)CrossRefGoogle Scholar
  7. 7.
    Chandy, K.M., Misra, J., Hass, L.: Distributed Deadlock Detection. ACM Trans. On Computing Surveys 1(2) (May 1983)Google Scholar
  8. 8.
    Chandy, K.M., Lamport, L.: Distributed Snapshots: Determing global states of istributed systems. ACM Trans. Computer Systems 3(1), 63–75 (1985)CrossRefGoogle Scholar
  9. 9.
    Chen, S., Deng, Y., Attie, P.: Deadlock detection and resolution in distributed systems based on locally constructed wait-for graphs, Tech. Report, School of Computer Science, Florida International University (August 1995)Google Scholar
  10. 10.
    Kshemkalyani, A.D.: Characterization and correctness of distributed deadlock detection and resolution, Ph.D dissertation, Ohio state Univ. (August 1991)Google Scholar
  11. 11.
    Kshemkalyani, A.D., Singhal, M.: Efficient detection and Resolution of generalized distributed deadlocks. IEEE Trans. Soft. Eng. 20(1), 43–54 (1994)CrossRefGoogle Scholar
  12. 12.
    Kshemkalyani, A.D., Singhal, M.: A One-Phase Algorithm to detect distributed deadlocks in Replicated Databases. IEEE Trans. Knowledge and Data Eng. 11(6), 880–895 (1999)CrossRefGoogle Scholar
  13. 13.
    Lee, S.: Fast, Centralized detection and resolution of distributed deadlocks in the Generalised model. IEEE Trans. Soft. Eng. 30(9), 561–573 (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • S. Srinivasan
    • 1
  • Rajan Vidya
    • 1
  • Ramasamy Rajaram
    • 2
  1. 1.Department of Information TechnologyThiagarajar College of EngineeringMaduraiIndia
  2. 2.Department of Computer Science and EnggThiagarajar College of EngineeringMaduraiIndia

Personalised recommendations