近三个月 sched-ext 看板

bpf_arena_spin_lock.h 把 64KB 的 qnodes 数组直接定义在头文件里，导致 libarena 链接的 10 个 TU 在 .addr_space.1 中各留一份副本；本 patch 把它改为 extern 声明，由 common.bpf.c 与 arena_spin_lock.c 各自提供一份定义，把 libarena.bpf.o 从 676KB 缩到 86KB、asan 版 skel 从 2.6MB 缩到 1.4MB。Daniel 因补丁无法干净应用要求 rebase，Emil 给了 Reviewed-by，作者承诺稍后发 v2。

本系列把 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 ...

Tejun Heo 推送 4-patch PATCHSET，修掉 scx_prio_less() 反向调用 ops.core_sched_before()、core_sched_at 两套时间戳规则不兼容、跨 sub-scheduler 没有调度者仲裁等三处 core-sched 优先级排序 bug，并删除一段永远不会触发的 SCX_DEQ_CORE_SCHED_EXEC 死代码。补丁已在作者自己的回复中 Applied 到 sched_ext/for-7.3，目标是在 7.3 merge window 前把 sub-scheduler 的核心坑补齐。

Tejun Heo 把 !CONFIG_EXT_SUB_SCHED 下 scx_bpf_sub_grant/revoke/caps/kill_bstr 四个 kfunc 的 -EOPNOTSUPP 桩从 ext.c 整体搬到 sub.c 的 #else 分支，使真实实现与桩集中在一个文件；纯代码搬迁，无功能改动，已 Applied 到 sched_ext/for-7.3。属于代码组织类 cleanup 改动，不影响调度行为，也不影响 BTF kfunc 暴露集合。

kernel/sched/ext/arena.c 使用 gen_pool_* 接口，但 SCHED_CLASS_EXT 缺少 GENERIC_ALLOCATOR 的 select。当配置里无其他项选中 GENERIC_ALLOCATOR 时会出现 undefined reference。补丁在 kernel/Kconfig.preempt 增加一行 select GENERIC_ALLOCATOR，修复链接错误，已被 Tejun Heo 立刻合入 sched_ext/for-7.3。

scx_flatcg 的 fcg_cgroup_set_weight() 写完 cgc->weight 和 child_weight_sum 后没推进 hweight_gen，导致持续忙碌的 cgroup 内 cpu.weight 改动对调度不可见。补丁在解锁后原子自增 hweight_gen，使 cgrp_refresh_hweight() 下次按新权重重算 hweight。Tejun 已拣入 sched_ext/for-7.3，并顺手指出了 fcg_dispatch() true-up 的另一处 bug，待后续修复。

Tejun Heo 提交了 3 个补丁清理 4c95380701f5 引入的 dispatch 路径改动。0001 在 put_prev_task_scx() 入口拒绝跨 CPU 执行 kick_sync_wait_bal_cb，修复 dispatch drop rq lock 窗口内 lock 持有者 flush 回调到外 CPU 导致潜在死锁的回归。0002 删除 verdict 以返回值传递后已过时的 SCX_DSP_PREV 降级兜底，0003 把 balance_one()/SCX_RQ_IN_BALANCE 改名对齐到 dispatch 语义。该系列已被 maintainer 直接...

Tejun Heo 在 sched_ext/for-7.3 分支上合并两个无关小补丁：一是删除 scx_root_disable() 中无锁的 scx_rq_clock_invalidate()，避免与持锁 flags 更新 race 同时去除冗余失效；二是让 scx_bpf_events() 读取调用者 BPF 程序所属 scheduler 的事件计数器，使 sub-scheduler 能正确观测自身。

Tao Cui 修复 scx_flatcg 在切片到期或 DSQ 空时 true-up cgroup cvtime 的计算 bug：原表达式 (cur_at + slice - now) 符号反，且 CNS_EXPIRE 路径下 u64 减法下溢、BPF 无符号除法丢失补码符号位，导致每次过期向 cvtime_delta 加接近 2^64/hweight 的垃圾值。新代码先算 s64 delta、按正负分流到 fetch_and_add / fetch_and_sub，被除数保正以适配 BPF 无符号除法。Sashiko 提示 cgv_node_less() 的 cvtime 回卷优先级反转属...

