主要观点:
- LWN 文章由人类创作,订阅可抵御机器人,提供免费一个月试用。
- Jake Hillion 在 FOSDEM 2025 介绍利用 sched_ext 框架找并发问题的调度器。
- 该调度器由他与 Johannes Bechberger 合作构建,能在几分钟内揭示测试代码中的并发 bug,虽基于主线内核特性但仍在早期。
- Bechberger 是 OpenJDK 开发者,常因 Java 并发模型调试问题而有此想法。
- Hillion 在 Meta 工作,其公司生产中使用 sched_ext 调度器,而他们构建的调度器相反。
关键信息:
- 调度器示例:简化的生产消费线程模型,展示应用中的问题,如 C++应用中复制指针导致的内存错误。
- 调度器特点:故意让线程随机睡眠以暴露问题,运行线程顺序随机,不同于其他精细的并发测试工具。
- 现状与未来:目前适用于开发者工作站找间歇性 bug,未来要使其更可靠,可扩展到大型机器等。
- 相关问题与讨论:观众询问调度器是否智能及其他 erratic 行为来源,Hillon 表示未来可改进。
重要细节:
- sched_ext 是 6.12 内核版本引入的 BPF 调度框架。
- 简单的 sched_ext 演示代码常被用于相关话题演讲。
- 目前调度器在大型系统中易触发软锁检测导致系统重启。
- Meta 生产调度器可让应用给调度器提示。
- 由于今年 LWN 无人参加 FOSDEM,通过视频报道演讲。
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。