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

fYear

1992

fDate

4-8 May 1992

Firstpage

497

Lastpage

502

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;

fLanguage

English

Publisher

ieee

Conference_Titel

CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.

Conference_Location

The Hague, Netherlands

Print_ISBN

0-8186-2760-3

Type

conf

DOI

10.1109/CMPEUR.1992.218433

Filename

218433