eBPF Hybrid Lock: Scalable Spin-based User-Space Locking (Poster) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Poster Année : 2023

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

Résumé

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

Dates et versions

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

Licence

Paternité

Identifiants

  • HAL Id : hal-04262326 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More