Title :
Liveness conditions for a safe distributed deadlock resolution algorithm
Author :
De Mendívil, J. R González ; Farina, F. ; Villadangos, J. ; Garitagoitia, J.R.
Author_Institution :
Dept. of Autom. Control, Electron. & Syst. Eng., Public Univ. of Navarra, Pamplona, Spain
Abstract :
Although the problem of deadlock detection and resolution in distributed systems has been studied in detail during the last years, it is still an open and difficult problem for all but the simplest models. One of the main difficulties in finding adequate solutions in the Multiple-Request model resides in the need to avoid false deadlock resolutions. In this paper we show a distributed solution with the Strong Safety Condition of “only true deadlocks must be detected/resolved”. The algorithm was proved to satisfy this safety condition and now we study the liveness conditions the algorithm supports
Keywords :
concurrency control; distributed algorithms; software fault tolerance; system recovery; liveness conditions; safe distributed deadlock resolution algorithm; strong safety condition; Algorithm design and analysis; Distributed computing; Mathematical model; Mathematics; Probes; Resource management; Safety; Scholarships; System recovery; Systems engineering and theory;
Conference_Titel :
Parallel and Distributed Processing, 1996. PDP '96. Proceedings of the Fourth Euromicro Workshop on
Conference_Location :
Braga
Print_ISBN :
0-8186-7376-1
DOI :
10.1109/EMPDP.1996.500580
