[PATCH v4] sched_ext: Trigger ops.update_idle() from pick_task_idle()

From: Andrea Righi
Date: Tue Oct 15 2024 - 07:15:54 EST


With the consolidation of put_prev_task/set_next_task(), see
commit 436f3eed5c69 ("sched: Combine the last put_prev_task() and the
first set_next_task()"), we are now skipping the transition between
these two functions when the previous and the next tasks are the same.

As a result, ops.update_idle() is now called only once when the CPU
transitions to the idle class. If the CPU stays active (e.g., through a
call to scx_bpf_kick_cpu()), ops.update_idle() will not be triggered
again since the task remains unchanged (rq->idle).

While this behavior seems generally correct, it can cause issues in
certain sched_ext scenarios.

For example, a BPF scheduler might use logic like the following to keep
the CPU active under specific conditions:

void BPF_STRUCT_OPS(sched_update_idle, s32 cpu, bool idle)
{
if (!idle)
return;
if (condition)
scx_bpf_kick_cpu(cpu, 0);
}

A call to scx_bpf_kick_cpu() wakes up the CPU, so in theory,
ops.update_idle() should be triggered again until the condition becomes
false. However, this doesn't happen, and scx_bpf_kick_cpu() doesn't
produce the expected effect.

In practice, this change badly impacts performance in user-space
schedulers that rely on ops.update_idle() to activate user-space
components.

For instance, in the case of scx_rustland, performance drops
significantly (e.g., gaming benchmarks fall from ~60fps to ~10fps).

To address this, trigger ops.update_idle() also from pick_task_idle()
when the idle task keeps running on the CPU. This restores the correct
behavior of ops.update_idle() and it allows to fix the performance
regression in scx_rustland.

Fixes: 7c65ae81ea86 ("sched_ext: Don't call put_prev_task_scx() before picking the next task")
Signed-off-by: Andrea Righi <andrea.righi@xxxxxxxxx>
---
kernel/sched/idle.c | 14 ++++++++++++++
1 file changed, 14 insertions(+)

ChangeLog v3 -> v4:
- handle the core-sched case that may ignore the result of
pick_task(), triggering spurious ops.update_idle() events

ChangeLog v2 -> v3:
- add a comment to clarify why we need to update the scx idle state in
pick_task()

ChangeLog v1 -> v2:
- move the logic from put_prev_set_next_task() to scx_update_idle()

diff --git a/kernel/sched/idle.c b/kernel/sched/idle.c
index d2f096bb274c..3e76b11237a9 100644
--- a/kernel/sched/idle.c
+++ b/kernel/sched/idle.c
@@ -466,6 +466,20 @@ static void set_next_task_idle(struct rq *rq, struct task_struct *next, bool fir

struct task_struct *pick_task_idle(struct rq *rq)
{
+ /*
+ * When switching from a non-idle to the idle class, .set_next_task()
+ * is called only once during the transition.
+ *
+ * However, the CPU may remain active for multiple rounds running the
+ * idle task (e.g., by calling scx_bpf_kick_cpu() from the
+ * ops.update_idle() callback).
+ *
+ * In such cases, we need to keep updating the scx idle state to
+ * properly re-trigger the ops.update_idle() callback and ensure
+ * correct handling of scx idle state transitions.
+ */
+ if (rq->curr == rq->idle)
+ scx_update_idle(rq, true);
return rq->idle;
}

--
2.47.0