Deadlock-Free distributed relaxed mutual-exclusion without revoke-messages

  • Authors:
  • Sukhamay Kundu

  • Affiliations:
  • Computer Science Dept, Louisiana State University, Baton Rouge, LA

  • Venue:
  • IWDC'05 Proceedings of the 7th international conference on Distributed Computing
  • Year:
  • 2005

Quantified Score

Hi-index 0.01

Visualization

Abstract

The revoke mechanism in generalized relaxed distributed mutual exclusion algorithm GRME [1] for eliminating a potential deadlock can cause extensive unnecessary revoke actions by the nodes which fail to receive the required granted-replies to their resource requests within a certain predefined time limit. It may happen that there is actually no deadlock present or that only a few nodes need to revoke some of their resource requests to eliminate the deadlock. We show that if the interference graph G is triangle-free (no three nodes are mutually adjacent), then we can choose the request-sets Ri in GRME in such a way that deadlocks are prevented altogether and there is no need to use revoke-messages, while keeping the resource-use decisions fully distributed and allowing non-interfering nodes to use the resource simultaneously.