An improved lower bound for the time complexity of mutual exclusion

  • Authors:
  • James H. Anderson;Yong-Jik Kim

  • Affiliations:
  • Department of Computer Science, University of North Carolina at Chapel Hill, 27599-3175 Chapel Hill, NC;Department of Computer Science, University of North Carolina at Chapel Hill, 27599-3175 Chapel Hill, NC

  • Venue:
  • Distributed Computing - Special issue: Selected papers from PODC '01
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

We establish a lower bound of Ω(log N/ log log N) remote memory references for N-process mutual exclusion algorithms based on reads, writes, or comparison primitives such as test-and-set and compare-and-swap. Our bound improves an earlier lower bound of Ω(log log N/ log log log N) established by Cypher. Our lower bound is of importance for two reasons First, it almost matches the Θ(log N) time complexity of the best known algorithms based on reads, writes, or comparison primitives. Second, our lower bound suggests that it is likely that, from an asymptotic standpoint, comparison primitives are no better than reads and writes when implementing local-spin mutual exclusion algorithms. Thus. comparison primitives may not be the best choice to provide in hardware if one is interested in scalable synchronization.