By Topic

The anatomy of deadlock

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
1 Author(s)
S. Chrobot ; Dept. of Math. & Comput. Sci., Papua New Guinea Univ., Papua New Guinea

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.

Published in:

Parallel Processing, 2001. International Conference on

Date of Conference:

3-7 Sept. 2001