<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-05241781v2</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-15T13:05:28+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">FlexGuard: Fast Mutual Exclusion Independent of Subscription</title>
            <author role="aut">
              <persName>
                <forename type="first">Victor</forename>
                <surname>Laforet</surname>
              </persName>
              <email type="md5">ed82aa726997b7f8a032df147263f851</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="numeric">1300738</idno>
              <idno type="halauthorid" notation="string">2935250-1300738</idno>
              <affiliation ref="#struct-1149341"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Sanidhya</forename>
                <surname>Kashyap</surname>
              </persName>
              <idno type="halauthorid">3755944-0</idno>
              <affiliation ref="#struct-302851"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Călin</forename>
                <surname>Iorgulescu</surname>
              </persName>
              <idno type="halauthorid">2222510-0</idno>
              <affiliation ref="#struct-1062402"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Julia</forename>
                <surname>Lawall</surname>
              </persName>
              <email type="md5">502479502f61be94d127add9638e80d4</email>
              <email type="domain">diku.dk</email>
              <idno type="idhal" notation="numeric">1076574</idno>
              <idno type="halauthorid" notation="string">249652-1076574</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1684-1264</idno>
              <idno type="IDREF">https://www.idref.fr/184044707</idno>
              <affiliation ref="#struct-1149341"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Pierre</forename>
                <surname>Lozi</surname>
              </persName>
              <idno type="halauthorid">13573-0</idno>
              <affiliation ref="#struct-1149341"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Victor</forename>
                <surname>Laforet</surname>
              </persName>
              <email type="md5">ed82aa726997b7f8a032df147263f851</email>
              <email type="domain">inria.fr</email>
            </editor>
            <funder ref="#projanr-109997"/>
            <funder>This work was partially supported by Agence Nationale de la Recherche convention ANR-23-PECL-0004 (PEPR Cloud, DiVa project), Inria’s Défi OS, and Swiss National Science Foundation project grant #212884</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2025-09-26 14:27:31</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2025-10-16 04:15:39</date>
              <date type="whenModified">2025-10-27 09:44:05</date>
              <date type="whenReleased">2025-10-17 09:44:00</date>
              <date type="whenProduced">2025-10-13</date>
              <date type="whenEndEmbargoed">2025-10-16</date>
              <ref type="file" target="https://hal.science/hal-05241781v2/document">
                <date notBefore="2025-10-16"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://hal.science/hal-05241781v2/file/flexguard-sosp25.pdf" id="file-5316937-4554218">
                <date notBefore="2025-10-16"/>
              </ref>
              <ref type="annex" n="0" target="https://hal.science/hal-05241781v2/file/archive.tar.gz" id="file-5316937-4554219">
                <date notBefore="2025-10-16"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="1468752">
                <persName>
                  <forename>Victor</forename>
                  <surname>Laforet</surname>
                </persName>
                <email type="md5">ed82aa726997b7f8a032df147263f851</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05241781</idno>
            <idno type="halUri">https://hal.science/hal-05241781</idno>
            <idno type="halBibtex">laforet:hal-05241781</idno>
            <idno type="halRefHtml">&lt;i&gt;SOSP 2025 - The 31st Symposium on Operating Systems Principles&lt;/i&gt;, ACM sigops; ACM, Oct 2025, Seoul, South Korea. &lt;a target="_blank" href="https://dx.doi.org/10.1145/3731569.3764852"&gt;&amp;#x27E8;10.1145/3731569.3764852&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">SOSP 2025 - The 31st Symposium on Operating Systems Principles, ACM sigops; ACM, Oct 2025, Seoul, South Korea. &amp;#x27E8;10.1145/3731569.3764852&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-5316937-4554218"/><ref corresp="#file-5316937-4554219"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="INRIA-EPFL">Inria EPFL</idno>
            <idno type="stamp" n="ANR">ANR</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">FlexGuard: Fast Mutual Exclusion Independent of Subscription</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Victor</forename>
                    <surname>Laforet</surname>
                  </persName>
                  <email type="md5">ed82aa726997b7f8a032df147263f851</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="numeric">1300738</idno>
                  <idno type="halauthorid" notation="string">2935250-1300738</idno>
                  <affiliation ref="#struct-1149341"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Sanidhya</forename>
                    <surname>Kashyap</surname>
                  </persName>
                  <idno type="halauthorid">3755944-0</idno>
                  <affiliation ref="#struct-302851"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Călin</forename>
                    <surname>Iorgulescu</surname>
                  </persName>
                  <idno type="halauthorid">2222510-0</idno>
                  <affiliation ref="#struct-1062402"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Julia</forename>
                    <surname>Lawall</surname>
                  </persName>
                  <email type="md5">502479502f61be94d127add9638e80d4</email>
                  <email type="domain">diku.dk</email>
                  <idno type="idhal" notation="numeric">1076574</idno>
                  <idno type="halauthorid" notation="string">249652-1076574</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1684-1264</idno>
                  <idno type="IDREF">https://www.idref.fr/184044707</idno>
                  <affiliation ref="#struct-1149341"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Pierre</forename>
                    <surname>Lozi</surname>
                  </persName>
                  <idno type="halauthorid">13573-0</idno>
                  <affiliation ref="#struct-1149341"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>SOSP 2025 - The 31st Symposium on Operating Systems Principles</title>
                  <date type="start">2025-10-13</date>
                  <date type="end">2025-10-16</date>
                  <settlement>Seoul</settlement>
                  <country key="KR">South Korea</country>
                </meeting>
                <respStmt>
                  <resp>conferenceOrganizer</resp>
                  <name>ACM sigops</name>
                  <name>ACM</name>
                </respStmt>
                <imprint>
                  <date type="datePub">2025</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/3731569.3764852</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">CPU oversubscription</term>
                <term xml:lang="en">scheduling</term>
                <term xml:lang="en">eBPF</term>
                <term xml:lang="en">locks</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-os">Computer Science [cs]/Operating Systems [cs.OS]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>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.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1149341" status="VALID">
          <idno type="RNSR">201421141Y</idno>
          <idno type="ROR">https://ror.org/05089qr23</idno>
          <orgName>Well Honed Infrastructure Software for Programming Environments and Runtimes</orgName>
          <orgName type="acronym">Whisper</orgName>
          <date type="start">2023-07-01</date>
          <date type="end">2027-06-30</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-454310" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-302851" status="VALID">
          <idno type="IdRef">029644631</idno>
          <idno type="ROR">https://ror.org/02s376052</idno>
          <orgName>Ecole Polytechnique Fédérale de Lausanne</orgName>
          <orgName type="acronym">EPFL</orgName>
          <desc>
            <address>
              <addrLine>CH-1015 Lausanne, Switzerland</addrLine>
              <country key="CH"/>
            </address>
            <ref type="url">https://www.epfl.ch</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1062402" status="VALID">
          <orgName>Oracle Labs Switzerland</orgName>
          <desc>
            <address>
              <country key="CH"/>
            </address>
            <ref type="url">https://labs.oracle.com/pls/apex/labs/r/labs/intro?session=813600923409</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-109997" status="VALID">
          <idno type="anr">ANR-23-PECL-0004</idno>
          <orgName>DiVa</orgName>
          <desc>DIsaggregated VirtuAlization</desc>
          <date type="start">2023</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>