Specification and constant RMR algorithm for phase-fair reader-writer lock

  • Authors:
  • Vibhor Bhatt;Prasad Jayanti

  • Affiliations:
  • Department of Computer Science, Dartmouth College, NH;Department of Computer Science, Dartmouth College, NH

  • Venue:
  • ICDCN'11 Proceedings of the 12th international conference on Distributed computing and networking
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Brandenburg and Anderson recently introduced a phase-fair readers/ writers lock, where read and write phases alternate: when the writer leaves the CS, any waiting reader will enter the CS before the next writer enters the CS; similarly, if a reader is in the CS and a writer is waiting, any new reader that now enters the Try section will not enter the CS before some writer enters the CS. Thus, neither class of processes-readers or writer-has priority over the others, and no process starves. Brandenburg and Anderson informally specify a phase fair lock and present an algorithm to implement it with O(n) remote memory reference complexity (RMR), where n is the number of processes in the system. In this work we give a rigorous specification of a phase fair lock and present an algorithm that implements it with O(1) RMR complexity.