Title :
Resolving distributed deadlocks in the OR request model
Author :
Villadangos, J. ; Farina, F. ; Gonzalez de Mendivil, J.R. ; Garitagoitia, J.R. ; Bernabeu-Aubán, J. ; Vossen, G.
Author_Institution :
Univ. Publica de Navarra, Pamplona, Spain
Abstract :
In this work a new distributed deadlock resolution algorithm for the OR model is proposed. The algorithm verifies the correctness criteria: safety-false deadlocks are not resolved; and liveness-deadlocks are resolved in finite time
Keywords :
concurrency control; software fault tolerance; system recovery; OR request model; correctness criteria verification; distributed deadlock resolution algorithm; false deadlocks; liveness; safety; Detection algorithms; Proposals; Safety; System performance; System recovery;
Conference_Titel :
Reliable Distributed Systems, 1999. Proceedings of the 18th IEEE Symposium on
Conference_Location :
Lausanne
Print_ISBN :
0-7695-0290-3
DOI :
10.1109/RELDIS.1999.805104
