From: Madadi Vineeth Reddy <vineethr@linux.ibm.com>
To: hupu <hupu.gm@gmail.com>
Cc: jstultz@google.com, linux-kernel@vger.kernel.org,
juri.lelli@redhat.com, peterz@infradead.org, vschneid@redhat.com,
mingo@redhat.com, vincent.guittot@linaro.org,
dietmar.eggemann@arm.com, rostedt@goodmis.org,
bsegall@google.com, mgorman@suse.de, hupu@transsion.com,
Madadi Vineeth Reddy <vineethr@linux.ibm.com>
Subject: Re: [RFC 1/1] sched: Remove unreliable wake_cpu check in proxy_needs_return
Date: Wed, 9 Apr 2025 11:31:31 +0530 [thread overview]
Message-ID: <e52847fc-8aae-4fd7-90e4-494be02e214b@linux.ibm.com> (raw)
In-Reply-To: <20250407134654.92841-1-hupu.gm@gmail.com>
On 07/04/25 19:16, hupu wrote:
> The (p->wake_cpu != cpu_of(rq)) check in proxy_needs_return() is unsafe
> during early wakeup phase. When called via ttwu_runnable() path:
>
> |-- try_to_wake_up
> |-- ttwu_runnable
> |-- proxy_needs_return //we are here
> |-- select_task_rq
> |-- set_task_cpu //set p->wake_cpu here
> |-- ttwu_queue
>
> The p->wake_cpu at this point reflects the CPU where donor last ran before
> blocking, not the target migration CPU. During blocking period:
> 1. CPU affinity may have been changed by other threads
> 2. Proxy migrations might have altered the effective wake_cpu
> 3. set_task_cpu() hasn't updated wake_cpu yet in this code path
>
> This makes the wake_cpu vs current CPU comparison meaningless and potentially
> dangerous. Rely on find_proxy_task()'s later migration logic to handle CPU
> placement based on up-to-date affinity and scheduler state.
>
> Signed-off-by: hupu <hupu.gm@gmail.com>
> ---
> kernel/sched/core.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/kernel/sched/core.c b/kernel/sched/core.c
> index 3c4ef4c71cfd..ca4ca739eb85 100644
> --- a/kernel/sched/core.c
> +++ b/kernel/sched/core.c
> @@ -4047,7 +4047,7 @@ static inline bool proxy_needs_return(struct rq *rq, struct task_struct *p)
>
> raw_spin_lock(&p->blocked_lock);
> if (__get_task_blocked_on(p) && p->blocked_on_state & BO_NEEDS_RETURN) {
> - if (!task_current(rq, p) && (p->wake_cpu != cpu_of(rq))) {
> + if (!task_current(rq, p)) {
> if (task_current_donor(rq, p)) {
> put_prev_task(rq, p);
> rq_set_donor(rq, rq->idle);
Which tree is this change based on? I don't see `proxy_needs_return` in tip/sched/core.
Thanks,
Madadi Vineeth Reddy
next prev parent reply other threads:[~2025-04-09 6:01 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-04-07 13:46 hupu
2025-04-09 6:01 ` Madadi Vineeth Reddy [this message]
2025-04-09 6:56 ` hupu
2025-04-09 23:35 ` John Stultz
2025-04-10 7:14 ` hupu
2025-05-19 5:13 ` hupu
2025-05-25 7:47 ` [RESEND RFC " hupu
2025-06-05 14:54 ` [RFC " hupu
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=e52847fc-8aae-4fd7-90e4-494be02e214b@linux.ibm.com \
--to=vineethr@linux.ibm.com \
--cc=20250407134654.92841-1-hupu.gm@gmail.com \
--cc=bsegall@google.com \
--cc=dietmar.eggemann@arm.com \
--cc=hupu.gm@gmail.com \
--cc=hupu@transsion.com \
--cc=jstultz@google.com \
--cc=juri.lelli@redhat.com \
--cc=linux-kernel@vger.kernel.org \
--cc=mgorman@suse.de \
--cc=mingo@redhat.com \
--cc=peterz@infradead.org \
--cc=rostedt@goodmis.org \
--cc=vincent.guittot@linaro.org \
--cc=vschneid@redhat.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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®