Analyzing the Performance of Lock-Free Data Structures: A Conflict-based Model - DIStributed Computing 2015
Conference Papers Year : 2015

Analyzing the Performance of Lock-Free Data Structures: A Conflict-based Model

Abstract

This paper considers the modeling and the analysis of the performance of lock-free concurrent data structures that can be represented as linear combinations of fixed size retry loops. Our main contribution is a new way of modeling and analyzing a general class of lock-free algorithms, achieving predictions of throughput that are close to what we observe in practice. We emphasize two kinds of conflicts that shape the performance: (i) hardware conflicts, due to concurrent calls to atomic primitives; (ii) logical conflicts, caused by concurrent operations on the shared data structure. We propose also a common framework that enables a fair comparison between lock-free implementations by covering the whole contention do- main, and comes with a method for calculating a good back-off strategy. Our experimental results, based on a set of widely used concurrent data structures and on abstract lock-free designs, show that our analysis follows closely the actual code behavior.
Fichier principal
Vignette du fichier
29.pdf (528.96 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01206582 , version 1 (29-09-2015)

Identifiers

Cite

Aras Atalar, Paul Renaud-Goud, Philippas Tsigas. Analyzing the Performance of Lock-Free Data Structures: A Conflict-based Model . DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_23⟩. ⟨hal-01206582⟩

Collections

DISC2015
98 View
365 Download

Altmetric

Share

More