Title :
A simple distributed deadlock detection algorithm
Author :
De Mendívil, José R González ; Garitagoitia, José R. ; Córdoba, Alberto
Author_Institution :
Univ. of The Basque Country, Bilbao, Spain
Abstract :
The authors introduce a simple and basic distributed deadlock detection and resolution algorithm for the one-resource model of a distributed database system. The distribution database model upon which the algorithm is based is the model introduced by D.A. Menasce and R.R. Muntz (1979). The main contribution is the use of automata theory for modeling the formal specification of the algorithm. This mathematical model allows the development of an elegant and short proof of correctness. The algorithm reports all true deadlocks and generates a unique candidate for resolving the deadlock.<>
Keywords :
automata theory; concurrency control; distributed databases; formal specification; operating systems (computers); automata theory; deadlock resolution algorithm; distributed database; distributed deadlock detection algorithm; formal specification; mathematical model; Automata; Database systems; Detection algorithms; Distributed computing; Distributed databases; Formal specifications; Mathematical model; Performance analysis; System recovery; Transaction databases;
Conference_Titel :
CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.
Conference_Location :
The Hague, Netherlands
Print_ISBN :
0-8186-2760-3
DOI :
10.1109/CMPEUR.1992.218433
