Correctness of a distributed deadlock resolution algorithm for the single request model

Author

De Mendívil, José Ramón Gonzalez ; Demaille, Akim ; Aubán, José Bernabeu ; Garitagoitia, José Ramón

Author_Institution

Dept. of Electr. & Electron., Univ. of the Basque Country, Bilbao, Spain

fYear

1995

fDate

25-27 Jan 1995

Firstpage

254

Lastpage

261

Abstract

We consider the problem of the distributed deadlock resolution. Starting from a high level specification of the problem and the resolution algorithm for a system with single request model, we provide successive levels of decreasing abstraction of the initial specification in order to achieve a solution in a complete distributed system. The successive refinements and the final distributed deadlock resolution algorithm are formally described and proved by using the Input/Output Automata Model

Keywords

automata theory; concurrency control; distributed algorithms; formal specification; operating systems (computers); Input/Output Automata Model; complete distributed system; distributed deadlock resolution algorithm; high level specification; initial specification; refinements; resolution algorithm; single request model; Algorithm design and analysis; Automata; Cleaning; Costs; Distributed algorithms; Information systems; Mathematics; Phase detection; Probes; System recovery;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel and Distributed Processing, 1995. Proceedings. Euromicro Workshop on

Conference_Location

San Remo

Print_ISBN

0-8186-7031-2

Type

conf

DOI

10.1109/EMPDP.1995.389136

Filename

389136