The Community for Technology Leaders
3rd Euromicro Workshop on Parallel and Distributed Processing (1995)
San Remo, Italy
Jan. 25, 1995 to Jan. 27, 1995
ISSN: 1066-6192
ISBN: 0-8186-7031-2
pp: 254
J.R. Gonzalez de Mendivil , Dept. of Electr. & Electron., Univ. of the Basque Country, Bilbao, Spain
A. Demaille , Dept. of Electr. & Electron., Univ. of the Basque Country, Bilbao, Spain
J.B. Auban , Dept. of Electr. & Electron., Univ. of the Basque Country, Bilbao, Spain
J.R. Garitagoitia , 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.
INDEX TERMS
distributed algorithms; concurrency control; operating systems (computers); formal specification; automata theory; distributed deadlock resolution algorithm; single request model; high level specification; resolution algorithm; initial specification; complete distributed system; refinements; Input/Output Automata Model
CITATION

J. Auban, A. Demaille, J. Garitagoitia and J. Gonzalez de Mendivil, "Correctness of a distributed deadlock resolution algorithm for the single request model," 3rd Euromicro Workshop on Parallel and Distributed Processing(PDP), San Remo, Italy, 1995, pp. 254.
doi:10.1109/EMPDP.1995.389136
88 ms
(Ver 3.3 (11022016))