Fuzzing Concurrency Bugs with a BPF Scheduler
At FOSDEM, Jake Hillion from Meta and Johannes Bechberger, an OpenJDK developer, presented their concurrency fuzzing scheduler built using the BPF scheduling framework, `sched_ext`. This scheduler deliberately introduces randomness in scheduling, causing delays and altering thread execution order to surface elusive concurrency bugs. While currently having a significant performance overhead, limiting its use to development debugging, it offers an effective way to uncover real-world logic errors and shows promise for future production use after optimization.
Read more