[$] Exposing concurrency bugs with a custom scheduler

Jake Hillion gavea presentation atFOSDEM about usingsched_ext, the BPFscheduling framework that was introduced in kernel version 6.12, to help findelusive concurrency problems. In collaboration with Johannes Bechberger, he hasbuilt a scheduler that can reveal theoretically possible but unobservedconcurrency bugs in test code in a few minutes. Since their scheduler onlyrelies on mainline kernel features, it can theoretically be applied to anyapplication that runs on Linux - although there are a number of caveats sincethe project is still in its early days.