Analyzing the Performance of Lock-Free Data Structures: A Conflict-based Model - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

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

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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 Consultations
365 Téléchargements

Altmetric

Partager

More