From: Steven Rostedt <rostedt@goodmis.org>
To: Peter Zijlstra <peterz@infradead.org>
Cc: Steven Rostedt <rostedt@kernel.org>,
linux-kernel@vger.kernel.org, linux-trace-kernel@vger.kernel.org,
bpf@vger.kernel.org, x86@kernel.org,
Masami Hiramatsu <mhiramat@kernel.org>,
Mathieu Desnoyers <mathieu.desnoyers@efficios.com>,
Josh Poimboeuf <jpoimboe@kernel.org>,
Ingo Molnar <mingo@kernel.org>, Jiri Olsa <jolsa@kernel.org>,
Namhyung Kim <namhyung@kernel.org>,
Thomas Gleixner <tglx@linutronix.de>,
Andrii Nakryiko <andrii@kernel.org>,
Indu Bhagat <indu.bhagat@oracle.com>,
"Jose E. Marchesi" <jemarch@gnu.org>,
Beau Belgrave <beaub@linux.microsoft.com>,
Jens Remus <jremus@linux.ibm.com>,
Linus Torvalds <torvalds@linux-foundation.org>,
Andrew Morton <akpm@linux-foundation.org>,
Jens Axboe <axboe@kernel.dk>, Florian Weimer <fweimer@redhat.com>,
Sam James <sam@gentoo.org>
Subject: Re: [PATCH v13 10/14] unwind: Clear unwind_mask on exit back to user space
Date: Wed, 16 Jul 2025 14:26:09 -0400 [thread overview]
Message-ID: <20250716142609.47f0e4a5@batman.local.home> (raw)
In-Reply-To: <20250715102912.GQ1613200@noisy.programming.kicks-ass.net>
On Tue, 15 Jul 2025 12:29:12 +0200
Peter Zijlstra <peterz@infradead.org> wrote:
> On Mon, Jul 07, 2025 at 09:22:49PM -0400, Steven Rostedt wrote:
> >
> > + /*
> > + * This is the first to enable another task_work for this task since
> > + * the task entered the kernel, or had already called the callbacks.
> > + * Set only the bit for this work and clear all others as they have
> > + * already had their callbacks called, and do not need to call them
> > + * again because of this work.
> > + */
> > + bits = UNWIND_PENDING | BIT(bit);
> > +
> > + /*
> > + * If the cmpxchg() fails, it means that an NMI came in and set
> > + * the pending bit as well as cleared the other bits. Just
> > + * jump to setting the bit for this work.
> > + */
> > if (CAN_USE_IN_NMI) {
> > - /* Claim the work unless an NMI just now swooped in to do so. */
> > - if (!local_try_cmpxchg(&info->pending, &pending, 1))
> > + if (!try_cmpxchg(&info->unwind_mask, &old, bits))
> > goto out;
> > } else {
> > - local_set(&info->pending, 1);
> > + info->unwind_mask = bits;
> > }
> >
> > /* The work has been claimed, now schedule it. */
> > ret = task_work_add(current, &info->work, TWA_RESUME);
> > - if (WARN_ON_ONCE(ret)) {
> > - local_set(&info->pending, 0);
> > - return ret;
> > - }
> >
> > + if (WARN_ON_ONCE(ret))
> > + WRITE_ONCE(info->unwind_mask, 0);
> > +
> > + return ret;
> > out:
> > - return test_and_set_bit(bit, &info->unwind_mask);
> > + return test_and_set_bit(bit, &info->unwind_mask) ?
> > + UNWIND_ALREADY_PENDING : 0;
> > }
>
> This is some of the most horrifyingly confused code I've seen in a
> while.
>
> Please just slow down and think for a minute.
>
> The below is the last four patches rolled into one. Not been near a
> compiler.
The above is still needed as is (explained below).
> @@ -170,41 +193,62 @@ static void unwind_deferred_task_work(st
> int unwind_deferred_request(struct unwind_work *work, u64 *cookie)
> {
> struct unwind_task_info *info = ¤t->unwind_info;
> - int ret;
> + unsigned long bits, mask;
> + int bit, ret;
>
> *cookie = 0;
>
> - if (WARN_ON_ONCE(in_nmi()))
> - return -EINVAL;
> -
> if ((current->flags & (PF_KTHREAD | PF_EXITING)) ||
> !user_mode(task_pt_regs(current)))
> return -EINVAL;
>
> + /* NMI requires having safe cmpxchg operations */
> + if (WARN_ON_ONCE(!UNWIND_NMI_SAFE && in_nmi()))
> + return -EINVAL;
> +
> + /* Do not allow cancelled works to request again */
> + bit = READ_ONCE(work->bit);
> + if (WARN_ON_ONCE(bit < 0))
> + return -EINVAL;
> +
> guard(irqsave)();
>
> *cookie = get_cookie(info);
>
> - /* callback already pending? */
> - if (info->pending)
> + bits = UNWIND_PENDING | BIT(bit);
> + mask = atomic_long_fetch_or(bits, &info->unwind_mask);
> + if (mask & bits)
> return 1;
So the fetch_or() isn't good enough for what needs to be done, and why
the code above is the way it is.
We have this scenario:
perf and ftrace are both tracing the same task. perf with bit 1 and
ftrace with bit 2. Let's say there's even another perf program
running and registered bit 3.
perf requests a deferred callback, and info->unwind_mask gets bit 1
and the pending bit set.
The task is exiting to user space and calls perf's callback and
clears the pending bit but keeps perf's bit set as it was already
called, and doesn't need to be called again even if perf requests a
new stacktrace before the task gets back to user space.
Now before the task gets back to user space, ftrace requests the
deferred trace. To do so, it must set the pending bit and its bit,
but it must also clear the perf bit as it should not call perf's
callback again.
The atomic_long_fetch_or() above will set ftrace's bit but not clear
perf's bits and the perf callback will get called a second time even
though perf never requested another callback.
This is why the code at the top has:
bits = UNWIND_PENDING | BIT(bit);
/*
* If the cmpxchg() fails, it means that an NMI came in and set
* the pending bit as well as cleared the other bits. Just
* jump to setting the bit for this work.
*/
if (CAN_USE_IN_NMI) {
/* Claim the work unless an NMI just now swooped in to do so. */
if (!local_try_cmpxchg(&info->pending, &pending, 1))
if (!try_cmpxchg(&info->unwind_mask, &old, bits))
goto out;
That cmpxchg() clears out any of the old bits if pending isn't set. Now
if an NMI came in and the other perf process requested a callback, it
would set its own bit plus the pending bit and then ftrace only needs
to jump to the end and do the test_and_set on its bit.
-- Steve
>
> /* The work has been claimed, now schedule it. */
> ret = task_work_add(current, &info->work, TWA_RESUME);
> if (WARN_ON_ONCE(ret))
> - return ret;
> -
> - info->pending = 1;
> - return 0;
> + atomic_long_set(0, &info->unwind_mask);
> }
>
next prev parent reply other threads:[~2025-07-16 18:26 UTC|newest]
Thread overview: 45+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-07-08 1:22 [PATCH v13 00/14] unwind_user: x86: Deferred unwinding infrastructure Steven Rostedt
2025-07-08 1:22 ` [PATCH v13 01/14] unwind_user: Add user space unwinding API Steven Rostedt
2025-07-08 1:22 ` [PATCH v13 02/14] unwind_user: Add frame pointer support Steven Rostedt
2025-07-09 10:01 ` Jens Remus
2025-07-10 12:28 ` Jens Remus
2025-07-10 15:21 ` Steven Rostedt
2025-07-10 15:41 ` Jens Remus
2025-07-10 17:08 ` Steven Rostedt
2025-07-14 12:52 ` Jens Remus
2025-07-08 1:22 ` [PATCH v13 03/14] unwind_user: Add compat mode " Steven Rostedt
2025-07-08 1:22 ` [PATCH v13 04/14] unwind_user/deferred: Add unwind_user_faultable() Steven Rostedt
2025-07-08 1:22 ` [PATCH v13 05/14] unwind_user/deferred: Add unwind cache Steven Rostedt
2025-07-08 1:22 ` [PATCH v13 06/14] unwind_user/deferred: Add deferred unwinding interface Steven Rostedt
2025-07-08 1:22 ` [PATCH v13 07/14] unwind_user/deferred: Make unwind deferral requests NMI-safe Steven Rostedt
2025-07-14 13:29 ` Peter Zijlstra
2025-07-14 14:19 ` Steven Rostedt
2025-07-14 15:05 ` Peter Zijlstra
2025-07-14 15:11 ` Steven Rostedt
2025-07-15 9:09 ` Peter Zijlstra
2025-07-15 12:35 ` Steven Rostedt
2025-07-08 1:22 ` [PATCH v13 08/14] unwind deferred: Use bitmask to determine which callbacks to call Steven Rostedt
2025-07-08 1:22 ` [PATCH v13 09/14] unwind deferred: Use SRCU unwind_deferred_task_work() Steven Rostedt
2025-07-14 13:56 ` Peter Zijlstra
2025-07-14 14:21 ` Steven Rostedt
2025-07-14 15:03 ` Peter Zijlstra
2025-07-08 1:22 ` [PATCH v13 10/14] unwind: Clear unwind_mask on exit back to user space Steven Rostedt
2025-07-15 10:29 ` Peter Zijlstra
2025-07-15 12:49 ` Steven Rostedt
2025-07-15 18:06 ` Steven Rostedt
2025-07-15 18:10 ` Steven Rostedt
2025-07-15 18:26 ` Steven Rostedt
2025-07-15 19:04 ` Peter Zijlstra
2025-07-15 19:01 ` Peter Zijlstra
2025-07-15 17:20 ` Steven Rostedt
2025-07-15 19:07 ` Peter Zijlstra
2025-07-15 22:01 ` Steven Rostedt
2025-07-16 18:26 ` Steven Rostedt [this message]
2025-07-16 18:33 ` Steven Rostedt
2025-07-16 19:25 ` Steven Rostedt
2025-07-08 1:22 ` [PATCH v13 11/14] unwind: Add USED bit to only have one conditional on way " Steven Rostedt
2025-07-08 1:22 ` [PATCH v13 12/14] unwind: Finish up unwind when a task exits Steven Rostedt
2025-07-08 1:22 ` [PATCH v13 13/14] unwind_user/x86: Enable frame pointer unwinding on x86 Steven Rostedt
2025-07-11 8:43 ` David Laight
2025-07-11 16:11 ` Steven Rostedt
2025-07-08 1:22 ` [PATCH v13 14/14] unwind_user/x86: Enable compat mode " 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=20250716142609.47f0e4a5@batman.local.home \
--to=rostedt@goodmis.org \
--cc=akpm@linux-foundation.org \
--cc=andrii@kernel.org \
--cc=axboe@kernel.dk \
--cc=beaub@linux.microsoft.com \
--cc=bpf@vger.kernel.org \
--cc=fweimer@redhat.com \
--cc=indu.bhagat@oracle.com \
--cc=jemarch@gnu.org \
--cc=jolsa@kernel.org \
--cc=jpoimboe@kernel.org \
--cc=jremus@linux.ibm.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-trace-kernel@vger.kernel.org \
--cc=mathieu.desnoyers@efficios.com \
--cc=mhiramat@kernel.org \
--cc=mingo@kernel.org \
--cc=namhyung@kernel.org \
--cc=peterz@infradead.org \
--cc=rostedt@kernel.org \
--cc=sam@gentoo.org \
--cc=tglx@linutronix.de \
--cc=torvalds@linux-foundation.org \
--cc=x86@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®