Conference
FlexGuard: Fast Mutual Exclusion Independent of Subscription
| Title: | FlexGuard: Fast Mutual Exclusion Independent of Subscription |
|---|---|
| Authors: | Laforet, Victor, Kashyap, Sanidhya, Iorgulescu, Călin, Lawall, Julia, Lozi, Jean-Pierre |
| Contributors: | Laforet, Victor |
| Publisher Information: | 2025. |
| Publication Year: | 2025 |
| Subject Terms: | CPU oversubscription, [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], scheduling, locks, eBPF |
| Description: | 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. |
| Document Type: | Conference object |
| File Description: | application/pdf |
| Language: | English |
| DOI: | 10.1145/3731569.3764852 |
| Access URL: | 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 |
| Accession Number: | edsair.dedup.wf.002..6f5faa7102fc40d3e41d62e39e48c8c1 |
| Database: | OpenAIRE |
| DOI: | 10.1145/3731569.3764852 |
|---|