DocumentCode
293682
Title
A general definition of deadlocks for distributed systems
Author
Brzezinski, Jerzy ; Helary, Jean-Michel ; Raynal, Michel
Author_Institution
Inst. of Comput. Sci., Poznan Univ. of Technol., Poland
Volume
1
fYear
1995
fDate
19-21 Apr 1995
Firstpage
324
Abstract
This paper is about the definition of deadlocks in asynchronous messages communication systems. The considered system model covers unspecified receptions, not FIFO channels, and general resource (message) requests including, among others, AND, OR, AND-OR and k-out-of-n requests
Keywords
concurrency control; distributed processing; operating systems (computers); asynchronous messages communication systems; deadlocks; distributed systems; general resource requests; Abstracts; Broadcasting; Communication channels; Distributed algorithms; Distributed control; Message passing; Nominations and elections; Power system modeling; Query processing; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
Algorithms and Architectures for Parallel Processing, 1995. ICAPP 95. IEEE First ICA/sup 3/PP., IEEE First International Conference on
Conference_Location
Brisbane, Qld.
Print_ISBN
0-7803-2018-2
Type
conf
DOI
10.1109/ICAPP.1995.472201
Filename
472201
Link To Document