LWN.net (RSS Feed) on Nostr: [$] Exposing concurrency bugs with a custom scheduler Jake Hillion gave <a ...
[$] Exposing concurrency bugs with a custom scheduler
Jake Hillion gave
<a href="https://fosdem.org/2025/schedule/event/fosdem-2025-4489-concurrency-testing-using-custom-linux-schedulers/"; rel="nofollow">
a presentation</a> at
<a href="https://fosdem.org/2025/"; rel="nofollow">
FOSDEM</a> about using
<a href="https://www.kernel.org/doc/html/next/scheduler/sched-ext.html"; rel="nofollow">
sched_ext</a>, the BPF
scheduling framework that was introduced in kernel version 6.12, to help find
elusive concurrency problems. In collaboration with Johannes Bechberger, he has
built a scheduler that can reveal theoretically possible but unobserved
concurrency bugs in test code in a few minutes. Since their scheduler only
relies on mainline kernel features, it can theoretically be applied to any
application that runs on Linux — although there are a number of caveats since
the project is still in its early days.
https://lwn.net/Articles/1007689/
Jake Hillion gave
<a href="https://fosdem.org/2025/schedule/event/fosdem-2025-4489-concurrency-testing-using-custom-linux-schedulers/"; rel="nofollow">
a presentation</a> at
<a href="https://fosdem.org/2025/"; rel="nofollow">
FOSDEM</a> about using
<a href="https://www.kernel.org/doc/html/next/scheduler/sched-ext.html"; rel="nofollow">
sched_ext</a>, the BPF
scheduling framework that was introduced in kernel version 6.12, to help find
elusive concurrency problems. In collaboration with Johannes Bechberger, he has
built a scheduler that can reveal theoretically possible but unobserved
concurrency bugs in test code in a few minutes. Since their scheduler only
relies on mainline kernel features, it can theoretically be applied to any
application that runs on Linux — although there are a number of caveats since
the project is still in its early days.
https://lwn.net/Articles/1007689/