近三个月 sched-ext 看板

Tejun 的 6 补丁系列修复 sched_ext 自 4c95380701f5 以来 core scheduling 支持被破坏的问题：fold 让 dispatch 从 pick 内丢 rq 锁，导致同核 sibling 选择互相覆写 core_pick 等状态引发 oops / hang。补丁新增 lock_drop_seq 计数、把"保留 prev"从 rq flag 改成 verdict 返回、修正 kfunc 中 this_rq 假设、让 core-sched pick 在丢锁时整段重试，并由 Peter Zijlstra 与 Andrea Righi 评审，已合入 sched_...

Tao Cui 提出在 BPF 调度器未实现 ops.cgroup_set_bandwidth 时，对有限 cpu.max 配额打印一次 pr_warn_once。实测 scx_simple 配置 cpu.max=50000 100000 时任务仍可吃满 CPU。Tejun Heo 引用 cpu.weight 的旧例反对运行时警告，建议通过文档说明各调度器实现的 cgroup 接口；Sashiko AI进一步指出该警告覆盖不到启动时已存在的 cgroup 配额。下一步取决于作者是否改为文档 patch，或扩展为 cgroup 能力位图机制。

本 v1 patch 把 sched_ext 的 ops.cgroup_set_bandwidth() 加入 BPF verifier 的 sleepable allow-list，使 BPF scheduler 能在运行时按需分配内存；新增一个 __used BTF marker 函数 scx_cgroup_set_bandwidth_may_sleep() 让 userspace 通过 BTF 探测该能力。Tejun Heo 指出仅 __used 在 CONFIG_LD_DEAD_CODE_DATA_ELIMINATION 下仍会被链接器 GC，需要补 __retain，并建议把未来会越来...

Andrea Righi 发布 v12 patch series，让 proxy execution 与 sched_ext 不再在 Kconfig 层互斥：把 donor/owner 拆为 rq->donor 与 rq->curr，新增 SCX_OPS_ENQ_BLOCKED 让 BPF 调度器显式接纳 mutex-blocked donor，并修复 NOHZ tick 检查、set_task_cpu 误报警、ops.running/stopping 配对以及跨 rq DSQ 迁移中的代理竞争。系列包含 17 个 patch、新增 enq_blocked kselftest 与 scx_qm...

本系列把 sched-ext/scx 仓库 compat.bpf.h 的两处修复同步进内核树：给 lockless scx_bpf_dsq_peek() 加内核 ≥ 7.1.0 版本门以规避 v7.1 之前的 FIFO DSQ peek bug，并新增 scx_bpf_reenqueue_local_from_anywhere() 兼容 helper，让 tracepoint 等任意上下文能统一调用 v7.1 通用 dsq_reenq() 或 v6.19 v2 reenqueue-local。Tejun 已逐 patch 指出 Patch 1 commit message/注释把 v6.19 ...