北京时间 2026-09-01 至 2026-09-07
最近同步：2026/09/07 18:31
sched: fix typos and repeated words in comments。Claude 分析失败，当前使用规则 fallback：该讨论被归为 bugfix，共 3 封邮件。
sched_ext: scx_qmap: Fix pending partition work handoff。Claude 分析失败，当前使用规则 fallback：该讨论被归为 bugfix，共 3 封邮件。
Tianyi Chen 提交单封 PATCH，在 sched_ext 的 create_dsq selftest 中扩展 BPF 侧空 DSQ 生命周期循环：验证重复 create_dsq 返回 -EEXIST、原 DSQ 仍可访问、destroy 后 nr_queued 返回 -ENOENT、相同 ID 可复用，并在用户态校验 1024 次迭代全部完成。属于 selftest 增强（非 RFC、非 bugfix），按规则归类为 other。
本补丁把 sched_ext 自带的 allowed_cpus selftest 从“打印 BPF 程序返回的 CPU 号”升级为对 select_cpu_and 契约的硬断言。BPF 侧新增 custom_cpu 字段并在返回时校验 CPU 同时落在 mask 与 cpus_ptr 内；用户态覆盖空 mask、单点 mask、与亲性不交 mask 三档用例，并在跑完后恢复 runner 亲和性。单 patch 改动 2 个 selftest 文件，共 86 增 / 15 删，不动 kernel 侧实现。
selftests/sched_ext runner 此前收到 SIGINT/SIGTERM 后只停止循环，但退出码仍只反映失败数，导致被中断的 run 也会返回 0。patch 将 main 末尾的判定改为 failed > 0 || exit_req，使中断也被视为失败；同时保留 failed 计数只统计实际跑过的测试。作者用 GDB 验证了四种信号投递场景。
selftests/sched_ext/hotplug.c 中 toggle_online_status() 只打印错误不返回错误码,导致 CPU 状态写入失败时测试无限挂死。patch 把函数改为返回 int,调用点通过 goto 跳出并在失败时清理 BPF 资源,同时把 status 默认值从 PASS 改为 FAIL,保证任何未走完的路径都被报告为失败。
sched_ext: Fix keep-last for sub-scheduler tasks and two scx_qmap placement loops。Claude 分析失败，当前使用规则 fallback：该讨论被归为 bugfix，共 11 封邮件。
Andrea Righi 发布的 18 patch 系列让 CONFIG_SCHED_PROXY_EXEC 与 CONFIG_SCHED_CLASS_EXT 可同时启用。新增 SCX_OPS_ENQ_BLOCKED 让 BPF 调度器显式接管被 mutex 阻塞的 donor；sched_ext 把 running/stopping、tick 带宽、curr 视角等从 rq->curr 改为 rq->donor。系列同时修复了 ops.running/stopping 配对错误、迁移禁用假性 WARN_ON、远端 DSQ 转移与 proxy 状态竞态等多个 correctness 问题，并新增...
本系列是 sashiko bot NMI-reject 审计的延伸工作，共两 patch：Patch 1 让 scx_locked_rq() 在 NMI 中返回 NULL，避免三个 "any" 类 kfunc 走错持锁路径；Patch 2 把 idle-search 临时 nodemask 由 preempt_disable() 改为 guard(irqsave)() 防止 IRQ 嵌套覆写。两处改动都在源头统一拦截而非分散守卫，已被 Tejun Heo 当日合入 sched_ext/for-7.4 分支。
该系列修复 sched_ext COMPAT kfunc 包装器在 sub-sched 错误路径上的 NULL 指针解引用：BPF_PROG_TYPE_SYSCALL 或 ops.enqueue/dispatch 上下文对已退出或 idle 任务调用 scx_bpf_select_cpu_and() / scx_bpf_dsq_insert_vtime() 时会 oops。三版迭代后改为在 RCU 下安全读取 p->scx.sched，读到就 scx_error()，读不到就静默拒绝；已被 Tejun Heo 应用到 sched_ext/for-7.3-fixes 并 backport 到 s...
本系列把 in_nmi() 检查从 scx_bpf_kick_cpu() 推广到所有 NMI 可达、且会取 rq/dsq/pshard 锁的 sched_ext kfunc，通过新引入的 scx_kf_allowed_ctx() 宏在 NMI 中走无锁 scx_error() abort，避免 tracing BPF 程序把 any 分类 kfunc 变成整机 hard-lockup 的入口。v3 经三轮 review 后被 Tejun Heo 应用到 sched_ext/for-7.4。
scx_group_set_idle() 原先每次写入 cpu.idle 都无条件调用 BPF 的 cgroup_set_idle 回调，违反 transition 语义，导致 BPF scheduler 误判重复事件。本补丁在该函数中加入 tg->scx.idle != idle 的短路条件，与已有的 scx_group_set_weight() 路径对称。v2 仅修复了 v1 Link: tag 缺失 @linux.dev 的问题；Tejun Heo 已合入 sched_ext/for-7.3-fixes，并把 sched_idle 改回 idle 以匹配当前分支。
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 或加锁。
Qiurong Fang 提出 sched_ext 补丁，在 scx_init_dsq() 与 exit_dsq() 中对 built-in DSQ 跳过 pcpu 分配，把原本 O(nr_cpu_ids²) 的死内存释放掉。Zhan Xusheng 在 review 中指出浪费是二次方级别并给出 Reviewed-by；Tejun Heo 建议把字段重命名为 pcpu_user。v2 完成重命名与文案修订后被合入 sched_ext/for-7.4。
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。
Qiurong Fang 就 sched_ext 子调度器 kobject 释放顺序的 PATCH 回复 maintainer Tejun，确认这是预期行为，并正式撤回该 PATCH。整条线索仅一封回复邮件，不携带任何代码改动。邮件仅体现讨论闭环，未在代码层面引入新的行为或修复。
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: 标签为空。
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。