Skip to content

Commit 7e0ffb7

Browse files
arighihtejun
authored andcommitted
sched_ext: Fix stale direct dispatch state in ddsp_dsq_id
@p->scx.ddsp_dsq_id can be left set (non-SCX_DSQ_INVALID) triggering a spurious warning in mark_direct_dispatch() when the next wakeup's ops.select_cpu() calls scx_bpf_dsq_insert(), such as: WARNING: kernel/sched/ext.c:1273 at scx_dsq_insert_commit+0xcd/0x140 The root cause is that ddsp_dsq_id was only cleared in dispatch_enqueue(), which is not reached in all paths that consume or cancel a direct dispatch verdict. Fix it by clearing it at the right places: - direct_dispatch(): cache the direct dispatch state in local variables and clear it before dispatch_enqueue() on the synchronous path. For the deferred path, the direct dispatch state must remain set until process_ddsp_deferred_locals() consumes them. - process_ddsp_deferred_locals(): cache the dispatch state in local variables and clear it before calling dispatch_to_local_dsq(), which may migrate the task to another rq. - do_enqueue_task(): clear the dispatch state on the enqueue path (local/global/bypass fallbacks), where the direct dispatch verdict is ignored. - dequeue_task_scx(): clear the dispatch state after dispatch_dequeue() to handle both the deferred dispatch cancellation and the holding_cpu race, covering all cases where a pending direct dispatch is cancelled. - scx_disable_task(): clear the direct dispatch state when transitioning a task out of the current scheduler. Waking tasks may have had the direct dispatch state set by the outgoing scheduler's ops.select_cpu() and then been queued on a wake_list via ttwu_queue_wakelist(), when SCX_OPS_ALLOW_QUEUED_WAKEUP is set. Such tasks are not on the runqueue and are not iterated by scx_bypass(), so their direct dispatch state won't be cleared. Without this clear, any subsequent SCX scheduler that tries to direct dispatch the task will trigger the WARN_ON_ONCE() in mark_direct_dispatch(). Fixes: 5b26f7b ("sched_ext: Allow SCX_DSQ_LOCAL_ON for direct dispatches") Cc: stable@vger.kernel.org # v6.12+ Cc: Daniel Hodges <hodgesd@meta.com> Cc: Patrick Somaru <patsomaru@meta.com> Signed-off-by: Andrea Righi <arighi@nvidia.com> Signed-off-by: Tejun Heo <tj@kernel.org>
1 parent 0c4a59d commit 7e0ffb7

1 file changed

Lines changed: 35 additions & 14 deletions

File tree

kernel/sched/ext.c