这个 PATCH 修复 sched_ext 中 process_deferred_reenq_users 在 DSQ 已被 destroy_dsq 销毁后仍触发 BUG_ON 的崩溃。v2 把检查从 builtin-flag 改为只跳过 SCX_DSQ_INVALID，并在 Tejun 应用时加 READ_ONCE 关闭 TOCTOU 窗口。Sashiko 还提示 dsq 指针本身的 UAF 风险尚需继续跟进。该 patch 已合入 sched_ext/for-7.3 并会回灌 stable v7.1+。

Tao Cui 提交一条 sched_ext 单文件补丁，希望在 scx_cgroup_task_migrated() 里跳过 SCX_TASK_DEAD 的任务，防止 scx_rehome_task() 误操作并泄漏 BPF per-task 资源。Tejun Heo 指出 MIGRATED 回调全程在 cgroup_attach_lock write-held 下执行，集合内任务根本无法进入 exit 路径，DEAD 只可能在没有 threadgroup rwsem 的 scx_task_iter 路径里出现，窗口不存在。作者在第 3 封回复中认错，patch 预计不会合并。讨论同时提醒：...

scx_bpf_dsq_reenq() 排出的延迟 reenq 可能在运行前被 destroy_dsq() 销毁，导致 process_deferred_reenq_users() 走到 BUG_ON。v1 把 BUG_ON 换成 if (builtin) continue；Tejun 指出范围过宽，v2 改为只对 SCX_DSQ_INVALID 跳过，其它 builtin 状态仍 BUG_ON。

本补丁修复 selftests/sched_ext 中 ddsp_bogus_dsq_fail 与 ddsp_vtimelocal_fail 在繁忙系统上跳过核心断言的 flaky 问题。原代码把非法 dispatch 包在 if (cpu >= 0) 里，一旦 scx_bpf_pick_idle_cpu() 返回负错误码就直接 return prev_cpu，导致测试空跑却报通过。补丁改为失败时兜底到 prev_cpu 并无条件执行非法 dispatch。Tejun Heo 已应用到 sched_ext/for-7.3，并把描述中的 "returns -1" 更正为 "returns a n...

selftests/sched_ext/numa.bpf.c 之前断言被选中的 idle CPU 仍在 idle cpumask 中，但 pick_idle_cpu_node 与 pick_any_cpu_node 路径都存在窗口期，导致 race。补丁改用本地 CPU 的不变式：如果当前 CPU 跑在非 idle task context 中，则其自身不应仍在节点 idle cpumask 里，与 allowed_cpus 修复同思路，已被 Tejun Heo 合入 sched_ext/for-7.3。

该 patch 修复 compat.bpf.h 中 scx_bpf_dsq_reenq___compat extern 多写了一个被 KF_IMPLICIT_ARGS 隐式省略的 bpf_prog_aux 参数，导致 libbpf 在所有内核上都无法 resolve 该 weak extern，__COMPAT_has_generic_reenq() 永远返回 false，scx_qmap 等通用 reenq 用户被误判为内核过旧。同时订正过时的 v6.20 注释为 v7.1，并加上 v7.1+ stable 后向移植标签。patch 本意发往 for-7.2-fixes，最终被 Tejun ...

compat.bpf.h 中 scx_bpf_dsq_move_to_local___v2 extern 漏写 ___compat 后缀，导致 libbpf 解析 BTF 时把它当成无 flavor 的 scx_bpf_dsq_move_to_local，bpf_ksym_exists() 永远 false，宏静默回退到 ___v1 并丢掉 enq_flags（如 SCX_ENQ_IMMED）。补丁补齐 ___v2___compat 双后缀命名以匹配同文件其他版本化 extern。Tejun Heo 已将其合入 sched_ext/for-7.2-fixes，并标注 stable v7.1+ ...

