FlexGuard: Fast Mutual Exclusion Independent of Subscription

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: FlexGuard: Fast Mutual Exclusion Independent of Subscription
Συγγραφείς: Laforet, Victor, Kashyap, Sanidhya, Iorgulescu, Călin, Lawall, Julia, Lozi, Jean-Pierre
Συνεισφορές: Laforet, Victor
Στοιχεία εκδότη: 2025.
Έτος έκδοσης: 2025
Θεματικοί όροι: CPU oversubscription, [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], scheduling, locks, eBPF
Περιγραφή: Performance-oriented applications require efficient locks to harness the computing power of multicore architectures. While fast, spinlock algorithms suffer severe performance degradation when thread counts exceed available hardware capacity, i.e., in oversubscribed scenarios. Existing solutions rely on imprecise heuristics for blocking, leading to suboptimal performance. We present FlexGuard, the first approach that systematically switches from busy-waiting to blocking precisely when a lock-holding thread is preempted. Flex-Guard achieves this by communicating with the OS scheduler via eBPF, unlike prior approaches. FlexGuard matches or improves performance in LevelDB, a memory-optimized database index, PARSEC's Dedup, and SPLASH2X's Raytrace and Streamcluster, boosting throughput by 1-6× in nonoversubscribed and up to 5× in oversubscribed scenarios.
Τύπος εγγράφου: Conference object
Περιγραφή αρχείου: application/pdf
Γλώσσα: English
DOI: 10.1145/3731569.3764852
Σύνδεσμος πρόσβασης: https://hal.science/hal-05241781v2/document
https://doi.org/10.1145/3731569.3764852
https://hal.science/hal-05241781v2
https://hal.science/hal-05241781v1/document
https://doi.org/10.1145/3731569.3764852
https://hal.science/hal-05241781v1
Rights: CC BY
Αριθμός Καταχώρησης: edsair.dedup.wf.002..6f5faa7102fc40d3e41d62e39e48c8c1
Βάση Δεδομένων: OpenAIRE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://explore.openaire.eu/search/publication?articleId=dedup_wf_002%3A%3A6f5faa7102fc40d3e41d62e39e48c8c1
    Name: EDS - OpenAIRE (ns324271)
    Category: fullText
    Text: View record at OpenAIRE
Header DbId: edsair
DbLabel: OpenAIRE
An: edsair.dedup.wf.002..6f5faa7102fc40d3e41d62e39e48c8c1
RelevancyScore: 980
AccessLevel: 3
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 979.736328125
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: FlexGuard: Fast Mutual Exclusion Independent of Subscription
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Laforet%2C+Victor%22">Laforet, Victor</searchLink><br /><searchLink fieldCode="AR" term="%22Kashyap%2C+Sanidhya%22">Kashyap, Sanidhya</searchLink><br /><searchLink fieldCode="AR" term="%22Iorgulescu%2C+Călin%22">Iorgulescu, Călin</searchLink><br /><searchLink fieldCode="AR" term="%22Lawall%2C+Julia%22">Lawall, Julia</searchLink><br /><searchLink fieldCode="AR" term="%22Lozi%2C+Jean-Pierre%22">Lozi, Jean-Pierre</searchLink>
– Name: Author
  Label: Contributors
  Group: Au
  Data: Laforet, Victor
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: 2025.
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2025
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22CPU+oversubscription%22">CPU oversubscription</searchLink><br /><searchLink fieldCode="DE" term="%22[INFO%2EINFO-OS]+Computer+Science+[cs]%2FOperating+Systems+[cs%2EOS]%22">[INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS]</searchLink><br /><searchLink fieldCode="DE" term="%22scheduling%22">scheduling</searchLink><br /><searchLink fieldCode="DE" term="%22locks%22">locks</searchLink><br /><searchLink fieldCode="DE" term="%22eBPF%22">eBPF</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Performance-oriented applications require efficient locks to harness the computing power of multicore architectures. While fast, spinlock algorithms suffer severe performance degradation when thread counts exceed available hardware capacity, i.e., in oversubscribed scenarios. Existing solutions rely on imprecise heuristics for blocking, leading to suboptimal performance. We present FlexGuard, the first approach that systematically switches from busy-waiting to blocking precisely when a lock-holding thread is preempted. Flex-Guard achieves this by communicating with the OS scheduler via eBPF, unlike prior approaches. FlexGuard matches or improves performance in LevelDB, a memory-optimized database index, PARSEC's Dedup, and SPLASH2X's Raytrace and Streamcluster, boosting throughput by 1-6× in nonoversubscribed and up to 5× in oversubscribed scenarios.
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: Conference object
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: application/pdf
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: DOI
  Label: DOI
  Group: ID
  Data: 10.1145/3731569.3764852
– Name: URL
  Label: Access URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="https://hal.science/hal-05241781v2/document" linkWindow="_blank">https://hal.science/hal-05241781v2/document</link><br /><link linkTarget="URL" linkTerm="https://doi.org/10.1145/3731569.3764852" linkWindow="_blank">https://doi.org/10.1145/3731569.3764852</link><br /><link linkTarget="URL" linkTerm="https://hal.science/hal-05241781v2" linkWindow="_blank">https://hal.science/hal-05241781v2</link><br /><link linkTarget="URL" linkTerm="https://hal.science/hal-05241781v1/document" linkWindow="_blank">https://hal.science/hal-05241781v1/document</link><br /><link linkTarget="URL" linkTerm="https://doi.org/10.1145/3731569.3764852" linkWindow="_blank">https://doi.org/10.1145/3731569.3764852</link><br /><link linkTarget="URL" linkTerm="https://hal.science/hal-05241781v1" linkWindow="_blank">https://hal.science/hal-05241781v1</link>
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: CC BY
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsair.dedup.wf.002..6f5faa7102fc40d3e41d62e39e48c8c1
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsair&AN=edsair.dedup.wf.002..6f5faa7102fc40d3e41d62e39e48c8c1
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1145/3731569.3764852
    Languages:
      – Text: English
    Subjects:
      – SubjectFull: CPU oversubscription
        Type: general
      – SubjectFull: [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS]
        Type: general
      – SubjectFull: scheduling
        Type: general
      – SubjectFull: locks
        Type: general
      – SubjectFull: eBPF
        Type: general
    Titles:
      – TitleFull: FlexGuard: Fast Mutual Exclusion Independent of Subscription
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Laforet, Victor
      – PersonEntity:
          Name:
            NameFull: Kashyap, Sanidhya
      – PersonEntity:
          Name:
            NameFull: Iorgulescu, Călin
      – PersonEntity:
          Name:
            NameFull: Lawall, Julia
      – PersonEntity:
          Name:
            NameFull: Lozi, Jean-Pierre
      – PersonEntity:
          Name:
            NameFull: Laforet, Victor
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2025
          Identifiers:
            – Type: issn-locals
              Value: edsair
            – Type: issn-locals
              Value: edsairFT
ResultId 1