{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T03:50:04Z","timestamp":1782964204844,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","funder":[{"name":"Swiss National Science Foundation","award":["212884"],"award-info":[{"award-number":["212884"]}]},{"name":"Inria"},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-23-PECL-0004"],"award-info":[{"award-number":["ANR-23-PECL-0004"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,10,13]]},"DOI":"10.1145\/3731569.3764852","type":"proceedings-article","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T12:43:24Z","timestamp":1759322604000},"page":"1115-1130","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["FlexGuard: Fast Mutual Exclusion Independent of Subscription"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-0487-6271","authenticated-orcid":false,"given":"Victor","family":"Laforet","sequence":"first","affiliation":[{"name":"Inria, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9534-8565","authenticated-orcid":false,"given":"Sanidhya","family":"Kashyap","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0382-6820","authenticated-orcid":false,"given":"C\u0103lin","family":"Iorgulescu","sequence":"additional","affiliation":[{"name":"Oracle Labs, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1684-1264","authenticated-orcid":false,"given":"Julia","family":"Lawall","sequence":"additional","affiliation":[{"name":"Inria, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-2876-8292","authenticated-orcid":false,"given":"Jean-Pierre","family":"Lozi","sequence":"additional","affiliation":[{"name":"Inria, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The Grille 5k scientific interest group (GIS). 2003\u20132025. Grid'5000 is a large-scale and flexible testbed for experiment-driven research in all areas of computer science with a focus on parallel and distributed computing including Cloud HPC Big Data and AI. https:\/\/www.grid5000.fr."},{"key":"e_1_3_2_1_2_1","volume-title":"Spring Joint Computer Conference (SJCC)","author":"Amdahl Gene M.","year":"1967","unstructured":"Gene M. Amdahl. 1967. Validity of the single processor approach to achieving large scale computing capabilities. In Spring Joint Computer Conference (SJCC). Atlantic City, NJ, USA."},{"key":"e_1_3_2_1_3_1","first-page":"1","article-title":"The performance of spin lock alternatives for shared-memory multiprocessors","volume":"1","author":"Anderson Thomas E.","year":"1990","unstructured":"Thomas E. Anderson. 1990. The performance of spin lock alternatives for shared-memory multiprocessors. IEEE Trans. Parallel Distrib. Syst. 1, 1 (Jan. 1990), 6\u201316.","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"e_1_3_2_1_4_1","volume-title":"Symposium on Operating Systems Principles (SOSP)","author":"Anderson Thomas E.","unstructured":"Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, and Henry M. Levy. 1991. Scheduler activations: Effective kernel support for the user-level management of parallelism. In Symposium on Operating Systems Principles (SOSP). Pacific Grove, CA, USA."},{"key":"e_1_3_2_1_5_1","volume-title":"International Middleware Conference (Middleware)","author":"Anti\u0107 Jelena","year":"2016","unstructured":"Jelena Anti\u0107, Georgios Chatzopoulos, Rachid Guerraoui, and Vasileios Trigonakis. 2016. Locking made easy. In International Middleware Conference (Middleware). Trento, Italy."},{"key":"e_1_3_2_1_6_1","volume-title":"European Conference on Computer Systems (EuroSys)","author":"Balmau Oana","year":"2017","unstructured":"Oana Balmau, Rachid Guerraoui, Vasileios Trigonakis, and Igor Zablotchi. 2017. FloDB: Unlocking memory in persistent key-value stores. In European Conference on Computer Systems (EuroSys). Belgrade, Serbia."},{"key":"e_1_3_2_1_7_1","volume-title":"Symposium on Operating Systems Principles (SOSP)","author":"Baumann Andrew","year":"2009","unstructured":"Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Sch\u00fcpbach, and Akhilesh Singhania. 2009. The multikernel: A new OS architecture for scalable multicore systems. In Symposium on Operating Systems Principles (SOSP). Big Sky, MT, USA."},{"key":"e_1_3_2_1_8_1","volume-title":"International Conference on Parallel Architectures and Compilation Techniques (PACT)","author":"Bienia Christian","year":"2008","unstructured":"Christian Bienia, Sanjeev Kumar, Jaswinder Pal Singh, and Kai Li. 2008. The PARSEC benchmark suite: Characterization and architectural implications. In International Conference on Parallel Architectures and Compilation Techniques (PACT). Toronto, Canada."},{"key":"e_1_3_2_1_9_1","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Boyd-Wickizer Silas","year":"2008","unstructured":"Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandong Mao, Frans Kaashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yuehua Dai, Yang Zhang, and Zheng Zhang. 2008. Corey: An operating system for many cores. In Symposium on Operating Systems Design and Implementation (OSDI). San Diego, CA, USA."},{"key":"e_1_3_2_1_10_1","volume-title":"Linux Symposium (OLS)","author":"Boyd-Wickizer Silas","year":"2012","unstructured":"Silas Boyd-Wickizer, M. Frans Kaashoek, Robert Morris, and Nickolai Zeldovich. 2012. Non-scalable locks are dangerous. In Linux Symposium (OLS). Ottawa, Canada."},{"key":"e_1_3_2_1_11_1","volume-title":"International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Xi'an, China.","author":"Calciu Irina","unstructured":"Irina Calciu, Siddhartha Sen, Mahesh Balakrishnan, and Marcos K. Aguilera. 2017. Black-box concurrent data structures for NUMA architectures. In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Xi'an, China."},{"key":"e_1_3_2_1_12_1","unstructured":"Johnathan Corbet. 2008. Ticket spinlocks. https:\/\/lwn.net\/Articles\/267968\/."},{"key":"e_1_3_2_1_13_1","unstructured":"Travis S. Craig. 1993. Building FIFO and priority-queuing spin locks from atomic swap. Technical Report. Technical Report TR 93-02-02 Department of Computer Science University of Washington."},{"key":"e_1_3_2_1_14_1","volume-title":"Symposium on Operating Systems Principles (SOSP)","author":"David Tudor","year":"2013","unstructured":"Tudor David, Rachid Guerraoui, and Vasileios Trigonakis. 2013. Everything you always wanted to know about synchronization but were afraid to ask. In Symposium on Operating Systems Principles (SOSP). Farmington, PA, USA."},{"key":"e_1_3_2_1_15_1","unstructured":"Mathieu Desnoyers. 2008. tracing sched: LTTng instrumentation - scheduler. https:\/\/github.com\/torvalds\/linux\/commit\/0a16b60758433."},{"key":"e_1_3_2_1_16_1","volume-title":"European Conference on Computer Systems (EuroSys)","author":"Dice Dave","year":"2017","unstructured":"Dave Dice. 2017. Malthusian locks. In European Conference on Computer Systems (EuroSys). Belgrade, Serbia."},{"key":"e_1_3_2_1_17_1","volume-title":"European Conference on Computer Systems (EuroSys)","author":"Dice Dave","year":"2019","unstructured":"Dave Dice and Alex Kogan. 2019. Compact NUMA-aware locks. In European Conference on Computer Systems (EuroSys). Dresden, Germany."},{"key":"e_1_3_2_1_18_1","volume-title":"Symposium on Principles and Practice of Parallel Programming (PPoPP)","author":"Dice David","year":"2012","unstructured":"David Dice, Virendra J. Marathe, and Nir Shavit. 2012. Lock cohorting: A general technique for designing NUMA locks. In Symposium on Principles and Practice of Parallel Programming (PPoPP). New Orleans, LA, USA."},{"key":"e_1_3_2_1_19_1","first-page":"2","article-title":"The native POSIX thread library for Linux. White Paper","volume":"10","author":"Drepper Ulrich","year":"2003","unstructured":"Ulrich Drepper and Ingo Molnar. 2003. The native POSIX thread library for Linux. White Paper, Red Hat Inc. 10, 2 (Feb. 2003), 22\u201342.","journal-title":"Red Hat Inc."},{"key":"e_1_3_2_1_20_1","unstructured":"The eBPF community. 2014\u20132025. eBPF - Introduction Tutorial & Community Resources. https:\/\/ebpf.io\/."},{"key":"e_1_3_2_1_21_1","article-title":"Concurrent programming without locks","volume":"25","author":"Fraser Keir","year":"2007","unstructured":"Keir Fraser and Tim Harris. 2007. Concurrent programming without locks. ACM Trans. Comput. Syst. 25, 2, Article 5 (May 2007), 61 pages.","journal-title":"ACM Trans. Comput. Syst."},{"key":"e_1_3_2_1_22_1","volume-title":"Default use of POSIX locks in LevelDB for Linux. https:\/\/github.com\/google\/leveldb\/blob\/v1.20\/build_detect_platform#L96","unstructured":"Google. 2011\u20132025. Default use of POSIX locks in LevelDB for Linux. https:\/\/github.com\/google\/leveldb\/blob\/v1.20\/build_detect_platform#L96."},{"key":"e_1_3_2_1_23_1","unstructured":"Google. 2011\u20132025. LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values. https:\/\/github.com\/google\/leveldb."},{"key":"e_1_3_2_1_24_1","volume-title":"USENIX Annual Technical Conference (ATC)","author":"Guiroux Hugo","year":"2016","unstructured":"Hugo Guiroux, Renaud Lachaize, and Vivien Qu\u00e9ma. 2016. Multicore locks: The case is not closed yet. In USENIX Annual Technical Conference (ATC). Denver, CO, USA."},{"key":"e_1_3_2_1_25_1","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Gupta Vishal","year":"2023","unstructured":"Vishal Gupta, Kumar Kartikeya Dwivedi, Yugesh Kothari, Yueyang Pan, Diyu Zhou, and Sanidhya Kashyap. 2023. Ship your critical section, not your data: Enabling transparent delegation with TCLocks. In Symposium on Operating Systems Design and Implementation (OSDI). Boston, MA, USA."},{"key":"e_1_3_2_1_26_1","volume-title":"International Symposium on Distributed Computing (DISC)","author":"Harris Timothy L.","year":"2001","unstructured":"Timothy L. Harris. 2001. A pragmatic implementation of non-blocking linked-lists. In International Symposium on Distributed Computing (DISC). Mesa, AZ, USA."},{"key":"e_1_3_2_1_27_1","volume-title":"International Conference on High Performance Computing (HiPC)","author":"He Bijun","unstructured":"Bijun He, William N. Scherer III, and Michael L. Scott. 2005. Preemption adaptivity in time-published queue-based spin locks. In International Conference on High Performance Computing (HiPC). Goa, India."},{"key":"e_1_3_2_1_28_1","first-page":"1","article-title":"Wait-free synchronization","volume":"13","author":"Herlihy Maurice","year":"1991","unstructured":"Maurice Herlihy. 1991. Wait-free synchronization. ACM Trans. Program. Lang. Syst. 13, 1 (Jan. 1991), 124\u2013149.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"e_1_3_2_1_29_1","unstructured":"Danga Interactive. 2003\u20132025. Default use of POSIX locks in Memcached. https:\/\/github.com\/memcached\/memcached\/blob\/1.6.33\/memcached.h#L967."},{"key":"e_1_3_2_1_30_1","unstructured":"Johnathan Corbet. 2014. MCS locks and qspinlocks. https:\/\/lwn.net\/Articles\/MCSlocksandqspinlocks\/."},{"key":"e_1_3_2_1_31_1","unstructured":"Johnathan Corbet. 2022. Restartable sequences in glibc. https:\/\/lwn.net\/Articles\/883104\/."},{"key":"e_1_3_2_1_32_1","volume-title":"International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"Johnson F. Ryan","unstructured":"F. Ryan Johnson, Radu Stoica, Anastasia Ailamaki, and Todd C. Mowry. 2010. Decoupling contention management from scheduling. In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Pittsburgh, PA, USA."},{"key":"e_1_3_2_1_33_1","unstructured":"Sanidhya Kashyap Irina Calciu Xiaohe Cheng Changwoo Min and Taesoo Kim. 2019. Blocking implementation of the Shuffle lock. https:\/\/github.com\/sslab-gatech\/shfllock\/blob\/master\/ulocks\/src\/aqmwonode.c."},{"key":"e_1_3_2_1_34_1","volume-title":"Symposium on Operating Systems Principles (SOSP)","author":"Kashyap Sanidhya","year":"2019","unstructured":"Sanidhya Kashyap, Irina Calciu, Xiaohe Cheng, Changwoo Min, and Taesoo Kim. 2019. Scalable and practical locking with shuffling. In Symposium on Operating Systems Principles (SOSP). Huntsville, Canada."},{"key":"e_1_3_2_1_35_1","unstructured":"The kernel development community. 2023. libbpf overview: Other advantages of using skeleton file. https:\/\/libbpf.readthedocs.io\/en\/v1.2.0\/libbpf_overview.html#other-advantages-of-using-skeleton-file."},{"key":"e_1_3_2_1_36_1","volume-title":"Asian Symposium on Programming Languages and Systems (APLAS)","author":"Kim Jieung","year":"2017","unstructured":"Jieung Kim, Vilhelm Sj\u00f6berg, Ronghui Gu, and Zhong Shao. 2017. Safety and liveness of MCS lock\u2014layer by layer. In Asian Symposium on Programming Languages and Systems (APLAS). Shuzou, China."},{"key":"e_1_3_2_1_37_1","volume-title":"USENIX Annual Technical Conference (ATC)","author":"Lozi Jean-Pierre","year":"2012","unstructured":"Jean-Pierre Lozi, Florian David, Ga\u00ebl Thomas, Julia Lawall, and Gilles Muller. 2012. Remote Core Locking: Migrating critical-section execution to improve the performance of multithreaded applications. In USENIX Annual Technical Conference (ATC). Boston, MA, USA."},{"key":"e_1_3_2_1_38_1","volume-title":"International European Conference on Parallel Processing (Euro-Par)","author":"Luchangco Victor","year":"2006","unstructured":"Victor Luchangco, Dan Nussbaum, and Nir Shavit. 2006. A hierarchical CLH queue lock. In International European Conference on Parallel Processing (Euro-Par). Dresden, Germany."},{"key":"e_1_3_2_1_39_1","volume-title":"International Parallel Processing Symposium (IPPS)","author":"Magnusson Peter","year":"1994","unstructured":"Peter Magnusson, Anders Landin, and Erik Hagersten. 1994. Queue locks on cache coherent multiprocessors. In International Parallel Processing Symposium (IPPS). Canc\u00fan, Mexico."},{"key":"e_1_3_2_1_40_1","first-page":"1","article-title":"Algorithms for scalable synchronization on shared-memory multiprocessors","volume":"9","author":"Mellor-Crummey John M.","year":"1991","unstructured":"John M. Mellor-Crummey and Michael L. Scott. 1991. Algorithms for scalable synchronization on shared-memory multiprocessors. ACM Trans. Comput. Syst. 9, 1 (Feb. 1991), 21\u201365.","journal-title":"ACM Trans. Comput. Syst."},{"key":"e_1_3_2_1_41_1","volume-title":"Symposium on Principles of Distributed Computing (PODC)","author":"Maged","unstructured":"Maged M. Michael and Michael L. Scott. 1996. Simple, fast, and practical non-blocking and blocking concurrent queue algorithms. In Symposium on Principles of Distributed Computing (PODC). Philadelphia, PA, USA."},{"key":"e_1_3_2_1_42_1","unstructured":"Andrii Nakryiko. 2019. sync: Latest libbpf changes from kernel. https:\/\/github.com\/libbpf\/libbpf\/commit\/45ad8626."},{"key":"e_1_3_2_1_43_1","unstructured":"Oracle. 1993\u20132017. Solaris man page: schedctl_start(3C). https:\/\/docs.oracle.com\/cd\/E86824_01\/html\/E54766\/schedctl-start-3c.html."},{"key":"e_1_3_2_1_44_1","volume-title":"European Conference on Computer Systems (EuroSys)","author":"Patel Yuvraj","unstructured":"Yuvraj Patel, Leon Yang, Leo Arulraj, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Michael M. Swift. 2020. Avoiding scheduler subversion using scheduler-cooperative locks. In European Conference on Computer Systems (EuroSys). Heraklion, Greece."},{"key":"e_1_3_2_1_45_1","volume-title":"Swift","author":"Patel Yuvraj","year":"2020","unstructured":"Yuvraj Patel, Leon Yang, Leo Arulraj, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Michael M. Swift. 2020. User implementation of scheduler-cooperative locks. https:\/\/github.com\/scheduler-cooperative-locks\/proportional-share\/tree\/master\/u-scl."},{"key":"e_1_3_2_1_46_1","volume-title":"Symposium on Operating Systems Principles (SOSP)","author":"Roghanchi Sepideh","year":"2017","unstructured":"Sepideh Roghanchi, Jakob Eriksson, and Nilanjana Basu. 2017. ffwd: Delegation is (much) faster than you think. In Symposium on Operating Systems Principles (SOSP). Shanghai, China."},{"key":"e_1_3_2_1_47_1","unstructured":"Steven Rostedt. 2023. sched: Extended scheduler time slice. https:\/\/lore.kernel.org\/lkml\/20231025054219.1acaa3dd@gandalf.local.home\/."},{"key":"e_1_3_2_1_48_1","unstructured":"Rusty Russell. 2010\u20132025. Hackbench is both a benchmark and a stress test for the Linux kernel scheduler. https:\/\/git.kernel.org\/pub\/scm\/utils\/rt-tests\/rt-tests.git\/."},{"key":"e_1_3_2_1_49_1","volume-title":"Proc. ACM Manag. Data 1, 3, Article 216 (Nov.","author":"Shi Ge","year":"2023","unstructured":"Ge Shi, Ziyi Yan, and Tianzheng Wang. 2023. OptiQL: Robust optimistic locking for memory-optimized indexes. Proc. ACM Manag. Data 1, 3, Article 216 (Nov. 2023), 26 pages."},{"key":"e_1_3_2_1_50_1","volume-title":"International Symposium on Computer Architecture (ISCA)","author":"Su Wei","year":"2025","unstructured":"Wei Su, Abhishek Dhanotia, Carlos Torres, Jayneel Gandhi, Neha Gholkar, Shobhit Kanaujia, Maxim Naumov, Kalyan Subramanian, Valentin Andrei, Yifan Yuan, and Chunqiang Tang. 2025. DCPerf: An open-source, battle-tested performance benchmark suite for datacenter workloads. In International Symposium on Computer Architecture (ISCA). Tokyo, Japan."},{"key":"e_1_3_2_1_51_1","volume-title":"European Conference on Computer Systems (EuroSys)","author":"Teabe Boris","year":"2017","unstructured":"Boris Teabe, Vlad Nitu, Alain Tchana, and Daniel Hagimont. 2017. The lock holder and the lock waiter pre-emption problems: Nip them in the bud using informed spinlocks (I-Spinlock). In European Conference on Computer Systems (EuroSys). Belgrade, Serbia."},{"key":"e_1_3_2_1_52_1","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Unrau Ronald C.","year":"1994","unstructured":"Ronald C. Unrau, Orran Krieger, Benjamin Gamsa, and Michael Stumm. 1994. Experiences with locking in a NUMA multiprocessor operating system kernel. In Symposium on Operating Systems Design and Implementation (OSDI). Monterey, CA, USA."},{"key":"e_1_3_2_1_53_1","volume-title":"International Symposium on Computer Architecture (ISCA). San Margherita Ligure, Italy.","author":"Woo Steven Cameron","year":"1995","unstructured":"Steven Cameron Woo, Moriyoshi Ohara, Evan Torrie, Jaswinder Pal Singh, and Anoop Gupta. 1995. The SPLASH-2 programs: Characterization and methodological considerations. In International Symposium on Computer Architecture (ISCA). San Margherita Ligure, Italy."},{"key":"e_1_3_2_1_54_1","first-page":"5","article-title":"PARSEC3.0: A multicore benchmark suite with network stacks and SPLASH-2X","volume":"44","author":"Zhan Xusheng","year":"2017","unstructured":"Xusheng Zhan, Yungang Bao, Christian Bienia, and Kai Li. 2017. PARSEC3.0: A multicore benchmark suite with network stacks and SPLASH-2X. SIGARCH Comput. Archit. News 44, 5 (Feb. 2017), 1\u201316.","journal-title":"SIGARCH Comput. Archit. News"},{"key":"e_1_3_2_1_55_1","unstructured":"Peter Zijlstra. 2023. sched: Extended scheduler time slice. https:\/\/lore.kernel.org\/lkml\/20231030132949.GA38123@noisy.programming.kicks-ass.net\/."}],"event":{"name":"SOSP '25: ACM SIGOPS 31st Symposium on Operating Systems Principles","location":"Lotte Hotel World Seoul Republic of Korea","acronym":"SOSP '25","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX"]},"container-title":["Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles"],"original-title":[],"deposited":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T12:51:12Z","timestamp":1759323072000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731569.3764852"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,12]]},"references-count":55,"alternative-id":["10.1145\/3731569.3764852","10.1145\/3731569"],"URL":"https:\/\/doi.org\/10.1145\/3731569.3764852","relation":{},"subject":[],"published":{"date-parts":[[2025,10,12]]},"assertion":[{"value":"2025-10-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}