sched_ext 拆分 scx_ops_init_task 后，scx_fork 用 scx_init_task_enabled 做 gate，但 scx_cancel_fork 仍以 scx_enabled() 为门禁，导致 enable 窗口内 fork 失败的任务跑过 init_task 却永远拿不到 exit_task。本 patch 把 gate 对齐为 scx_init_task_enabled，修复 init/exit 配对并被 Cc 到 stable v6.12+。

Tejun Heo 修复 scx_process_sync_ecaps() 在 core scheduling 下使用错误 dsp_ctx 的 bug。改动把 dispatch 上下文从目标 CPU 的 pcpu 改为执行 CPU 的 pcpu，与 scx_dispatch_sched() 对齐，确保 sub_ecaps_updated() 的 kfunc 在 sibling rq 路径下拿到正确的 rq 和 dispatch buffer。补丁已被 Applied 到 sched_ext/for-7.3 分支。

Tejun Heo 借助 bpf-next 刚落地的 kfunc/struct_ops __arena 参数支持，把 sched_ext cid-form 的 set_cmask、sub_caps_updated、scx_bpf_sub_grant/revoke/caps 与 scx_bpf_cid_override 等跨边界接口统一迁到 __arena 参数，删除手工 scx_kaddr_to_arena() rebase 与 BPF 端 (void *)(long) cast。3 个 patch，+148/-148 行，覆盖 11 个文件；同时把 cid_override 的 __sz 拆...

