loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
5th IEEE Workshop on Future Trends of Distributed Computing Systems
Deadlocks in Distributed Systems: Request Models and Definitions
Chenju, Korea
August 28-August 30
ISBN: 0-8186-7125-4
ASCII Text
x 
 
Jerzy Brzezinski, Jean-Michel Helary, Michel Raynal, "Deadlocks in Distributed Systems: Request Models and Definitions," Future Trends of Distributed Computing Systems, IEEE International Workshop, pp. 0186, 5th IEEE Workshop on Future Trends of Distributed Computing Systems, 1995.
 
 
BibTex
x
 
@article{ 10.1109/FTDCS.1995.524984,
author = {Jerzy Brzezinski and Jean-Michel Helary and Michel Raynal},
title = {Deadlocks in Distributed Systems: Request Models and Definitions},
journal ={Future Trends of Distributed Computing Systems, IEEE International Workshop},
volume = {0},
year = {1995},
isbn = {0-8186-7125-4},
pages = {0186},
doi = {http://doi.ieeecomputersociety.org/10.1109/FTDCS.1995.524984},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Future Trends of Distributed Computing Systems, IEEE International Workshop
TI - Deadlocks in Distributed Systems: Request Models and Definitions
SN - 0-8186-7125-4
SP
EP
A1 - Jerzy Brzezinski,
A1 - Jean-Michel Helary,
A1 - Michel Raynal,
PY - 1995
KW - Deadlock models
KW - distributed algorithms
KW - distributed deadlock detection
KW - message communication systems
VL - 0
JA - Future Trends of Distributed Computing Systems, IEEE International Workshop
ER -
 
Jerzy Brzezinski, Poznan University of Technology
The paper addresses the problem of deadlock detection in asynchronous systems for system model that covers unspecified receptions and non-FIFO channels. It presents a hierarchy of deadlock models considered till now, and then abstracts away their differences to define a single, general deadlock model. This model is used to introduce abstract formulation of basic deasdlock detection problems, and to specify distributed algorithm which uniformly addresses deadlock detection problem for various request models. Finally, in this context, termination detection problem is also considered.
Index Terms:
Deadlock models, distributed algorithms, distributed deadlock detection, message communication systems
Citation:
Jerzy Brzezinski, Jean-Michel Helary, Michel Raynal, "Deadlocks in Distributed Systems: Request Models and Definitions," ftdcs, pp.0186, 5th IEEE Workshop on Future Trends of Distributed Computing Systems, 1995
Usage of this product signifies your acceptance of the Terms of Use.