Lines changed: 35 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1109,15 +1109,6 @@ static void dispatch_enqueue(struct scx_sched *sch, struct scx_dispatch_q *dsq,
11091109
dsq_mod_nr(dsq, 1);
11101110
p->scx.dsq = dsq;
11111111

1112-
/*
1113-
* scx.ddsp_dsq_id and scx.ddsp_enq_flags are only relevant on the
1114-
* direct dispatch path, but we clear them here because the direct
1115-
* dispatch verdict may be overridden on the enqueue path during e.g.
1116-
* bypass.
1117-
*/
1118-
p->scx.ddsp_dsq_id = SCX_DSQ_INVALID;
1119-
p->scx.ddsp_enq_flags = 0;
1120-
11211112
/*
11221113
* We're transitioning out of QUEUEING or DISPATCHING. store_release to
11231114
* match waiters' load_acquire.
@@ -1283,12 +1274,34 @@ static void mark_direct_dispatch(struct scx_sched *sch,
12831274
p->scx.ddsp_enq_flags = enq_flags;
12841275
}
12851276

1277+
/*
1278+
* Clear @p direct dispatch state when leaving the scheduler.
1279+
*
1280+
* Direct dispatch state must be cleared in the following cases:
1281+
* - direct_dispatch(): cleared on the synchronous enqueue path, deferred
1282+
* dispatch keeps the state until consumed
1283+
* - process_ddsp_deferred_locals(): cleared after consuming deferred state,
1284+
* - do_enqueue_task(): cleared on enqueue fallbacks where the dispatch
1285+
* verdict is ignored (local/global/bypass)
1286+
* - dequeue_task_scx(): cleared after dispatch_dequeue(), covering deferred
1287+
* cancellation and holding_cpu races
1288+
* - scx_disable_task(): cleared for queued wakeup tasks, which are excluded by
1289+
* the scx_bypass() loop, so that stale state is not reused by a subsequent
1290+
* scheduler instance
1291+
*/
1292+
static inline void clear_direct_dispatch(struct task_struct *p)
1293+
{
1294+
p->scx.ddsp_dsq_id = SCX_DSQ_INVALID;
1295+
p->scx.ddsp_enq_flags = 0;
1296+
}
1297+
12861298
static void direct_dispatch(struct scx_sched *sch, struct task_struct *p,
12871299
u64 enq_flags)
12881300
{
12891301
struct rq *rq = task_rq(p);
12901302
struct scx_dispatch_q *dsq =
12911303
find_dsq_for_dispatch(sch, rq, p->scx.ddsp_dsq_id, p);
1304+
u64 ddsp_enq_flags;
12921305

12931306
touch_core_sched_dispatch(rq, p);
12941307

@@ -1329,8 +1342,10 @@ static void direct_dispatch(struct scx_sched *sch, struct task_struct *p,
13291342
return;
13301343
}
13311344

1332-
dispatch_enqueue(sch, dsq, p,
1333-
p->scx.ddsp_enq_flags | SCX_ENQ_CLEAR_OPSS);
1345+
ddsp_enq_flags = p->scx.ddsp_enq_flags;
1346+
clear_direct_dispatch(p);
1347+
1348+
dispatch_enqueue(sch, dsq, p, ddsp_enq_flags | SCX_ENQ_CLEAR_OPSS);
13341349
}
13351350

13361351
static bool scx_rq_online(struct rq *rq)
@@ -1439,6 +1454,7 @@ static void do_enqueue_task(struct rq *rq, struct task_struct *p, u64 enq_flags,
14391454
*/
14401455
touch_core_sched(rq, p);
14411456
refill_task_slice_dfl(sch, p);
1457+
clear_direct_dispatch(p);
14421458
dispatch_enqueue(sch, dsq, p, enq_flags);
14431459
}
14441460

@@ -1610,6 +1626,7 @@ static bool dequeue_task_scx(struct rq *rq, struct task_struct *p, int deq_flags
16101626
sub_nr_running(rq, 1);
16111627

16121628
dispatch_dequeue(rq, p);
1629+
clear_direct_dispatch(p);
16131630
return true;
16141631
}
16151632

@@ -2293,13 +2310,15 @@ static void process_ddsp_deferred_locals(struct rq *rq)
22932310
struct task_struct, scx.dsq_list.node))) {
22942311
struct scx_sched *sch = scx_root;
22952312
struct scx_dispatch_q *dsq;
2313+
u64 dsq_id = p->scx.ddsp_dsq_id;
2314+
u64 enq_flags = p->scx.ddsp_enq_flags;
22962315

22972316
list_del_init(&p->scx.dsq_list.node);
2317+
clear_direct_dispatch(p);
22982318

2299-
dsq = find_dsq_for_dispatch(sch, rq, p->scx.ddsp_dsq_id, p);
2319+
dsq = find_dsq_for_dispatch(sch, rq, dsq_id, p);
23002320
if (!WARN_ON_ONCE(dsq->id != SCX_DSQ_LOCAL))
2301-
dispatch_to_local_dsq(sch, rq, dsq, p,
2302-
p->scx.ddsp_enq_flags);
2321+
dispatch_to_local_dsq(sch, rq, dsq, p, enq_flags);
23032322
}
23042323
}
23052324

@@ -3015,6 +3034,8 @@ static void scx_disable_task(struct task_struct *p)
30153034
lockdep_assert_rq_held(rq);
30163035
WARN_ON_ONCE(scx_get_task_state(p) != SCX_TASK_ENABLED);
30173036

3037+
clear_direct_dispatch(p);
3038+
30183039
if (SCX_HAS_OP(sch, disable))
30193040
SCX_CALL_OP_TASK(sch, SCX_KF_REST, disable, rq, p);
30203041
scx_set_task_state(p, SCX_TASK_READY);

0 commit comments

Comments
 (0)