Contention-sensitive data structures and algorithms

A contention-sensitive data structure is a concurrent data structure in which the overhead introduced by locking is eliminated in common cases, when there is no contention, or when processes with non-interfering operations access it concurrently. When a process invokes an operation on a contention-s...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science Jg. 677; S. 41 - 55
1. Verfasser: Taubenfeld, Gadi
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 16.05.2017
Schlagworte:
Contention-sensitive
Disable-free
Interference
k-obstruction-free
Livelock
Locks
Prevention-free
Shortcut code
Starvation
Synchronization
Wait-free
Shortcut code
Disable-free
Livelock
Starvation
Interference
k-obstruction-free
Locks
Wait-free
Prevention-free
Synchronization
Contention-sensitive
ISSN:0304-3975, 1879-2294
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A contention-sensitive data structure is a concurrent data structure in which the overhead introduced by locking is eliminated in common cases, when there is no contention, or when processes with non-interfering operations access it concurrently. When a process invokes an operation on a contention-sensitive data structure, in the absence of contention or interference, the process must be able to complete its operation in a small number of steps and without using locks. Using locks is permitted only when there is interference. We formally define the notion of contention-sensitive data structures, propose four general transformations that facilitate devising such data structures, and illustrate the benefits of the approach by implementing a contention-sensitive consensus algorithm, a contention-sensitive double-ended queue data structure, and a contention-sensitive election algorithm.
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2017.03.017