利用BPF调度器Fuzz出并发Bug
2025-02-14
Meta工程师Jake Hillion和OpenJDK开发者Johannes Bechberger在FOSDEM上展示了他们使用BPF调度框架`sched_ext`构建的并发Fuzzing调度器。该调度器通过故意“糟糕”地调度进程,引入随机延迟和线程运行顺序,从而暴露出难以重现的并发Bug。虽然目前该调度器性能开销较大,主要用于开发阶段调试,但它为发现实际应用中的逻辑错误提供了一种有效方法,未来有望改进以用于生产环境。
(lwn.net)
开发