Read/Write based fast-path transformation for FCFS mutual exclusion

  • Authors:
  • Prasad Jayanti;Srdjan Petrovic;Neha Narula

  • Affiliations:
  • Department of Computer Science, Dartmouth College, Hanover, NH;Department of Computer Science, Dartmouth College, Hanover, NH;Google Inc., Mountain View, CA

  • Venue:
  • SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Lamport observed that in practical systems processes rarely compete for the entry into the Critical Section [1]. This led to research on fast mutual exclusion algorithms that, in the absence of contention, allow a process to enter and exit the Critical Section in O(1) steps. Anderson and Kim designed a general transformation that can turn any mutual exclusion algorithm $\mathcal{A}$ into a new algorithm $\mathcal{A'}$ that is fast [2]. Their transformation, however, does not preserve the fairness property FCFS. The main result of this paper is the design of a new transformation which works similarly as Anderson and Kim's, but additionally preserves FCFS. Our transformation, like theirs, requires only read/write registers.