Cart (Loading....) | Create Account
Close category search window

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)
Chrobot, S. ; 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

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.