近三个月 sched-ext 看板

Andrea Righi 发起 v5 系列，解开 SCHED_PROXY_EXEC 与 SCHED_CLASS_EXT 的 Kconfig 互斥，把 mutex-blocked donor 的处理交给 BPF 调度器（通过新标志 SCX_OPS_ENQ_BLOCKED）显式 opt-in。系列同时修齐 rq->curr/rq->donor 视图分离带来的 callback 配对、TOCTOU 与迁移策略问题，并附带 enq_blocked selftest 与 scx_qmap 的 -B 示例。sashiko-bot 标记了 PI de-boost 漏点、blocked donor 入队策略与...

Andrea Righi 提交 v4 补丁系列，让 proxy-exec 与 sched_ext 可以在同一内核中同时启用。通过引入 SCX_OPS_ENQ_BLOCKED 标志与 scx_bpf_task_proxy_cpu/cid() kfunc，BPF 调度器可以显式认领 blocked donor 并决定其派发时机与位置。系列同时修复了 ops.running/stopping 配对、consume_remote_task 的 TOCTOU race 以及 rq->curr/donor 拆分后的 DSQ 记账问题。John Stultz 在 review 中已发现 scx_pair 触...

Matt Fleming 报告在 128-CPU AMD EPYC 上跑 scx_lavd 时，遇到 scx enable 与 cgroup PSI trigger 写并发触发的 ABBA 死锁，并提交 patch 调换 scx_fork_rwsem 与 cgroup_mutex 的获取顺序。sashiko-bot 指出同类锁序在 disable 路径同样存在；Tejun Heo 提出更彻底的修复，把 psimon kthread 的 fork 从 cgroup_mutex 中拆出，并在 v2 中合并 rtpoll_timer UAF 修复。讨论揭示了 a5b98009f16d 引入的锁依赖问...

针对 6.18.y 的死锁修复：call_rcu_tasks_generic() 在 IRQs 关闭（持 rq->lock）时抢 cbs_gbl_lock，与 tasks-RCU wakeup 路径构成 ABBA 死锁。补丁将 IRQ-disabled 调用者改走无锁 llist 旁路，由 hard irq_work 稍后排干，fast path 不变。Paul McKenney 指出无法干净应用到 mainline，要求 forward-port，Matt 同意。

修复 BPF verifier 类型检查漏洞：bpf_cpumask_populate() 目标类型从 struct cpumask * 改成 struct bpf_cpumask *，阻止借用只读 cpumask 被当成可写目标。系列含 1 个 kernel 修复 patch 和 1 个 selftest patch。补丁已被 Kumar 合入 bpf-next，并获 Tejun Heo 的 Acked-by。