近30天 sched-ext 看板

Michal Blaszczyk 提交单行 patch，把 scx_idle_test_and_clear_cpu() 里的 __cpumask_clear_cpu 替换为原子版本，试图消除 idle_smts 共享 mask 上的并发 lost update。Sashiko 与维护者 Andrea Righi 均指出修复不完整，因为 cpumask_andnot / cpumask_or 仍是整字非原子 RMW，且原设计本就是有意为之的 best-effort。最终作者决定撤回该 patch，建议改为更系统的方案，例如 per-CPU mask 或加锁。

v3 系列由两片组成：1/2 在 ext.c 注释中显式写出 dsq_vtime 必须落在 2^63 窗口内的 rolling-cursor 约束；2/2 把 scx_flatcg 的 cgv_node_less() 由裸 < 改为 time_before()，避免 cvtime 回卷后早回卷的 cgroup 抢到 rbtree 头部、其余节点被卡死。v3 相对 v1/v2 删掉了原 kernel priq 比较器改动并把 Fixes tag 校准到 a4103eacc2ab，Tejun 已收下合入 sched_ext/for-7.4。

sched_ext sub-scheduler 在 disable 时先释放 scx_enable_mutex 再删 sysfs kobject，导致并发 enable 在同一 cgroup 上 kobject_add 撞 -EEXIST，把一个健康的调度器误杀。补丁把 kobject_del 移到 mutex_unlock 之前，与 root 路径对齐。

本系列把 sched_ext 中 dsq_vtime 排序所依赖的 u64 half-range 约束显式写进 scx_bpf_dsq_insert_vtime() 的文档，并把示例调度器 scx_flatcg 的 rbtree 比较器 cgv_node_less() 从裸 u64 '<' 改成 (s64)(a-b)<0 的循环比较，避免 cvtime 绕回时破坏严格弱序。Tejun 复审指出文档措辞应为 'less than 2^63 apart'，wrap 实际比 commit 描述发生得更早（每 CPU slice charge 累加），lag 与 lead 都需受限，Fixes 标签应...

Tao Cui 发现 scx_group_set_idle() 不论 cpu.idle 是否真发生变化都向 BPF 调度器派发 cgroup_set_idle 回调，会让基于切换或累计计数的 BPF 调度器误把重复写入算成多次跃迁。补丁在派发条件中追加 tg->scx.sched_idle != idle 的守卫，对齐 scx_group_set_weight() 的现有跳过等值写入的做法。Sashiko AI 提示 sched_idle 字段可能不存在；Andrea Righi 确认其余内容 OK 并给出 Reviewed-by，同时指出 Link: 标签为空。