eBPF Hybrid Lock: Scalable Spin-based User-Space Locking (Poster) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Poster Communications Year : 2023

eBPF Hybrid Lock: Scalable Spin-based User-Space Locking (Poster)

Abstract

Multi-core processors have long been available, yet harnessing their full computing potential remains a challenge due to synchronization issues that impact performance. This work addresses the dilemma of choosing between spin locks, known for their responsiveness but prone to collapse in over-subscribed systems, and blocking locks, which are stable but less reactive. We introduce the BPF Hybrid Lock, a novel synchronization technique that dynamically transitions between spin locks and blocking locks based on system subscription. eBPF is used to detect lock holder preemptions. Our contributions include algorithms for seamless lock transitions, enhanced condition variable reactivity, and detection of the optimal time to switch from a spin lock to a blocking lock. We provide an implementation of the BPF Hybrid Lock using MCS and Linux Futex locks, showcasing performance improvements in under-subscribed systems, such as LevelDB, where write operation times decreased from 282 to 102µs and read times from 40 to 25µs.
Fichier principal
Vignette du fichier
SOSP2023Poster.pdf (4.82 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04262326 , version 1 (27-10-2023)

Licence

Identifiers

  • HAL Id : hal-04262326 , version 1

Cite

Victor Laforet, Jean-Pierre Lozi, Julia Lawall. eBPF Hybrid Lock: Scalable Spin-based User-Space Locking (Poster). SOSP 2023 - The 29th ACM Symposium on Operating Systems Principles, Oct 2023, Koblenz, Germany. ⟨hal-04262326⟩

Collections

INRIA INRIA2
87 View
128 Download

Share

Gmail Mastodon Facebook X LinkedIn More