The Community for Technology Leaders
Reliable Distributed Systems, IEEE Symposium on (1999)
Lausanne, Switzerland
Oct. 18, 1999 to Oct. 21, 1999
ISSN: 1060-9857
ISBN: 0-7695-0290-3
pp: 288
J. Villadangos , University P?blica de Navarra
F. Fariña , University P?blica de Navarra
J.R. González de Mendívil , University P?blica de Navarra
J.R. Garitagoitia , University P?blica de Navarra
J. Bernabéu-Aubán , University Polit?cnica de Valencia
G. Vossen , Wilhems-University M?nster
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.
INDEX TERMS
CITATION

F. Fariña, J. Garitagoitia, J. Bernabéu-Aubán, J. González de Mendívil, J. Villadangos and G. Vossen, "Resolving Distributed Deadlocks in the OR Request Model," Reliable Distributed Systems, IEEE Symposium on(SRDS), Lausanne, Switzerland, 1999, pp. 288.
doi:10.1109/RELDIS.1999.805104
93 ms
(Ver 3.3 (11022016))