近30天 sched-ext 看板

Tao Cui 提交 2 个补丁分别修复 sched_ext 内核 DSQ 优先队列的 spread 大时反转问题，以及 scx_flatcg cgroup 树在 cvtime 环绕瞬间的错位问题。两处采用相反修复，判定依据是 spread 不变量是否被维护。Tejun Heo 明确 dsq_vtime 按 BPF kfunc 文档是循环 cursor，作者本人随后在第 9 封反对自己的 Patch 1 方向，预计 v2 会撤回 Patch 1 并修正 Patch 2 的 Fixes tag。

并发写 cgroup knob（weight/idle/bandwidth）时，核心调度器在自己的锁内更新 tg，但 sched_ext 通知要等锁释放后才异步进行，导致两次并发的通知乱序完成，core/BPF/sched_ext.cache 三者值不一致。补丁在每个 task_group 上加一把 knob_mutex，把核心调度器更新和 sched_ext 通知绑成原子事务。维护者 Tejun Heo 在回信中倾向 Michal Koutný 的另一种修法（把 fair 锁直接提升到 core 写 handler），所以这版很可能被替代。

作者把 fair.c 中的 shares_mutex 抬到 kernel/sched/core.c，拆出 _locked 版本，让 cpu.shares / cpu.weight / cpu.idle / cpu.max 等写路径在 cpu_weight_mutex / cpu_max_mutex 保护下同时串行化 CFS 与 SCX 回调，避免并发写造成 tg->shares 与 tg->scx.weight 互不相等的 bug。Tejun Heo 已 Acked 并请 Peter 接收。

这个 v3 两件套修复了 scx_cgroup_init_args 漏传 cgroup 初始 cpu.idle 状态的 bug：1/2 在结构体里新增 sched_idle 字段并在四个填充点补齐赋值，已带 Fixes tag 进入 for-7.3-fixes；2/2 把容易与 CPU idle 混淆的 tg->scx.idle 字段重命名为 tg->scx.sched_idle，作为独立 cleanup 进入 for-7.4。Andrea给了 Reviewed-by，Tejun 直接接收，整体改动小但语义正确。

David Carlier 提交单 PATCH，为 sched_ext 工具头文件中的 prolog 迁移探测补上 cid-form 调度器的入口 bpf_scx_reg_cid()，并把默认标志 __scx_prolog_disables_migration 由 true 翻为 false，使未挂 probe 的 loader 落到注释声明的 safe 方向。Tejun Heo 回复指出默认值翻转已在 scx 仓库以 888a907d84b5 合入，要求把后续改动走 scx 仓库流程而非 kernel 镜像。