From: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
To: Linus Torvalds <torvalds@linux-foundation.org>,
Steven Rostedt <rostedt@goodmis.org>,
Catalin Marinas <catalin.marinas@arm.com>,
Will Deacon <will@kernel.org>
Cc: LKML <linux-kernel@vger.kernel.org>,
Masami Hiramatsu <mhiramat@kernel.org>,
Guenter Roeck <linux@roeck-us.net>,
Luo Gengkun <luogengkun@huaweicloud.com>,
Pu Lehui <pulehui@huawei.com>,
Qianfeng Rong <rongqianfeng@vivo.com>,
Vladimir Riabchun <ferr.lambarginio@gmail.com>,
Wang Liang <wangliang74@huawei.com>
Subject: Re: [GIT PULL] tracing: Fixes for v6.17
Date: Wed, 10 Sep 2025 15:49:24 -0400 [thread overview]
Message-ID: <77ad4c78-d579-4219-a8aa-a8d4acb8a9c7@efficios.com> (raw)
In-Reply-To: <CAHk-=wiDe+V=kc1HL-jT-C9Pn1AibAU_6CG4Bh9DLeJHfhrHWw@mail.gmail.com>
On 2025-09-10 15:37, Linus Torvalds wrote:
> On Wed, 10 Sept 2025 at 12:19, Linus Torvalds
> <torvalds@linux-foundation.org> wrote:
>>
>> In this case, the appropriate coding is to typically surround it with
>> a pagefault_{disable,enable}() pattern to let the page faulting code
>> know to not actually do the fault.
>
> Btw, I say "typically", because you don't have to do that. The page
> fault code uses
>
> if (faulthandler_disabled() ..)
>
> to decide if it should handle the fault or not, and that checks not
> just if page faults are explicitly disabled, but also checks -
> surprise surprise - "in_atomic()".
>
> So just being in an explicitly atomic context automatically means that
> __copy_from_user_inatomic() is atomic.
>
> Which makes me wonder if there is something entirely wrong.
>
> Because the explanation for this in commit 3d62ab32df06 ("tracing: Fix
> tracing_marker may trigger page fault during preempt_disable") talks
> about the task being preempted in between the
>
> ring_buffer_lock_reserve
> ring_buffer_unlock_commit
>
> and it sounds like maybe the tracing code isn't disabling preemption
> for the whole sequence?
>
> Because "in_atomic()" does check the preempt count, and so just being
> non-preemptible should already have disabled page faults.
>
> Maybe the page fault just ends up being expensive enough that it
> exposes preemption being more *likely* just because the window now is
> much wider.
>
> Alternatively, this is perhaps an arm64-specific bug where the page
> fault disabling doesn't honor the preemption disable of
> faulthandler_disabled()?
>
> I did *not* go through the whole arm64 page faulting code: that commit
> talks about do_mem_abort() which is done as part of the common arm64
> fault handling, and if that then doesn't honor
> faulthandler_disabled(), then honestly, that perf fix isn't actually
> fixing anything either. It would still do the same reschedule even
> with an explicit "pagefault_disable()/enable()" if
> faulthandler_disabled() simply isn't honored properly.
>
> Adding Catalin and Will to the participants to see if they have input
> on that whole do_mem_abort() angle.
See include/linux/uaccess.h:
/*
* The pagefault handler is in general disabled by pagefault_disable() or
* when in irq context (via in_atomic()).
*
* This function should only be used by the fault handlers. Other users should
* stick to pagefault_disabled().
* Please NEVER use preempt_disable() to disable the fault handler. With
* !CONFIG_PREEMPT_COUNT, this is like a NOP. So the handler won't be disabled.
* in_atomic() will report different values based on !CONFIG_PREEMPT_COUNT.
*/
#define faulthandler_disabled() (pagefault_disabled() || in_atomic())
Especially the part where in_atomic() is not so useful with
!CONFIG_PREEMPT_COUNT. AFAIU, this is why we rely on explicit
pagefault disable/enable in tracing code.
Thanks,
Mathieu
--
Mathieu Desnoyers
EfficiOS Inc.
https://www.efficios.com
next prev parent reply other threads:[~2025-09-10 19:49 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-09-09 20:21 Steven Rostedt
2025-09-10 19:19 ` Linus Torvalds
2025-09-10 19:37 ` Linus Torvalds
2025-09-10 19:49 ` Mathieu Desnoyers [this message]
2025-09-10 20:21 ` Steven Rostedt
2025-09-10 20:42 ` Linus Torvalds
2025-09-10 20:04 ` Steven Rostedt
2025-09-10 19:42 ` pr-tracker-bot
-- strict thread matches above, loose matches on Subject: below --
2025-09-28 12:46 Steven Rostedt
2025-09-28 17:31 ` pr-tracker-bot
2025-08-22 16:49 Steven Rostedt
2025-08-22 19:24 ` Nathan Chancellor
2025-08-22 21:08 ` Steven Rostedt
2025-08-22 21:16 ` Steven Rostedt
2025-08-22 21:23 ` Nathan Chancellor
2025-08-22 21:31 ` Steven Rostedt
2025-08-22 21:39 ` Steven Rostedt
2025-08-22 23:55 ` Nathan Chancellor
2025-08-22 23:57 ` Steven Rostedt
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=77ad4c78-d579-4219-a8aa-a8d4acb8a9c7@efficios.com \
--to=mathieu.desnoyers@efficios.com \
--cc=catalin.marinas@arm.com \
--cc=ferr.lambarginio@gmail.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linux@roeck-us.net \
--cc=luogengkun@huaweicloud.com \
--cc=mhiramat@kernel.org \
--cc=pulehui@huawei.com \
--cc=rongqianfeng@vivo.com \
--cc=rostedt@goodmis.org \
--cc=torvalds@linux-foundation.org \
--cc=wangliang74@huawei.com \
--cc=will@kernel.org \
/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®