An Optimal, Distributed Deadlock Detection and Resolution Algorithm for Generalized Model in Distributed Systems
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.
KeywordsDistributed Systems Deadlock Detection Deadlock Resolution Distributed algorithms Generalized Deadlocks Wait-For Graph
Unable to display preview. Download preview PDF.
- 3.Dijkstra, E.W., Scholten, C.S.: Termination Detection for Diffusing Computations. InformationProcessing Letters 11(1), 104 (1980)Google Scholar
- 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
- 7.Chandy, K.M., Misra, J., Hass, L.: Distributed Deadlock Detection. ACM Trans. On Computing Surveys 1(2) (May 1983)Google Scholar
- 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.Kshemkalyani, A.D.: Characterization and correctness of distributed deadlock detection and resolution, Ph.D dissertation, Ohio state Univ. (August 1991)Google Scholar