From: John Stultz <jstultz@google.com>
To: LKML <linux-kernel@vger.kernel.org>
Cc: Peter Zijlstra <peterz@infradead.org>,
Juri Lelli <juri.lelli@redhat.com>,
Valentin Schneider <valentin.schneider@arm.com>,
"Connor O'Brien" <connoro@google.com>,
John Stultz <jstultz@google.com>,
Joel Fernandes <joelagnelf@nvidia.com>,
Qais Yousef <qyousef@layalina.io>,
Ingo Molnar <mingo@redhat.com>,
Vincent Guittot <vincent.guittot@linaro.org>,
Dietmar Eggemann <dietmar.eggemann@arm.com>,
Valentin Schneider <vschneid@redhat.com>,
Steven Rostedt <rostedt@goodmis.org>,
Ben Segall <bsegall@google.com>,
Zimuzo Ezeozue <zezeozue@google.com>,
Mel Gorman <mgorman@suse.de>, Will Deacon <will@kernel.org>,
Waiman Long <longman@redhat.com>,
Boqun Feng <boqun.feng@gmail.com>,
"Paul E. McKenney" <paulmck@kernel.org>,
Metin Kaya <Metin.Kaya@arm.com>,
Xuewen Yan <xuewen.yan94@gmail.com>,
K Prateek Nayak <kprateek.nayak@amd.com>,
Thomas Gleixner <tglx@linutronix.de>,
Daniel Lezcano <daniel.lezcano@linaro.org>,
Suleiman Souhlal <suleiman@google.com>,
kuyo chang <kuyo.chang@mediatek.com>, hupu <hupu.gm@gmail.com>,
Vasily Gorbik <gor@linux.ibm.com>,
kernel-team@android.com
Subject: [PATCH v30 7/7] sched: Add deactivated (sleeping) owner handling to find_proxy_task()
Date: Wed, 1 Jul 2026 21:46:02 +0000 [thread overview]
Message-ID: <20260701214615.3773339-8-jstultz@google.com> (raw)
In-Reply-To: <20260701214615.3773339-1-jstultz@google.com>
From: Peter Zijlstra <peterz@infradead.org>
If the blocked_on chain resolves to a sleeping owner, deactivate
the donor task, and enqueue it on the sleeping owner task.
Then re-activate it later when the owner is woken up.
NOTE: This has been particularly challenging to get working
properly, and some of the locking is particularly awkward. I'd
very much appreciate review and feedback for ways to simplify
this.
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Signed-off-by: Juri Lelli <juri.lelli@redhat.com>
Signed-off-by: Valentin Schneider <valentin.schneider@arm.com>
Signed-off-by: Connor O'Brien <connoro@google.com>
[jstultz: This was broken out from the larger proxy() patch]
Signed-off-by: John Stultz <jstultz@google.com>
---
v5:
* Split out from larger proxy patch
v6:
* Major rework, replacing the single list head per task with
per-task list head and nodes, creating a tree structure so
we only wake up descendants of the task woken.
* Reworked the locking to take the task->pi_lock, so we can
avoid mid-chain wakeup races from try_to_wake_up() called by
the ww_mutex logic.
v7:
* Drop unnecessary __nested lock annotation, as we already drop
the lock prior.
* Add comments on #else & #endif lines, and clearer function
names, and commit message tweaks as suggested by Metin Kaya
* Move activate_blocked_entities() call from ttwu_queue to
try_to_wake_up() to simplify locking. Thanks to questions from
Metin Kaya
* Fix irqsave/irqrestore usage now we call this outside where
the pi_lock is held
* Fix activate_blocked_entitites not preserving wake_cpu
* Fix for UP builds
v8:
* Minor checkpatch fixup
* Drop proxy_deactivate and cleanups suggested by Metin
v9:
* Fix bug causing possibly uninitialized cpu value to be used with
activate_blocked_entities()
* Improved comment around preserving wake_cpu suggested by Metin
* Add additional lockdep asserts, suggested by Metin
* Tweaked placement of lockdep assert, suggested by Metin
* Fixed comment referring to structure entry name
* Fix to call proxy_resched_idle() _prior_ to calling
proxy_enqueue_on_owner() where we deactivate the task, this
avoids stale references to rq_selected() when the task may
have been migrated to another rq.
* Fix to remove the blocked_head list at the start of
activate_blocked_entities() so we only do a finite amount
of work, avoiding a potential livelock of two cpus removing
and adding tasks to the list at the same time if the owner
went back to sleep while blocked entities were being woken.
v11:
* Big rework to get rid of recursion. Had to add another list
item to the task_stuct to do this as we are in atomic context
and cannot allocate memory while activating blocked entities.
Will need to watch carefully for bugs, as switching to a
list_head in the task_struct instead of a pointer on the
stack opens up the potential for races on the shared state,
but I think I've got the locking sorted.
* Moved proxy_set_task_cpu helper to earlier in the series
* Minor rework for try_to_deactivate_task changes
* Minor variable name cleanups suggested by Metin
v13:
* Switch to use donor from next for proxy_enqueue_on_owner
* Switch to using block_task instead of deactivate_task
v14:
* Ensure we call block_task() last in proxy_enqueue_on_owner
and not touch it again to avoid races where it might be
activated on another cpu
* Make sure we activate blocked_entities when we exit from ttwu
* Fix to enqueue the last task in the chain (p) on the blocked
owner instead of donor, so that we preserve the chain
structure so mid-chain wakeups propagate properly
* Rework of sleeping_owner handling so that we properly deal
with delayed-dequeued (sched_delayed) tasks (also removes
now unused proxy_deactivate() logic)
v15:
* Rework do_activate_task to be activate_task() and have it
call __activate_task(), suggested by Carlos Llamas
* Put task_struct additions under CONFIG_SCHED_PROXY_EXEC
v16:
* Rework do_activate_blocked_waiter locking to use scoped_guard
* Rework find_proxy_task() logic to use guard
v18:
* Integrate Suleiman's suggested optimization to check sleeping
owner status before task_cpu, to avoid unnecssarily
proxy-migrating tasks to then just dequeue them.
* Add on_cpu check to fix for a very hard to reproduce race where
a late blocked_task_activation() happens while the task is already
on_cpu elsewhere. When we get to __schedule() we block the task
(!on_rq) but haven't yet switched away. blocked_task_activation()
would then incorrectly activate on a different runqueue.
* Add init_task initialization for sleeping owner lists, as
suggested by Suleiman
v19:
* Build fixup for !CONFIG_SMP
v22:
* Rework to avoid gotos in guard() scopes, using break and
switch() on action values. Suggested by K Prateek.
v25:
* Fix elevated nr_uninterruptible and nr_iowait counts,
which were causing bad loadavg values. Reported and
fixed by David Stevens <stevensd@google.com>
v28:
* In __proxy_remove_from_sleeping_owner() we call
put_task(), which might free the owner while we are
still holing the owners->blocked_lock. So be sure
to get_task()/put_task() around the owner usage to
ensure we don't prematurely free the task.
* Also reorder the put_task/unlock lines in
activate_blocked_waiters(), to avoid a similar issue
v30:
* Optimize activate_blocked_waiters() so we don't do so much
unnecessary work when proxy-exec is enabled. If there are
no blocked waiters, we can return early.
Cc: Joel Fernandes <joelagnelf@nvidia.com>
Cc: Qais Yousef <qyousef@layalina.io>
Cc: Ingo Molnar <mingo@redhat.com>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Juri Lelli <juri.lelli@redhat.com>
Cc: Vincent Guittot <vincent.guittot@linaro.org>
Cc: Dietmar Eggemann <dietmar.eggemann@arm.com>
Cc: Valentin Schneider <vschneid@redhat.com>
Cc: Steven Rostedt <rostedt@goodmis.org>
Cc: Ben Segall <bsegall@google.com>
Cc: Zimuzo Ezeozue <zezeozue@google.com>
Cc: Mel Gorman <mgorman@suse.de>
Cc: Will Deacon <will@kernel.org>
Cc: Waiman Long <longman@redhat.com>
Cc: Boqun Feng <boqun.feng@gmail.com>
Cc: "Paul E. McKenney" <paulmck@kernel.org>
Cc: Metin Kaya <Metin.Kaya@arm.com>
Cc: Xuewen Yan <xuewen.yan94@gmail.com>
Cc: K Prateek Nayak <kprateek.nayak@amd.com>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: Daniel Lezcano <daniel.lezcano@linaro.org>
Cc: Suleiman Souhlal <suleiman@google.com>
Cc: kuyo chang <kuyo.chang@mediatek.com>
Cc: hupu <hupu.gm@gmail.com>
Cc: Vasily Gorbik <gor@linux.ibm.com>
Cc: kernel-team@android.com
---
include/linux/sched.h | 7 +
init/init_task.c | 6 +
kernel/fork.c | 6 +
kernel/sched/core.c | 305 +++++++++++++++++++++++++++++++++++++++---
4 files changed, 303 insertions(+), 21 deletions(-)
diff --git a/include/linux/sched.h b/include/linux/sched.h
index 373bcc0598d10..8c2ba6dce58f4 100644
--- a/include/linux/sched.h
+++ b/include/linux/sched.h
@@ -1251,6 +1251,13 @@ struct task_struct {
struct mutex *blocked_on; /* lock we're blocked on */
raw_spinlock_t blocked_lock;
+#ifdef CONFIG_SCHED_PROXY_EXEC
+ struct list_head blocked_head; /* tasks blocked on this task */
+ struct list_head blocked_node; /* our entry on someone elses blocked_head */
+ /* Node for list of tasks to process blocked_head list for blocked entitiy activations */
+ struct list_head blocked_activation_node;
+ struct task_struct *sleeping_owner; /* task our blocked_node is enqueued on */
+#endif
/*
* The task that is boosting this task; a back link for the current
diff --git a/init/init_task.c b/init/init_task.c
index b67ef6040a655..809282a2741d7 100644
--- a/init/init_task.c
+++ b/init/init_task.c
@@ -211,6 +211,12 @@ struct task_struct init_task __aligned(L1_CACHE_BYTES) = {
&init_task.alloc_lock),
#endif
.blocked_donor = NULL,
+#ifdef CONFIG_SCHED_PROXY_EXEC
+ .blocked_head = LIST_HEAD_INIT(init_task.blocked_head),
+ .blocked_node = LIST_HEAD_INIT(init_task.blocked_node),
+ .blocked_activation_node = LIST_HEAD_INIT(init_task.blocked_activation_node),
+ .sleeping_owner = NULL,
+#endif
#ifdef CONFIG_RT_MUTEXES
.pi_waiters = RB_ROOT_CACHED,
.pi_top_task = NULL,
diff --git a/kernel/fork.c b/kernel/fork.c
index 13e38e89a1f30..fd35f20e955e8 100644
--- a/kernel/fork.c
+++ b/kernel/fork.c
@@ -2242,6 +2242,12 @@ __latent_entropy struct task_struct *copy_process(
p->blocked_on = NULL; /* not blocked yet */
p->blocked_donor = NULL; /* nobody is boosting p yet */
+#ifdef CONFIG_SCHED_PROXY_EXEC
+ INIT_LIST_HEAD(&p->blocked_head);
+ INIT_LIST_HEAD(&p->blocked_node);
+ INIT_LIST_HEAD(&p->blocked_activation_node);
+ p->sleeping_owner = NULL;
+#endif
#ifdef CONFIG_BCACHE
p->sequential_io = 0;
diff --git a/kernel/sched/core.c b/kernel/sched/core.c
index 1bf60d78c9208..ec23de56b5271 100644
--- a/kernel/sched/core.c
+++ b/kernel/sched/core.c
@@ -2216,7 +2216,7 @@ inline bool dequeue_task(struct rq *rq, struct task_struct *p, int flags)
return p->sched_class->dequeue_task(rq, p, flags);
}
-void activate_task(struct rq *rq, struct task_struct *p, int flags)
+static inline void __activate_task(struct rq *rq, struct task_struct *p, int flags)
{
if (task_on_rq_migrating(p))
flags |= ENQUEUE_MIGRATED;
@@ -2227,6 +2227,71 @@ void activate_task(struct rq *rq, struct task_struct *p, int flags)
ASSERT_EXCLUSIVE_WRITER(p->on_rq);
}
+#ifdef CONFIG_SCHED_PROXY_EXEC
+static inline
+void __proxy_remove_from_sleeping_owner(struct task_struct *owner, struct task_struct *p)
+{
+ lockdep_assert_held(&owner->blocked_lock);
+
+ if (p->sleeping_owner == owner) {
+ list_del_init(&p->blocked_node);
+ WRITE_ONCE(p->sleeping_owner, NULL);
+ put_task_struct(owner); // matches get in proxy_enqueue_on_owner
+ }
+}
+
+static inline void proxy_remove_from_sleeping_owner(struct task_struct *p)
+{
+ struct task_struct *owner = READ_ONCE(p->sleeping_owner);
+
+ if (owner) {
+ /*
+ * __proxy_remove_from_sleeping_owner() does a
+ * put on owner to match the get done in
+ * proxy_enqueue_on_owner(). If that put is the
+ * last one and it frees owner, we'd be freeing
+ * a lock we held. So get/put owner around its
+ * usage her to ensure that doesn't happen.
+ */
+ get_task_struct(owner);
+ raw_spin_lock(&owner->blocked_lock);
+ __proxy_remove_from_sleeping_owner(owner, p);
+ raw_spin_unlock(&owner->blocked_lock);
+ put_task_struct(owner);
+ }
+}
+
+void activate_task(struct rq *rq, struct task_struct *p, int en_flags)
+{
+ if (!sched_proxy_exec()) {
+ __activate_task(rq, p, en_flags);
+ return;
+ }
+
+ lockdep_assert_rq_held(rq);
+ proxy_remove_from_sleeping_owner(p);
+ /*
+ * By calling __activate_task() with blocked_lock held, we
+ * order against the find_proxy_task() blocked_task case
+ * such that no more blocked tasks will be enqueued on p
+ * once we release p->blocked_lock.
+ */
+ raw_spin_lock(&p->blocked_lock);
+ WARN_ON(task_cpu(p) != cpu_of(rq));
+ __activate_task(rq, p, en_flags);
+ raw_spin_unlock(&p->blocked_lock);
+}
+#else
+static inline void proxy_remove_from_sleeping_owner(struct task_struct *p)
+{
+}
+
+void activate_task(struct rq *rq, struct task_struct *p, int en_flags)
+{
+ __activate_task(rq, p, en_flags);
+}
+#endif
+
void deactivate_task(struct rq *rq, struct task_struct *p, int flags)
{
WARN_ON_ONCE(flags & DEQUEUE_SLEEP);
@@ -3756,6 +3821,163 @@ static inline void proxy_reset_donor(struct rq *rq)
resched_curr(rq);
}
+static inline void proxy_set_task_cpu(struct task_struct *p, int cpu)
+{
+ unsigned int wake_cpu;
+
+ /*
+ * Since we are enqueuing a blocked task on a cpu it may
+ * not be able to run on, preserve wake_cpu when we
+ * __set_task_cpu so we can return the task to where it
+ * was previously runnable.
+ */
+ wake_cpu = p->wake_cpu;
+ __set_task_cpu(p, cpu);
+ p->wake_cpu = wake_cpu;
+}
+
+static void do_activate_blocked_waiter(struct rq *target_rq, struct task_struct *p, int en_flags)
+{
+ unsigned int state;
+ struct rq_flags rf;
+ int target_cpu = cpu_of(target_rq);
+
+ scoped_guard (raw_spinlock_irqsave, &p->pi_lock) {
+ state = READ_ONCE(p->__state);
+ /* Avoid racing with ttwu */
+ if (state == TASK_WAKING)
+ return;
+
+ if (READ_ONCE(p->on_rq)) {
+ /*
+ * We raced with a non mutex handoff activation of p.
+ * That activation will also take care of activating
+ * all of the tasks after p in the blocked_head list,
+ * so we're done here.
+ */
+ return;
+ }
+ if (task_on_cpu(task_rq(p), p)) {
+ /*
+ * Its possible this activation is very late, and
+ * we already were woken up and are running on a
+ * different cpu. If that task blocked, it could be
+ * dequeued (so on_rq == 0), but still on_cpu.
+ * Bail in this case, as we definitely don't want to
+ * activate a task when its on_cpu elsewhere.
+ */
+ return;
+ }
+ proxy_set_task_cpu(p, target_cpu);
+ rq_lock_irqsave(target_rq, &rf);
+ /*
+ * proxy_enqueue_on_owner() called block_task() which
+ * increments nr_uninterruptible/nr_iowait, so we need
+ * to reverse that when we activate the blocked waiter
+ */
+ if (p->sched_contributes_to_load)
+ target_rq->nr_uninterruptible--;
+ if (p->in_iowait) {
+ delayacct_blkio_end(p);
+ atomic_dec(&task_rq(p)->nr_iowait);
+ }
+ update_rq_clock(target_rq);
+ activate_task(target_rq, p, en_flags);
+ resched_curr(target_rq);
+ rq_unlock_irqrestore(target_rq, &rf);
+ }
+}
+
+static void activate_blocked_waiters(struct rq *target_rq,
+ struct task_struct *owner,
+ int wake_flags)
+{
+ struct list_head bal_head;
+ unsigned long flags;
+ int en_flags = ENQUEUE_WAKEUP | ENQUEUE_NOCLOCK;
+
+ if (!sched_proxy_exec())
+ return;
+
+ /*
+ * A whole bunch of waiting donor tasks back this blocked
+ * lock owner task, wake them all up to give this task its
+ * 'fair' share.
+ *
+ * This is a little unique here and the locking is messy.
+ * At this point we only hold the blocked_lock, so the
+ * owner task may be able to run and do all sorts of
+ * things while we are processing the blocked_head list,
+ * including going back to sleep, which can cause tasks
+ * to be added to the owners->blocked_head while we are
+ * processing it!
+ * Thus, we pull the entire list off the owner->blocked_head
+ * here so that we will only process a finite amount of
+ * tasks. Tasks added after this will be processed by the
+ * future wake events.
+ * Even though we have pulled the list off the blocked_head
+ * the removed list is *still* "owned" and serialized by
+ * the owner->blocked_lock! As we have to serialize against
+ * mid-chain wakeups, who may try to remove themselves from
+ * the list.
+ */
+ raw_spin_lock_irqsave(&owner->blocked_lock, flags);
+ if (!list_empty(&owner->blocked_activation_node)) {
+ raw_spin_unlock_irqrestore(&owner->blocked_lock, flags);
+ return;
+ }
+
+ if (list_empty(&owner->blocked_head)) {
+ raw_spin_unlock_irqrestore(&owner->blocked_lock, flags);
+ return;
+ }
+
+ get_task_struct(owner);
+ INIT_LIST_HEAD(&bal_head);
+ list_add_tail(&owner->blocked_activation_node, &bal_head);
+ raw_spin_unlock_irqrestore(&owner->blocked_lock, flags);
+
+ if (wake_flags & WF_MIGRATED)
+ en_flags |= ENQUEUE_MIGRATED;
+
+ while (!list_empty(&bal_head)) {
+ struct list_head tmp_head;
+
+ INIT_LIST_HEAD(&tmp_head);
+ owner = list_first_entry(&bal_head, struct task_struct, blocked_activation_node);
+
+ raw_spin_lock_irqsave(&owner->blocked_lock, flags);
+ list_replace_init(&owner->blocked_head, &tmp_head);
+ list_del_init(&owner->blocked_activation_node);
+ while (!list_empty(&tmp_head)) {
+ struct task_struct *p;
+
+ p = list_first_entry(&tmp_head,
+ struct task_struct,
+ blocked_node);
+ WARN_ON(p == owner);
+ WARN_ON(p->sleeping_owner != owner);
+ __proxy_remove_from_sleeping_owner(owner, p);
+ raw_spin_unlock_irqrestore(&owner->blocked_lock, flags);
+
+ do_activate_blocked_waiter(target_rq, p, en_flags);
+
+ raw_spin_lock_irqsave(&p->blocked_lock, flags);
+ if (list_empty(&p->blocked_activation_node)) {
+ get_task_struct(p);
+ list_add_tail(&p->blocked_activation_node, &bal_head);
+ }
+ raw_spin_unlock_irqrestore(&p->blocked_lock, flags);
+
+ raw_spin_lock_irqsave(&owner->blocked_lock, flags);
+ }
+ raw_spin_unlock_irqrestore(&owner->blocked_lock, flags);
+ put_task_struct(owner); // put matches get prior to adding to local bal_head
+ }
+}
+
+static inline struct task_struct *proxy_resched_idle(struct rq *rq);
+
/*
* Checks to see if task p has been proxy-migrated to another rq
* and needs to be returned. If so, we deactivate the task here
@@ -3800,6 +4022,11 @@ static inline bool proxy_needs_return(struct rq *rq, struct task_struct *p)
{
return false;
}
+static inline void activate_blocked_waiters(struct rq *target_rq,
+ struct task_struct *owner,
+ int wake_flags)
+{
+}
#endif /* CONFIG_SCHED_PROXY_EXEC */
static void
@@ -3873,8 +4100,10 @@ static int ttwu_runnable(struct task_struct *p, int wake_flags)
update_rq_clock(rq);
if (p->is_blocked) {
- if (p->se.sched_delayed)
+ if (p->se.sched_delayed) {
+ proxy_remove_from_sleeping_owner(p);
enqueue_task(rq, p, ENQUEUE_NOCLOCK | ENQUEUE_DELAYED);
+ }
if (proxy_needs_return(rq, p))
return 0;
}
@@ -3903,13 +4132,19 @@ void sched_ttwu_pending(void *arg)
update_rq_clock(rq);
llist_for_each_entry_safe(p, t, llist, wake_entry.llist) {
+ int wake_flags;
if (WARN_ON_ONCE(p->on_cpu))
smp_cond_load_acquire(&p->on_cpu, !VAL);
if (WARN_ON_ONCE(task_cpu(p) != cpu_of(rq)))
set_task_cpu(p, cpu_of(rq));
- ttwu_do_activate(rq, p, p->sched_remote_wakeup ? WF_MIGRATED : 0, &rf);
+ wake_flags = p->sched_remote_wakeup ? WF_MIGRATED : 0;
+ ttwu_do_activate(rq, p, wake_flags, &rf);
+ rq_unlock(rq, &rf);
+ activate_blocked_waiters(rq, p, wake_flags);
+ rq_lock(rq, &rf);
+ update_rq_clock(rq);
}
/*
@@ -4416,6 +4651,7 @@ int try_to_wake_up(struct task_struct *p, unsigned int state, int wake_flags)
ttwu_queue(p, cpu, wake_flags);
}
out:
+ activate_blocked_waiters(cpu_rq(task_cpu(p)), p, wake_flags);
if (success)
ttwu_stat(p, task_cpu(p), wake_flags);
@@ -6731,21 +6967,6 @@ static bool try_to_block_task(struct rq *rq, struct task_struct *p,
}
#ifdef CONFIG_SCHED_PROXY_EXEC
-static inline void proxy_set_task_cpu(struct task_struct *p, int cpu)
-{
- unsigned int wake_cpu;
-
- /*
- * Since we are enqueuing a blocked task on a cpu it may
- * not be able to run on, preserve wake_cpu when we
- * __set_task_cpu so we can return the task to where it
- * was previously runnable.
- */
- wake_cpu = p->wake_cpu;
- __set_task_cpu(p, cpu);
- p->wake_cpu = wake_cpu;
-}
-
static inline struct task_struct *proxy_resched_idle(struct rq *rq)
{
put_prev_set_next_task(rq, rq->donor, rq->idle);
@@ -6852,6 +7073,28 @@ static void proxy_migrate_task(struct rq *rq, struct rq_flags *rf,
proxy_reacquire_rq_lock(rq, rf);
}
+static void proxy_enqueue_on_owner(struct rq *rq, struct task_struct *owner,
+ struct task_struct *p)
+{
+ lockdep_assert_rq_held(rq);
+ lockdep_assert_held(&owner->blocked_lock);
+ /*
+ * ttwu_activate() will pick them up and place them on whatever rq
+ * @owner will run next.
+ */
+ WARN_ON(p == owner);
+ WARN_ON(!p->on_rq);
+ WARN_ON(p->sleeping_owner);
+ get_task_struct(owner);
+ WRITE_ONCE(p->sleeping_owner, owner);
+ /*
+ * ttwu_do_activate must not have a chance to activate p
+ * elsewhere before it's fully extricated from its old rq.
+ */
+ list_add(&p->blocked_node, &owner->blocked_head);
+ block_task(rq, p, READ_ONCE(p->__state));
+}
+
/*
* Find runnable lock owner to proxy for mutex blocked donor
*
@@ -6938,11 +7181,31 @@ find_proxy_task(struct rq *rq, struct task_struct *donor, struct rq_flags *rf)
}
if (!READ_ONCE(owner->on_rq) || owner->se.sched_delayed) {
- /* XXX Don't handle blocked owners/delayed dequeue yet */
+ /*
+ * rq->curr must not be added to the blocked_head list or else
+ * ttwu_do_activate could enqueue it elsewhere before it switches
+ * out here. The approach to avoid this is the same as in the
+ * migrate_task case.
+ */
if (curr_in_chain)
return proxy_resched_idle(rq);
- __clear_task_blocked_on(p, NULL);
- goto deactivate;
+ /*
+ * If !@owner->on_rq, holding @rq->lock will not pin the task,
+ * so we cannot drop @mutex->wait_lock until we're sure its a blocked
+ * task on this rq.
+ *
+ * We use @owner->blocked_lock to serialize against ttwu_activate().
+ * Either we see its new owner->on_rq or it will see our list_add().
+ */
+ WARN_ON(owner == p);
+ raw_spin_unlock(&p->blocked_lock);
+ raw_spin_lock(&owner->blocked_lock);
+ proxy_resched_idle(rq);
+ proxy_enqueue_on_owner(rq, owner, p);
+ raw_spin_unlock(&owner->blocked_lock);
+ raw_spin_lock(&p->blocked_lock);
+
+ return NULL; /* retry task selection */
}
owner_cpu = task_cpu(owner);
--
2.55.0.rc0.799.gd6f94ed593-goog
next prev parent reply other threads:[~2026-07-01 21:46 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-07-01 21:45 [PATCH v30 0/7] Sleeping Owner Handling for Proxy Execution (v30) John Stultz
2026-07-01 21:45 ` [PATCH v30 1/7] sched/core: Don't steal a proxy-exec donor John Stultz
2026-07-01 21:45 ` [PATCH v30 2/7] sched/core: Avoid migrating blocked_on tasks John Stultz
2026-07-01 21:45 ` [PATCH v30 3/7] sched/core: Don't proxy-exec unmatched cookie lock owners John Stultz
2026-07-02 5:13 ` K Prateek Nayak
2026-07-02 9:14 ` Peter Zijlstra
2026-07-01 21:45 ` [PATCH v30 4/7] sched: Switch rq->next_class in proxy_reset_donor() John Stultz
2026-07-01 21:46 ` [PATCH v30 5/7] sched: Break out core of attach_tasks() helper into sched.h John Stultz
2026-07-01 21:46 ` [PATCH v30 6/7] sched: Migrate whole chain in proxy_migrate_task() John Stultz
2026-07-01 21:46 ` John Stultz [this message]
2026-07-03 3:06 ` [PATCH v30 7/7] sched: Add deactivated (sleeping) owner handling to find_proxy_task() K Prateek Nayak
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20260701214615.3773339-8-jstultz@google.com \
--to=jstultz@google.com \
--cc=Metin.Kaya@arm.com \
--cc=boqun.feng@gmail.com \
--cc=bsegall@google.com \
--cc=connoro@google.com \
--cc=daniel.lezcano@linaro.org \
--cc=dietmar.eggemann@arm.com \
--cc=gor@linux.ibm.com \
--cc=hupu.gm@gmail.com \
--cc=joelagnelf@nvidia.com \
--cc=juri.lelli@redhat.com \
--cc=kernel-team@android.com \
--cc=kprateek.nayak@amd.com \
--cc=kuyo.chang@mediatek.com \
--cc=linux-kernel@vger.kernel.org \
--cc=longman@redhat.com \
--cc=mgorman@suse.de \
--cc=mingo@redhat.com \
--cc=paulmck@kernel.org \
--cc=peterz@infradead.org \
--cc=qyousef@layalina.io \
--cc=rostedt@goodmis.org \
--cc=suleiman@google.com \
--cc=tglx@linutronix.de \
--cc=valentin.schneider@arm.com \
--cc=vincent.guittot@linaro.org \
--cc=vschneid@redhat.com \
--cc=will@kernel.org \
--cc=xuewen.yan94@gmail.com \
--cc=zezeozue@google.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.