Title :
The anatomy of deadlock
Author :
Chrobot, Stanislaw
Author_Institution :
Dept. of Math. & Comput. Sci., Papua New Guinea Univ., Papua New Guinea
Abstract :
In most of the classical deadlock models, the blocking rules for message-passing processes in distributed memory are considered to be the same as those for shared-variable processes in shared memory. With this approach, many obvious deadlock situations are left outside the models. We show that a distributed system can be seen not only as a composition of processes communicating by message-passing but also as a composition of processes communicating by shared variables. We call this property communication dualism. We argue that the deadlock problem should not be stated and solved in the message-passing decomposition of a distributed system, but in its shared-variable decomposition. We conclude that the emerging theory of deadlock should be based on the communication dualism property.
Keywords :
concurrency control; message passing; operating systems (computers); blocking rules; communication dualism; deadlock anatomy; deadlock models; distributed memory; message-passing decomposition; message-passing processes; shared variables; shared-variable decomposition; shared-variable processes; Anatomy; Communication channels; Computer science; Debugging; Detection algorithms; Mathematical model; Mathematics; Message passing; Scalability; System recovery;
Conference_Titel :
Parallel Processing, 2001. International Conference on
Conference_Location :
Valencia, Spain
Print_ISBN :
0-7695-1257-7
DOI :
10.1109/ICPP.2001.952042