Competitive freshness algorithms for wait-free data objects

  • Authors:

  • Peter Damaschke;Phuong Hoai Ha;Philippas Tsigas

  • Affiliations:

  • Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden;Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden;Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden

  • Venue:
  • Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Wait-free concurrent data objects are widely used in multiprocessor systems and real-time systems. Their popularity results from the fact that they avoid locking and that concurrent operations on such data objects are guaranteed to finish in a bounded number of steps regardless of the other operations interference. The data objects allow high access parallelism and guarantee correctness of the concurrent access with respect to its semantics. In such a highly-concurrent environment, where many wait-free write-operations updating the object state can overlap a single read-operation, the age/freshness of the state returned by this read-operation is a significant measure of the object quality, especially for real-time systems. In this paper, we first propose a freshness measure for wait-free concurrent data objects. Subsequently, we model the freshness problem as an online problem and present two algorithms for it. The first one is a deterministic algorithm with asymptotically optimal competitive ratio $\sqrt{\alpha}$, where α is a function of the execution-time upper-bound of wait-free operations. The second one is a competitive randomized algorithm with competitive ratio $\frac{\ln \alpha}{1 + \ln 2 -- \frac{2}{\sqrt{\alpha}}}$.