David Carlier 报告 sched_ext 在 core scheduling 下，scx_process_sync_ecaps() 把 dispatch context 错绑到目标 CPU 的 pcpu，导致执行 sibling CPU 上的 dsp_ctx.rq 为 NULL。该 bug 与 commit 3dd52416e44a 同类但被遗漏：若 ops.sub_ecaps_updated() 回调里调用 scx_bpf_dsq_move_to_local()，会走进 cpu_of(NULL) 触发 oops。作者建议改用 this_cpu_ptr(pcpu->sch->pcp...

scx_bpf_cid_to_cpu/cpu_to_cid/cid_topo 三个 kfunc 归在 scx_kfunc_ids_cid 里，但 scx_kfunc_context_filter() 漏检这个集合，导致任意 struct_ops 程序（包括 TCP 拥塞控制）都能调用它们。补丁把 scx_kfunc_ids_cid 加入 filter 的已知集合，与 in_any / in_idle 并列处理。Tejun 已 apply 到 sched_ext/for-7.3。

Ziyang Men 提出的4 patch 系列把 selftests/{bpf,sched_ext,hid}/ 中重复的 libbpf+bpftool+vmlinux.h+skeleton 工具链抽到共享片段 tools/testing/selftests/lib.bpf.mk，并新增 selftests/cgroup/test_memcg_stat_cross_cpu 验证 memcg BPF kfunc 与 rstat flush 在跨 CPU 场景下的正确性。维护者主要在 EXTRA_CFLAGS/OPT_FLAGS 透传、cgroup 测试选址与 bot CI 上提出反馈，作者承诺 ...

sched_ext selftest 中 exit.c 没有像其它兄弟 selftest 那样在 exit__open() 返回 NULL 时立刻失败，导致下一行 SCX_ENUM_INIT 通过 skel->rodata 解引用空指针。本 patch 增加一行 SCX_FAIL_IF(!skel, "Failed to open") 与其他 selftest 风格对齐，已被 Tejun Heo 合入 sched_ext/for-7.3。

v11 系列通过新增 SCX_OPS_ENQ_BLOCKED 与 SCX_ENQ_BLOCKED 让 BPF 调度器可选地接收被阻塞的 proxy donor，并把 sched_ext 的回调、kfunc 视角由 rq->curr 拆分为 rq->donor，从而解开 SCHED_PROXY_EXEC 与 SCHED_CLASS_EXT 的构建时互斥。同时给出 kselftest 与 scx_qmap -X 演示选项，并修复 NOHZ 带宽与 running/stopping 配对的若干边角问题。

Cui Jian 提交补丁为 find_parent_sched() 增加 parent 的 NULL 检查，声称 BPF 传入 cgroup v1 ID 可触发内核崩溃。Zhan Xusheng 逐层论证该路径不可达：cgroup_get_from_id() 只在 v2 默认层级 kernfs root 查找，且 cgroup_is_descendant() 会因 root 不同而拒绝，v1 cgroup 从不设置 scx_sched。作者接受意见后重发，代码完全不变，仅把标题从 Fix NULL dereference 改为 Add NULL check、changelog 改为防御性加固...

Andrea Righi 提交的 v10 系列把 SCHED_PROXY_EXEC 与 SCHED_CLASS_EXT 由编译期互斥改为可同时开启。核心做法是引入 SCX_OPS_ENQ_BLOCKED capability，把 blocked donor 的入队决策交给 BPF 调度器，并在 rq->donor 与 rq->curr 之间严格区分调度上下文与执行上下文。Tejun Heo 关注代码移动与 PI 跨类切换等细节，sashiko-bot 指出 reject DSQ 锁路径与文档不一致。

本系列为 sched_ext 子调度器新增 SCX_ENQ_RESCUE 救援执行路径：当任务可运行 cpu 全部落在调度器未持有的 cid 上时，kernel 在每 CPU 限定的带宽（默认 2% CPU 时间）下直接驱动任务，并按救援消耗驱逐真正过载的 sub-sched。同时重构 slice/dsq_vtime 写入协议，引入 SCX_TASK_PROTECTED 防止 kernel 授权的 slice 被 BPF 改写，并修复内部 enq_flags 校验、pinned 任务直派等并发与正确性问题。scx_qmap 作为示范调度器接入救援路径，提供 -B/-q 旋钮与统计。

sched_ext 为 v7.2-rc6 提交了四类 bugfix：子调度器 enable 失败路径的 use-after-free、cgroup/kernfs 锁序死锁、WAKE_SYNC 场景下 waker CPU 空闲标记错误，以及 numa 自测对睡眠任务 affinity 变化的处理。这些修复已由 pr-tracker-bot 合并进 torvalds/linux.git。

sched_ext 内置 idle mask 在 scheduler 启用时将所有 online CPU 标记为 idle，导致 busy CPU 被误报。v4 改为空初始化，依赖 bypass re-notification 路径填充真正 idle 的 CPU。同时重构 allowed_cpus selftest，用稳定的本地不变量替代竞态的远端 CPU 检查。已合入 for-7.3。

sched_ext 内置 idle mask 在调度器完全启用前将所有 online CPU 标记为 idle，导致 ops.init() 看到错误状态。本系列在 ops.init() 之前启用 idle 追踪并逐 CPU 刷新真实状态，同时将 allowed_cpus 自测从竞态的远程检查改为稳定的本地不变量验证。Tejun 提出了更简洁的替代方案（清空而非设置 idle bit），值得后续跟进。

scx_root_enable_workfn() 在 ENABLING→ENABLED cmpxchg 失败时跳转 err_disable，但未设置 ret，导致错误日志输出 failed (0) 无意义。本 patch 在跳转前补设 ret=-EBUSY，与函数顶部其他状态守卫一致。已被 Tejun Heo 合入 sched_ext/for-7.3。

sched_ext_ops 结构体的成员 cgroup_id 已被重命名为 sub_cgroup_id，但 kernel-doc 注释未同步，导致两处文档警告。本 patch 将 @cgroup_id 更新为 @sub_cgroup_id，已被 Tejun Heo 合入 sched_ext/for-7.3。

本系列为 sched_ext 子调度器中因 CPU 亲和性与 cid 不匹配而搁浅的任务，新增内核侧的带宽受限救援执行机制。调度器在 insert 时标记 SCX_ENQ_RESCUE，内核将任务放入 rescue DSQ 以受限带宽运行，等待过久时升级为不可抢占的 protected execution。当救援队列持续过载时，逐出消耗救援资源最多的子调度器而非归咎于等待者。

sched_ext 内置 idle mask 在 ops.init() 前将所有 online CPU 标记为 idle，但 idle 追踪未启动，导致 busy CPU 被误报为 idle。本系列在调度器启用前开启 idle 追踪并逐 CPU 持 rq lock 刷新状态，同时将 allowed_cpus 自测从竞态的远程 CPU 检查改为稳定的本地不变量验证。v3 将合并静态键并可能扩展不变量检查范围。

sched_ext 的 allowed_cpus 自测在验证远程 CPU 的 idle 状态时存在本质竞态：远程 CPU 可在验证前被 idle re-pick 重新标记为 idle，导致误报。本 patch 将验证改为检查本地 CPU 的 idle 不变量（本地 CPU 不可能在本回调运行期间被 re-pick），并增加引导阶段刷新 idle mask 初始化状态，同时补充了 allowed domain 和 task affinity 的验证。

修复 call_rcu_tasks_generic() 在 IRQ 禁用上下文中与 rq->lock 形成 ABBA 死锁的问题。通过无锁 llist + irq_work 将回调入队延迟到安全上下文执行。RCU maintainer 建议等待上游 call_rcu()/call_srcu() deferral 系列后再提交 v2，并指出 barrier 需排空所有队列及 CPU hotplug 场景需处理。

sched_ext 的 exit 路径在 NMI 上下文中可死锁：scx_claim_exit() 持 scx_sched_lock 遍历子树，bstr kfuncs 持共享 spinlock 格式化消息。本系列将 ->aborting 扫描改为无锁 + 延迟传播、将 bstr exit 改为 claim-first 直接写入 winner 缓冲区，使 scx_bpf_error()/scx_bpf_exit() 可从 NMI 安全调用。同时让 hardlockup handler 直接从 NMI abort（自检测 lockup 可恢复），NMI kick 不再静默丢弃，scx_link_s...

修复 sched_ext 中 reenqueue irq_work 自我重触发导致 stall watchdog 被阻塞的硬锁死问题。将 per-CPU 仅限 local DSQ 的重入队上限泛化为 per-task 计数器，覆盖所有重入队来源，超限时精确弹出所属调度器而非整个层级。v3 增加了 scx_disable_task() 中 reenq_cnt 的清零，防止计数器跨调度器残留。

修复 sched_ext 中 reenqueue 无限循环导致 CPU 锁死的缺陷。旧代码仅对 local DSQ 重入队有 per-cpu 上限，cap rejection 场景无限制，irq_work 自重触发可阻塞 stall watchdog。新方案引入 per-task reenq_cnt，在所有重入队路径的统一漏斗处递增，超限后弹出所属调度器。v2 优化了事件计数时机，v3 将修复 reenq_cnt 在调度类切换时的残留问题并更新文档。

SCX 的 idle tracking 在 WAKE_SYNC 场景下选中 waker CPU 时未将其标为 busy，导致 allowed_cpus selftest 失败。补丁在 scx_select_cpu_dfl() 补上 scx_idle_test_and_clear_cpu()，已被 Tejun Heo 合入 for-7.2-fixes。仍存在极小概率的 pick_task_idle 竞态。

修正 idle.c 中三处 kernel-doc 注释将 %SCX_PICK_IDLE_CPU_* 错写为不存在的枚举前缀，改为与 scx_pick_idle_cpu_flags 成员一致的 %SCX_PICK_IDLE_*。已由 Tejun Heo 合入 sched_ext/for-7.3。

为 sched_ext 中三类 __rcu 指针的裸读取添加合规标注：cgrp->scx_sched 通过 scx_cgroup_sched() 声明三锁保护，scx_root 通过 scx_root_protected_live/protected() 声明 live 不变式或锁排他，dsq->first_task 用 rcu_access_pointer() 做身份比较。全部无功能变更，已合入 for-7.3。

Andrea Righi 发布 PATCHSET v9，共 14 个补丁，移除 SCHED_PROXY_EXEC 与 SCHED_CLASS_EXT 的构建期互斥。在核心调度器侧把 rq->donor 与 rq->curr 拆开，新增 SCX_OPS_ENQ_BLOCKED 能力位让 BPF scheduler 显式选择是否接管 blocked donor，并同步修复 NOHZ 带宽检查、远端 DSQ 迁移竞态、ops.running/stopping 配对等问题。配套提供 enq_blocked selftest 和 scx_qmap -B 演示选项。

本系列修复两个问题：用户态工具在 exit_req 与 RESTART 同时存在时陷入无限重启循环；sub-scheduler 的 cid-addressed reenq、kick 和 cpuperf 操作缺少权限检查，无 cap 的 sub-sched 可触发他人 CPU 的 IPI 和频率调整。Patch 1 修复 restart 逻辑，Patch 2-3 给 reenq/kick 加 SCX_CAP_BASE 门控并计数拒绝，Patch 4 重构 cpuperf setter，Patch 5 新增 SCX_CAP_PERF 门控 cpuperf 并同步返回结果。

本系列修复 sched_ext 工具在重启等待期忽略 exit_req 导致无限循环的 bug，并堵住子调度器三个权限漏洞：reenq IPI、kick 拒绝和 cidperf cpufreq 操控无 cap 检查。新增 SCX_CAP_PERF 作为独立 cpufreq 权限轴，cidperf_set 通过版本化 v2 kfunc 同步返回拒绝结果。所有拒绝操作均有事件计数器可观测。

补丁修复 kernel/sched/ext/ext.c 中 6 处 kernel-doc 注释缺陷：为 finish_dispatch、scx_rcu_cpu_stall、scx_hardlockup 补齐缺失参数描述，并将 3 个版本化 BPF kfunc 的注释函数名从公开别名改为带 ___v2 后缀的 C 定义名，消除构建警告。Tejun Heo 已合入 sched_ext/for-7.3。

当睡眠任务的 CPU affinity 在睡眠期间被修改后，task_cpu(p) 可能指向已不在 cpus_ptr 中的 CPU，导致 NUMA node 选定后找不到合法 CPU，sched_ext 框架报 "invalid CPU -16" 并使调度器异常退出。补丁在 numa_select_cpu() 中检测 cpumask 不一致时回退 prev_cpu 兜底，Tejun Heo 已 apply 到 for-7.2-fixes。

PATCHSET v8 用 12 个补丁让 CONFIG_SCHED_PROXY_EXEC 与 CONFIG_SCHED_CLASS_EXT 不再互斥，方法是把 rq->donor 与 rq->curr 拆分、由 BPF 通过 SCX_OPS_ENQ_BLOCKED 显式接收 blocked donor，并修复了 set_task_cpu 假告警、consume_remote_task 迁移竞态、NOHZ 带宽核算错、running/stopping 不配对等副作用。John Stultz 已 ack 多处，Tejun Heo 提出用 class callback 替换直接调用、把 GDSQ_...

scx_sub_enable_workfn() 中嵌套深度检查和 cgroup online 检查两条错误路径跳到 err_disable 时未设置 ret，导致 fallback 日志打印 errno=0。补丁分别设置 -EINVAL 和 -ENODEV 使 fallback 报告真实错误码。当前因 scx_error 的 first-error-wins 机制而无害，但 fallback 机制本身是坏的，需要修复。

将 scx_pair 的 ops.cpu_acquire/release() 废弃回调替换为 tp_btf/sched_switch tracepoint 边沿检测，用 p->prio 判断高优先级抢占，消除加载时的废弃警告。idle→高优先级直跳不算 release，sched_setscheduler() 的盲区与旧回调一致。已由 Tejun Heo 合入 sched_ext/for-7.3。