loading...
An Agent-Based Deadlock Detection/Resolution Algorithm for the AND Model
Dalian, China December 05-December 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PDCAT.2005.68Sixth International Conference on Par ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Xin Cheng, Harbin Institute of Technology, China
Xiaozong Yang, Harbin Institute of Technology, China
Feng Jin, Lenovo Corporate Research and Development, China
Previous edge-chasing Deadlock Detection algorithms for Distributed Data Base systems (DDBS) have the n steps time limitation to detect a deadlock cycle of size n in the wait-for graph (WFG). This paper proposes an agent based edge-chasing algorithm to speed up the detection process. The blocked nodes in our algorithm know their predecessors and successors simultaneously, enables they find the cycle of size 2 locally and the cycle of size n in n-2 (n\ge2) steps. The detection agents are assigned the originator?s priority to decrease the detection overhead, and they are forwarded or discarded momentarily to avoid the false detection. Our algorithm is built on an AND model, a retreat-inform scheme is adopted to deal with the cycle overlap problem. The correctness of the algorithm is formally proven by the invariant verification technique.
Citation:
Xin Cheng, Xiaozong Yang, Feng Jin, "An Agent-Based Deadlock Detection/Resolution Algorithm for the AND Model," pdcat, pp.759-761, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions