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

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by J.R. Gonzalez de Mendivil Articles by A. Demaille Articles by J.B. Auban Articles by J.R. Garitagoitia

3rd Euromicro Workshop on Parallel and Distributed Processing

San Remo, Italy

January 25-January 27

ISBN: 0-8186-7031-2

	ASCII Text	x
	J.R. Gonzalez de Mendivil, A. Demaille, J.B. Auban, J.R. Garitagoitia, "Correctness of a distributed deadlock resolution algorithm for the single request model," Parallel, Distributed, and Network-Based Processing, Euromicro Conference on, pp. 254, 3rd Euromicro Workshop on Parallel and Distributed Processing, 1995.

	BibTex	x
	@article{ 10.1109/EMPDP.1995.389136, author = {J.R. Gonzalez de Mendivil and A. Demaille and J.B. Auban and J.R. Garitagoitia}, title = {Correctness of a distributed deadlock resolution algorithm for the single request model}, journal ={Parallel, Distributed, and Network-Based Processing, Euromicro Conference on}, volume = {0}, year = {1995}, issn = {1066-6192}, pages = {254}, doi = {http://doi.ieeecomputersociety.org/10.1109/EMPDP.1995.389136}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on TI - Correctness of a distributed deadlock resolution algorithm for the single request model SN - 1066-6192 SP EP A1 - J.R. Gonzalez de Mendivil, A1 - A. Demaille, A1 - J.B. Auban, A1 - J.R. Garitagoitia, PY - 1995 KW - 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 VL - 0 JA - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on ER -

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EMPDP.1995.389136

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.R. Gonzalez de Mendivil, A. Demaille, J.B. Auban, J.R. Garitagoitia, "Correctness of a distributed deadlock resolution algorithm for the single request model," pdp, pp.254, 3rd Euromicro Workshop on Parallel and Distributed Processing, 1995

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.