|
|
|
@inproceedings{DBLP:conf/adbis/Brzezinski97,
author = {Jerzy Brzezinski},
title = {On Time Complexity of Distributed Algorithms for Generalized
Deadlock Detection},
booktitle = {Proceedings of the First East-European Symposium on Advances
in Databases and Information Systems (ADBIS'97), St.-Petersburg,
September 2-5, 1997. Volume 1: Regular Papers},
publisher = {Nevsky Dialect},
year = {1997},
pages = {47-55},
ee = {db/conf/adbis/Brzezinski97.html},
crossref = {DBLP:conf/adbis/97},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Deadlock detection in distributed asynchronous systems - such as distributed database systems, computer networks, massively parallel systems etc. - is peculiarly subtle and complex. This is because asynchronous systems are characterized by the lack of global memory and a common physical clock, as well as by the absence of known bounds on relative processor speeds and transmission delays. These difficulties imply also problems with performance analysis of distributed algorithms for deadlock detection.
This paper deals with worst-case one-time complexity analysis of two well known distributed algorithms for generalized deadlock detection. The time complexity is expressed as a function of the diameter d and the longest path l of the wait-for-graph (WFG) characterizing a state of distributed system. First, the algorithm proposed by Bracha and Toueg is considered. It is shown that its time complexity is of 2d + 2l. Then, we prove that the time complexity of Kshemkalyani and Singhal algorithm is of (d + 1) + l.
Copyright © 1997 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.
