The Complexity of Obstruction-Free Implementations

• Accepted in: Journal of the ACM
• Publication date: 2009

Obstruction-free implementations of concurrent ob jects are optimized for the common case where there is no step contention, and were recently advocated as a solution to the costs associated with synchronization without locks. In this paper, we study this claim and this goes through precisely defining the notions of obstruction-freedom and step contention. We consider several classes of obstruction-free implementations, present corresponding generic ob ject implementations, and prove lower bounds on their complexity. Viewed collectively, our results establish that the worst- case operation time complexity of obstruction-free implementations is high, of step contention. We also show that lock-based implementations are not sub ject to some of the time-complexity lower bounds we present.

Keywords: shared memory ; solo-fast implementations ; perturbable objects ; step contention ; memory contention ; lower bounds

Reference

• LPD-ARTICLE-2009-002
• doi:10.1145/1538902.1538908
• View record in Web of Science

Record created on 2009-05-19, modified on 2012-03-21