References & Citations
Computer Science > Distributed, Parallel, and Cluster Computing
Title: A Concurrency-Optimal List-Based Set
(Submitted on 5 Feb 2015 (v1), last revised 14 Jan 2021 (this version, v3))
Abstract: Designing an efficient concurrent data structure is an important challenge that is not easy to meet. Intuitively, efficiency of an implementation is defined, in the first place, by its ability to process applied operations in parallel, without using unnecessary synchronization. As we show in this paper, even for a data structure as simple as a linked list used to implement the set type, the most efficient algorithms known so far are not concurrency-optimal: they may reject correct concurrent schedules.
We propose a new algorithm for the list-based set based on a value-aware try-lock that we show to achieve optimal concurrency: it only rejects concurrent schedules that violate correctness of the implemented set type. We show empirically that reaching optimality does not induce a significant overhead. In fact, our implementation of the concurrency-optimal algorithm outperforms both the Lazy Linked List and the Harris-Michael state-of-the-art algorithms.
Submission history
From: Petr Kuznetsov [view email][v1] Thu, 5 Feb 2015 16:41:18 GMT (334kb,D)
[v2] Mon, 2 Mar 2020 02:13:40 GMT (495kb,D)
[v3] Thu, 14 Jan 2021 10:43:58 GMT (1292kb,D)
Link back to: arXiv, form interface, contact.