{"id":"https://openalex.org/W4416026936","doi":"https://doi.org/10.1145/3731569.3764852","title":"FlexGuard: Fast Mutual Exclusion Independent of Subscription","display_name":"FlexGuard: Fast Mutual Exclusion Independent of Subscription","publication_year":2025,"publication_date":"2025-10-01","ids":{"openalex":"https://openalex.org/W4416026936","doi":"https://doi.org/10.1145/3731569.3764852"},"language":"en","primary_location":{"id":"doi:10.1145/3731569.3764852","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3731569.3764852","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3731569.3764852","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093716967","display_name":"Victor Laforet","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I2801072212","display_name":"The Mount","ror":"https://ror.org/00ssdam06","country_code":"GB","type":"healthcare","lineage":["https://openalex.org/I2801072212","https://openalex.org/I280385510"]}],"countries":["FR","GB"],"is_corresponding":false,"raw_author_name":"Victor Laforet","raw_affiliation_strings":["Inria, Paris, France","Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes (48 Rue Barrault, 75013 Paris - France)"],"raw_orcid":"https://orcid.org/0009-0006-0487-6271","affiliations":[{"raw_affiliation_string":"Inria, Paris, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes (48 Rue Barrault, 75013 Paris - France)","institution_ids":["https://openalex.org/I2801072212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030479442","display_name":"Sanidhya Kashyap","orcid":"https://orcid.org/0000-0002-9534-8565"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Sanidhya Kashyap","raw_affiliation_strings":["EPFL, Lausanne, Switzerland","EPFL - Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (CH-1015 Lausanne, Switzerland - Switzerland)"],"raw_orcid":"https://orcid.org/0000-0002-9534-8565","affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"EPFL - Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne (CH-1015 Lausanne, Switzerland - Switzerland)","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055719945","display_name":"C\u0103lin Iorgulescu","orcid":"https://orcid.org/0000-0003-0382-6820"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"C\u0103lin Iorgulescu","raw_affiliation_strings":["Oracle Labs, Zurich, Switzerland","Oracle Labs Switzerland (Switzerland)"],"raw_orcid":"https://orcid.org/0000-0003-0382-6820","affiliations":[{"raw_affiliation_string":"Oracle Labs, Zurich, Switzerland","institution_ids":[]},{"raw_affiliation_string":"Oracle Labs Switzerland (Switzerland)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040879516","display_name":"Julia Lawall","orcid":"https://orcid.org/0000-0002-1684-1264"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I2801072212","display_name":"The Mount","ror":"https://ror.org/00ssdam06","country_code":"GB","type":"healthcare","lineage":["https://openalex.org/I2801072212","https://openalex.org/I280385510"]}],"countries":["FR","GB"],"is_corresponding":false,"raw_author_name":"Julia Lawall","raw_affiliation_strings":["Inria, Paris, France","Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes (48 Rue Barrault, 75013 Paris - France)"],"raw_orcid":"https://orcid.org/0000-0002-1684-1264","affiliations":[{"raw_affiliation_string":"Inria, Paris, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes (48 Rue Barrault, 75013 Paris - France)","institution_ids":["https://openalex.org/I2801072212"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010173778","display_name":"Jean-Pierre Lozi","orcid":"https://orcid.org/0009-0002-2876-8292"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I2801072212","display_name":"The Mount","ror":"https://ror.org/00ssdam06","country_code":"GB","type":"healthcare","lineage":["https://openalex.org/I2801072212","https://openalex.org/I280385510"]}],"countries":["FR","GB"],"is_corresponding":false,"raw_author_name":"Jean-Pierre Lozi","raw_affiliation_strings":["Inria, Paris, France","Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes (48 Rue Barrault, 75013 Paris - France)"],"raw_orcid":"https://orcid.org/0009-0002-2876-8292","affiliations":[{"raw_affiliation_string":"Inria, Paris, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes (48 Rue Barrault, 75013 Paris - France)","institution_ids":["https://openalex.org/I2801072212"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1115","last_page":"1130"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.7512999773025513,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.7512999773025513,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.0860000029206276,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.061000000685453415,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.7347999811172485},{"id":"https://openalex.org/keywords/boosting","display_name":"Boosting (machine learning)","score":0.7218000292778015},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.6485999822616577},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.644599974155426},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.542900025844574},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.4846999943256378},{"id":"https://openalex.org/keywords/idle","display_name":"Idle","score":0.46639999747276306}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7587000131607056},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7347999811172485},{"id":"https://openalex.org/C46686674","wikidata":"https://www.wikidata.org/wiki/Q466303","display_name":"Boosting (machine learning)","level":2,"score":0.7218000292778015},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.6485999822616577},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.644599974155426},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.542900025844574},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.503000020980835},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.4846999943256378},{"id":"https://openalex.org/C16320812","wikidata":"https://www.wikidata.org/wiki/Q1812200","display_name":"Idle","level":2,"score":0.46639999747276306},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4235000014305115},{"id":"https://openalex.org/C144745244","wikidata":"https://www.wikidata.org/wiki/Q4927286","display_name":"Blocking (statistics)","level":2,"score":0.3517000079154968},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.33889999985694885},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32600000500679016},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3172999918460846},{"id":"https://openalex.org/C2984822820","wikidata":"https://www.wikidata.org/wiki/Q1123036","display_name":"Processor scheduling","level":3,"score":0.3167000114917755},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.31520000100135803},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.30559998750686646},{"id":"https://openalex.org/C2777131613","wikidata":"https://www.wikidata.org/wiki/Q18394147","display_name":"Retard","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C19012869","wikidata":"https://www.wikidata.org/wiki/Q578372","display_name":"Response time","level":2,"score":0.2612999975681305},{"id":"https://openalex.org/C2778915421","wikidata":"https://www.wikidata.org/wiki/Q3643177","display_name":"Performance improvement","level":2,"score":0.2524999976158142}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3731569.3764852","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3731569.3764852","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-05241781v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05241781","pdf_url":"https://hal.science/hal-05241781v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SOSP 2025 - The 31st Symposium on Operating Systems Principles, ACM sigops; ACM, Oct 2025, Seoul, South Korea. ⟨10.1145/3731569.3764852⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:infoscience.epfl.ch:20.500.14299/254795","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/254795","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference proceedings"}],"best_oa_location":{"id":"doi:10.1145/3731569.3764852","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3731569.3764852","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7229053165","display_name":"Application-Informed Synchronization","funder_award_id":"212884","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G8346593170","display_name":"DIsaggregated VirtuAlization","funder_award_id":"ANR-23-PECL-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320322892","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Performance-oriented":[0],"applications":[1],"require":[2],"efficient":[3],"locks":[4],"to":[5,41,55,104],"harness":[6],"the":[7,47,70],"computing":[8],"power":[9],"of":[10],"multicore":[11],"architectures.":[12],"While":[13],"fast,":[14],"spinlock":[15],"algorithms":[16],"suffer":[17],"severe":[18],"performance":[19,82],"degradation":[20],"when":[21,58],"thread":[22,61],"counts":[23],"exceed":[24],"available":[25],"hardware":[26],"capacity,":[27],"i.e.,":[28],"in":[29,83,100,106],"oversubscribed":[30,107],"scenarios.":[31,108],"Existing":[32],"solutions":[33],"rely":[34],"on":[35],"imprecise":[36],"heuristics":[37],"for":[38],"blocking,":[39],"leading":[40],"suboptimal":[42],"performance.":[43],"We":[44],"present":[45],"FlexGuard,":[46],"first":[48],"approach":[49],"that":[50],"systematically":[51],"switches":[52],"from":[53],"busy-waiting":[54],"blocking":[56],"precisely":[57],"a":[59,85],"lock-holding":[60],"is":[62],"preempted.":[63],"Flex-Guard":[64],"achieves":[65],"this":[66],"by":[67,98],"communicating":[68],"with":[69],"OS":[71],"scheduler":[72],"via":[73],"eBPF,":[74],"unlike":[75],"prior":[76],"approaches.":[77],"FlexGuard":[78],"matches":[79],"or":[80],"improves":[81],"LevelDB,":[84],"memory-optimized":[86],"database":[87],"index,":[88],"PARSEC's":[89],"Dedup,":[90],"and":[91,94,102],"SPLASH2X's":[92],"Raytrace":[93],"Streamcluster,":[95],"boosting":[96],"throughput":[97],"1\u20136\u00d7":[99],"non-oversubscribed":[101],"up":[103],"5\u00d7":[105]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}