From: Satya Durga Srinivasu Prabhala <quic_satyap@quicinc.com>
To: Qais Yousef <qais.yousef@arm.com>, Peter Zijlstra <peterz@infradead.org>
Cc: <mingo@redhat.com>, <juri.lelli@redhat.com>,
<vincent.guittot@linaro.org>, <dietmar.eggemann@arm.com>,
<rostedt@goodmis.org>, <bsegall@google.com>, <mgorman@suse.de>,
<bristot@redhat.com>, <vschneid@redhat.com>,
<linux-kernel@vger.kernel.org>
Subject: Re: [PATCH] sched: fix rq lock recursion issue
Date: Tue, 5 Jul 2022 20:45:11 -0700 [thread overview]
Message-ID: <8e1760f5-bf3e-ceed-3a13-64ac1bd85a29@quicinc.com> (raw)
In-Reply-To: <20220701114846.42o2tkm5fqt325df@wubuntu>
On 7/1/22 4:48 AM, Qais Yousef wrote:
> On 07/01/22 10:33, Peter Zijlstra wrote:
>> On Thu, Jun 30, 2022 at 10:53:10PM +0100, Qais Yousef wrote:
>>> Hi Satya
>>>
>>> On 06/24/22 00:42, Satya Durga Srinivasu Prabhala wrote:
>>>> Below recursion is observed in a rare scenario where __schedule()
>>>> takes rq lock, at around same time task's affinity is being changed,
>>>> bpf function for tracing sched_switch calls migrate_enabled(),
>>>> checks for affinity change (cpus_ptr != cpus_mask) lands into
>>>> __set_cpus_allowed_ptr which tries acquire rq lock and causing the
>>>> recursion bug.
>>>>
>>>> Fix the issue by switching to preempt_enable/disable() for non-RT
>>>> Kernels.
>>> Interesting bug. Thanks for the report. Unfortunately I can't see this being
>>> a fix as it just limits the bug visibility to PREEMPT_RT kernels, but won't fix
>>> anything, no? ie: Kernels compiled with PREEMPT_RT will still hit this failure.
>> Worse, there's !RT stuff that grew to rely on the preemptible migrate
>> disable stuff, so this actively breaks things.
>>
>>> I'm curious how the race with set affinity is happening. I would have thought
>>> user space would get blocked as __schedule() will hold the rq lock.
>>>
>>> Do you have more details on that?
>> Yeah, I'm not seeing how this works either, in order for
>> migrate_enable() to actually call __set_cpus_allowed_ptr(), it needs to
>> have done migrate_disable() *before* schedule, schedule() will then have
>> to call migrate_disable_swich(), and *then* migrate_enable() does this.
>>
>> However, if things are nicely balanced (as they should be), then
>> trace_call_bpf() using migrate_disable()/migrate_enable() should never
>> hit this path.
>>
>> If, OTOH, migrate_disable() was called prior to schedule() and we did do
>> migrate_disable_switch(), then it should be impossible for the
>> tracepoint/bpf stuff to reach p->migration_disabled == 0.
> I think it's worth to confirm which kernel Satya is on too. If it's GKI, then
> worth checking first this is actually reproducible on/applicable to mainline.
We are seeing the issue on 5.15 GKI Kernel. On older Kernels, like 5.10
Kernel
migrate_disable/enable() end-up calling preempt_disable/enable(). I will
cross
check further on comments and inputs I received so far.
>
> Cheers
>
> --
> Qais Yousef
next prev parent reply other threads:[~2022-07-06 3:45 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-06-24 7:42 Satya Durga Srinivasu Prabhala
2022-06-30 21:53 ` Qais Yousef
2022-07-01 8:33 ` Peter Zijlstra
2022-07-01 11:48 ` Qais Yousef
2022-07-04 8:32 ` Dietmar Eggemann
2022-07-06 3:42 ` Satya Durga Srinivasu Prabhala
2022-07-06 3:45 ` Satya Durga Srinivasu Prabhala [this message]
2022-07-06 3:46 ` Satya Durga Srinivasu Prabhala
2022-07-05 2:06 ` Satya Durga Srinivasu Prabhala
2022-06-30 22:37 ` Steven Rostedt
2022-07-01 15:54 ` Steven Rostedt
2022-07-06 3:44 ` Satya Durga Srinivasu Prabhala
[not found] ` <000101d89013$f2157320$d6405960$@quicinc.com>
2022-07-05 7:24 ` Peter Zijlstra
2022-07-06 3:40 ` Satya Durga Srinivasu Prabhala
2022-07-06 3:47 ` Satya Durga Srinivasu Prabhala
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=8e1760f5-bf3e-ceed-3a13-64ac1bd85a29@quicinc.com \
--to=quic_satyap@quicinc.com \
--cc=bristot@redhat.com \
--cc=bsegall@google.com \
--cc=dietmar.eggemann@arm.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=qais.yousef@arm.com \
--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®