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
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;
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
DOI :
10.1109/ICAPP.1995.472201
