Title :
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
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;
Conference_Titel :
Parallel and Distributed Processing, 1995. Proceedings. Euromicro Workshop on
Conference_Location :
San Remo
Print_ISBN :
0-8186-7031-2
DOI :
10.1109/EMPDP.1995.389136
