* [PATCH 1/2] sched_ext: Factor out drain_offline_rq()
2026-10-31 17:05 [PATCHSET sched_ext/for-7.4-fixes] sched_ext: Fix ops.enqueue/dispatch() calls before ops.cpu_online() Tejun Heo
@ 2026-10-31 17:05 ` Tejun Heo
2026-10-31 17:05 ` [PATCH 2/2] sched_ext: Fix ops.enqueue/dispatch() calls before ops.cpu_online() Tejun Heo
1 sibling, 0 replies; 3+ messages in thread
From: Tejun Heo @ 2026-10-31 17:05 UTC (permalink / raw)
To: sched-ext
Cc: David Vernet, Andrea Righi, Changwoo Min, Emil Tsalapatis,
David Dai, linux-kernel, Tejun Heo, stable
Factor drain_offline_rq() out of rq_offline_scx() so that the drain can move
to handle_hotplug() in the following patch, which removes the rq_online and
rq_offline hooks. The drain is the rescue flush and the re-enqueue of an
offline cpu's tasks onto its local DSQ. No functional change.
Cc: stable@vger.kernel.org # v6.12+
Signed-off-by: Tejun Heo <tj@kernel.org>
---
kernel/sched/ext/ext.c | 35 ++++++++++++++++++++---------------
kernel/sched/sched.h | 2 +-
2 files changed, 21 insertions(+), 16 deletions(-)
diff --git a/kernel/sched/ext/ext.c b/kernel/sched/ext/ext.c
index cd923f9f1f2a..c75df42d8c6f 100644
--- a/kernel/sched/ext/ext.c
+++ b/kernel/sched/ext/ext.c
@@ -2428,7 +2428,7 @@ static void set_task_runnable(struct rq *rq, struct task_struct *p)
}
/*
- * list_add_tail() must be used. scx_bypass() and rq_offline_scx()
+ * list_add_tail() must be used. scx_bypass() and drain_offline_rq()
* depend on tasks being appended to the runnable_list.
*/
list_add_tail(&p->scx.runnable_node, &rq->scx.runnable_list);
@@ -4304,6 +4304,24 @@ static void set_cpus_allowed_scx(struct task_struct *p,
scx_call_op_set_cpumask(sch, task_rq(p), p, (struct cpumask *)p->cpus_ptr);
}
+static void drain_offline_rq(struct rq *rq)
+{
+ struct task_struct *p, *n;
+
+ scx_rescue_flush(rq);
+
+ /*
+ * An offline CPU no longer calls ops.dispatch(). Re-enqueue its tasks
+ * onto the local DSQ so that they run here and balance_push() moves
+ * them off.
+ */
+ list_for_each_entry_safe_reverse(p, n, &rq->scx.runnable_list, scx.runnable_node) {
+ if (p->scx.dsq == &rq->scx.local_dsq)
+ continue;
+ guard(sched_change)(p, DEQUEUE_SAVE | DEQUEUE_MOVE | DEQUEUE_NOCLOCK);
+ }
+}
+
static void handle_hotplug(struct rq *rq, bool online)
{
struct scx_sched *sch = scx_root_protected();
@@ -4391,26 +4409,13 @@ static void rq_online_scx(struct rq *rq)
static void rq_offline_scx(struct rq *rq)
{
- struct task_struct *p, *n;
-
rq->scx.flags &= ~SCX_RQ_ONLINE;
/* sched domain rebuilds call rq_offline with the CPU staying alive */
if (cpu_active(cpu_of(rq)))
return;
- scx_rescue_flush(rq);
-
- /*
- * An offline CPU no longer calls ops.dispatch(). Re-enqueue its tasks
- * onto the local DSQ so that they run here and balance_push() moves
- * them off.
- */
- list_for_each_entry_safe_reverse(p, n, &rq->scx.runnable_list, scx.runnable_node) {
- if (p->scx.dsq == &rq->scx.local_dsq)
- continue;
- guard(sched_change)(p, DEQUEUE_SAVE | DEQUEUE_MOVE | DEQUEUE_NOCLOCK);
- }
+ drain_offline_rq(rq);
}
static bool check_rq_for_timeouts(struct rq *rq)
diff --git a/kernel/sched/sched.h b/kernel/sched/sched.h
index 6c7c5633524a..2cc16c01b168 100644
--- a/kernel/sched/sched.h
+++ b/kernel/sched/sched.h
@@ -4294,7 +4294,7 @@ extern void balance_callbacks(struct rq *rq, struct balance_callback *head);
* Typically this must be called while holding task_rq_lock, since most/all
* properties are serialized under those locks. There are currently two
* exceptions to this rule in sched/ext which only hold rq->lock: scx_bypass()
- * and rq_offline_scx().
+ * and drain_offline_rq().
*/
/*
--
2.56.0
^ permalink raw reply [flat|nested] 3+ messages in thread* [PATCH 2/2] sched_ext: Fix ops.enqueue/dispatch() calls before ops.cpu_online()
2026-10-31 17:05 [PATCHSET sched_ext/for-7.4-fixes] sched_ext: Fix ops.enqueue/dispatch() calls before ops.cpu_online() Tejun Heo
2026-10-31 17:05 ` [PATCH 1/2] sched_ext: Factor out drain_offline_rq() Tejun Heo
@ 2026-10-31 17:05 ` Tejun Heo
1 sibling, 0 replies; 3+ messages in thread
From: Tejun Heo @ 2026-10-31 17:05 UTC (permalink / raw)
To: sched-ext
Cc: David Vernet, Andrea Righi, Changwoo Min, Emil Tsalapatis,
David Dai, linux-kernel, Tejun Heo, stable
ops.cpu_online() documents that the cpu doesn't call ops.enqueue() or
ops.dispatch() before that op. Both are gated on SCX_RQ_ONLINE, which
follows the core's rq online state through the ext class's rq_online and
rq_offline hooks. On a runtime cpu up, sched_cpu_activate() runs:
1. set_cpu_active() marks the cpu active.
2. cpuset_cpu_active() rebuilds the sched domains synchronously, and
rq_attach_root() puts the rq online as the cpu is active now. The
rq_online hook sets SCX_RQ_ONLINE.
3. scx_rq_activate() calls the root's ops.cpu_online().
Between 2 and 3, ops.enqueue() can be called for tasks woken or migrated
onto the cpu, and ops.dispatch() can run on it.
The hooks can't call the ops. They run under the rq lock with IRQs off while
the ops can be sleepable BPF programs, and handle_hotplug() needs the
rebuilt sched domains for its idle topology update.
Track SCX_RQ_ONLINE in handle_hotplug() alone. Set it right after the root's
ops.cpu_online(). Clear it and move the cpu's tasks to its local DSQ when
the cpu goes down. Sched domain rebuilds, which take a live cpu's rq offline
and online again, no longer touch the flag, so a remote dispatch can't see
it cleared by a rebuild and bounce to the global DSQ.
Between 2 and 3, tasks that land on the cpu now go to its local DSQ without
ops.enqueue(), and with sub-schedulers a task whose scheduler lacks caps on
the cpu is admitted anyway and counted in SCX_EV_SUB_FORCED_ADMIT. Both
already happen between 1 and 2.
Fixes: 60c27fb59f6c ("sched_ext: Implement sched_ext_ops.cpu_online/offline()")
Cc: stable@vger.kernel.org # v6.12+
Signed-off-by: Tejun Heo <tj@kernel.org>
---
kernel/sched/ext/ext.c | 60 +++++++++++++++++++++-----------------
kernel/sched/ext/inlines.h | 2 +-
kernel/sched/ext/sub.c | 9 +++---
kernel/sched/sched.h | 15 +++++-----
4 files changed, 48 insertions(+), 38 deletions(-)
diff --git a/kernel/sched/ext/ext.c b/kernel/sched/ext/ext.c
index c75df42d8c6f..5a24f956cf72 100644
--- a/kernel/sched/ext/ext.c
+++ b/kernel/sched/ext/ext.c
@@ -2233,11 +2233,11 @@ static void direct_dispatch(struct scx_sched *sch, struct task_struct *p,
bool scx_rq_online(struct rq *rq)
{
/*
- * Test both cpu_active() and %SCX_RQ_ONLINE. %SCX_RQ_ONLINE follows the
- * core's rq online state. cpu_active() test guarantees that, if this
- * function returns %true, %SCX_RQ_ONLINE will stay set until the
- * current scheduling operation is complete even if we aren't locking
- * @rq.
+ * Test both cpu_active() and %SCX_RQ_ONLINE. %SCX_RQ_ONLINE is set
+ * after the root's ops.cpu_online() and cleared when the cpu goes down.
+ * cpu_active() test guarantees that, if this function returns %true,
+ * %SCX_RQ_ONLINE will stay set until the current scheduling operation
+ * is complete even if we aren't locking @rq.
*/
return likely((rq->scx.flags & SCX_RQ_ONLINE) && cpu_active(cpu_of(rq)));
}
@@ -4328,6 +4328,13 @@ static void handle_hotplug(struct rq *rq, bool online)
s32 cpu = cpu_of(rq);
s32 cpu_or_cid = cpu;
+ if (!online) {
+ guard(rq_lock_irqsave)(rq);
+ update_rq_clock(rq);
+ rq->scx.flags &= ~SCX_RQ_ONLINE;
+ drain_offline_rq(rq);
+ }
+
atomic_long_inc(&scx_hotplug_seq);
scx_update_frozen_cpus(cpu, online);
@@ -4336,8 +4343,14 @@ static void handle_hotplug(struct rq *rq, bool online)
* stable here. Note that we can't depend on scx_enabled() test as the
* hotplug ops need to be enabled before __scx_enabled is set.
*/
- if (unlikely(!sch))
+ if (unlikely(!sch)) {
+ /* no root to notify, set %SCX_RQ_ONLINE right away */
+ if (online) {
+ guard(rq_lock_irqsave)(rq);
+ rq->scx.flags |= SCX_RQ_ONLINE;
+ }
return;
+ }
if (scx_enabled())
scx_idle_update_selcpu_topology(&sch->ops);
@@ -4388,8 +4401,22 @@ static void handle_hotplug(struct rq *rq, bool online)
"cpu %d going %s, exiting scheduler", cpu,
online ? "online" : "offline");
- if (online)
+ if (online) {
+ /*
+ * The cpu must not call ops.enqueue() or ops.dispatch() before
+ * the root's ops.cpu_online(). The core's rq online state can't
+ * gate them, as the sched domain rebuild in
+ * sched_cpu_activate() can put @rq online before this function
+ * runs. Set %SCX_RQ_ONLINE here.
+ *
+ * scx_online_ecaps() queues a reseed whose ecaps ops run in
+ * dispatch context on the cpu and can insert into its local
+ * DSQ. Set the flag first.
+ */
+ scoped_guard (rq_lock_irqsave, rq)
+ rq->scx.flags |= SCX_RQ_ONLINE;
scx_online_ecaps(rq);
+ }
}
void scx_rq_activate(struct rq *rq)
@@ -4402,22 +4429,6 @@ void scx_rq_deactivate(struct rq *rq)
handle_hotplug(rq, false);
}
-static void rq_online_scx(struct rq *rq)
-{
- rq->scx.flags |= SCX_RQ_ONLINE;
-}
-
-static void rq_offline_scx(struct rq *rq)
-{
- rq->scx.flags &= ~SCX_RQ_ONLINE;
-
- /* sched domain rebuilds call rq_offline with the CPU staying alive */
- if (cpu_active(cpu_of(rq)))
- return;
-
- drain_offline_rq(rq);
-}
-
static bool check_rq_for_timeouts(struct rq *rq)
{
struct scx_sched *sch;
@@ -5889,9 +5900,6 @@ DEFINE_SCHED_CLASS(ext) = {
.task_woken = task_woken_scx,
.set_cpus_allowed = set_cpus_allowed_scx,
- .rq_online = rq_online_scx,
- .rq_offline = rq_offline_scx,
-
.task_tick = task_tick_scx,
.switching_to = switching_to_scx,
diff --git a/kernel/sched/ext/inlines.h b/kernel/sched/ext/inlines.h
index 1e39d12678c4..ba66c40b1e18 100644
--- a/kernel/sched/ext/inlines.h
+++ b/kernel/sched/ext/inlines.h
@@ -82,7 +82,7 @@ scx_dispatch_sched(struct scx_sched *sch, struct rq *rq,
/*
* scx_rq_online() can't be used. Its cpu_active() test goes false
* before CPU hotplug waits for an RCU grace period, and
- * rq_offline_scx() moves this CPU's tasks to the local DSQ only after
+ * handle_hotplug() moves this CPU's tasks to the local DSQ only after
* the wait. The grace period can depend on those tasks running.
*/
if (unlikely(!SCX_HAS_OP(sch, dispatch)) || !(rq->scx.flags & SCX_RQ_ONLINE))
diff --git a/kernel/sched/ext/sub.c b/kernel/sched/ext/sub.c
index 6bc6b93ca63a..d2a20114eaa2 100644
--- a/kernel/sched/ext/sub.c
+++ b/kernel/sched/ext/sub.c
@@ -918,10 +918,11 @@ struct scx_dispatch_q *__scx_resolve_local_dsq(struct scx_sched *sch, struct rq
return &rq->scx.local_dsq;
/*
- * The task must run on this CPU regardless of caps: the rq is draining
- * offline (BPF scheduler bypassed), the task is migration-disabled, or a
- * migration is pending. Admit despite the missing caps and count it.
- * Refuse preemptions.
+ * The task must run on this CPU regardless of caps: ops.enqueue() is
+ * skipped while the CPU is going down or before the root's
+ * ops.cpu_online(), the task is migration-disabled, or a migration is
+ * pending. Admit despite the missing caps and count it. Refuse
+ * preemptions.
*/
if (unlikely(!scx_rq_online(rq) || is_migration_disabled(p) ||
p->migration_pending)) {
diff --git a/kernel/sched/sched.h b/kernel/sched/sched.h
index 2cc16c01b168..017ebb5308df 100644
--- a/kernel/sched/sched.h
+++ b/kernel/sched/sched.h
@@ -781,19 +781,20 @@ struct cfs_rq {
/* scx_rq->flags, protected by the rq lock */
enum scx_rq_flags {
/*
- * Set while the core has the rq online, see rq_online_scx() and
- * rq_offline_scx(). A hotplugged cpu starts scheduling before
- * rq_online_scx(). ops.enqueue() and ops.dispatch() are called for the
- * cpu only while it is set, see scx_rq_online() and
- * scx_dispatch_sched().
+ * Set right after the root's ops.cpu_online() when a cpu comes up and
+ * cleared when the cpu goes down, see handle_hotplug(). A hotplugged
+ * cpu starts scheduling before %SCX_RQ_ONLINE is set. ops.enqueue() and
+ * ops.dispatch() are called for the cpu only while the flag is set, see
+ * scx_rq_online() and scx_dispatch_sched().
*/
SCX_RQ_ONLINE = 1 << 0,
SCX_RQ_CAN_STOP_TICK = 1 << 1,
/*
* Set while the root considers the cpu online, from its
* ops.cpu_online() until its ops.cpu_offline(). ecaps are delivered
- * only while it is set. %SCX_RQ_ONLINE follows the core's rq state
- * instead, which changes ahead of the root's view on both edges.
+ * only while it is set. %SCX_RQ_ONLINE can't gate them, as a cpu going
+ * down clears it before the ecaps loss is reported, see
+ * scx_offline_ecaps().
*/
SCX_RQ_OPS_ONLINE = 1 << 2,
SCX_RQ_CLK_VALID = 1 << 5, /* RQ clock is fresh and valid */
--
2.56.0
^ permalink raw reply [flat|nested] 3+ messages in thread