A Quorum-Based Extended Group Mutual Exclusion Algorithm without Unnecessary Blocking

  • Authors:
  • Yoshifumi Manabe;JaeHyrk Park

  • Affiliations:
  • Nippon Telegraph and Telephone Corporation, Japan;IRIS, Information and Communications University, Korea

  • Venue:
  • ICPADS '04 Proceedings of the Parallel and Distributed Systems, Tenth International Conference
  • Year:
  • 2004

Quantified Score

Hi-index 0.02

Visualization

Abstract

This paper presents a quorum-based distributed algorithmfor the extended group mutual exclusion problem. Inthe group mutual exclusion problem, multiple processes canenter a critical section simultaneously if they belong to thesame group. Processes in different groups cannot enter acritical section at the same time. In the extended group mutualexclusion, each process is a member of multiple groupsat the same time. Each process can select which group itbelongs at making a request. The algorithm for the groupmutual exclusion cannot be applied for this extended problem,since there can be a case that two processes are preventedfrom entering a critical section simultaneously evenwhen they are capable of doing so. We call the above situationunnecessary blocking. We present a quorum-basedalgorithm that prevents unnecessary blocking and show itscorrectness proof.