Sciweavers

FASE
2007
Springer

A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces

13 years 7 months ago
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces
Abstract. We study resource management in distributed systems. Incorrect handling of resources may lead to deadlocks, missed deadlines, priority inversions, and other forms of incorrect behavior or degraded performance. While in centralized systems deadlock avoidance is commonly used to ensure correct and efficient resource allocation, distributed deadlock avoidance is harder, and general solutions are considered impractical due to the high communication overhead. However, solutions that use only operations on local data exist if some static information about the possible sequences of remote invocations is known. We present a family of efficient distributed deadlock avoidance algorithms that subsumes previously known solutions as special instances. Even though different protocols within the family allow different levels of concurrency and consequently fewer or more executions, we prove that they all have the same set of reachable states, expressed by a global invariant. This result ena...
César Sánchez, Henny B. Sipma, Zohar
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2007
Where FASE
Authors César Sánchez, Henny B. Sipma, Zohar Manna
Comments (0)