From: Steven Rostedt <rostedt@goodmis.org>
To: "Paul E. McKenney" <paulmck@kernel.org>
Cc: rcu@vger.kernel.org, linux-kernel@vger.kernel.org,
kernel-team@meta.com,
Mathieu Desnoyers <mathieu.desnoyers@efficios.com>,
Sebastian Andrzej Siewior <bigeasy@linutronix.de>,
bpf@vger.kernel.org, frederic@kernel.org
Subject: Re: [PATCH v2 10/16] tracing: Guard __DECLARE_TRACE() use of __DO_TRACE_CALL() with SRCU-fast
Date: Thu, 6 Nov 2025 20:16:44 -0500 [thread overview]
Message-ID: <20251106201644.3eef6a4a@batman.local.home> (raw)
In-Reply-To: <46365769-2b3a-4da1-a926-1b3e489d434a@paulmck-laptop>
On Thu, 6 Nov 2025 17:04:33 -0800
"Paul E. McKenney" <paulmck@kernel.org> wrote:
> >
> > It gets a bit more confusing. We see "migrate disabled" (the last number)
> > except when preemption is enabled.
>
> Huh. Would something like "...11" indicate that both preemption and
> migration are disabled?
Preemption was disabled when coming in.
>
> > That's because in your code, we only do
> > the migrate dance when preemption is disabled:
> >
> > > + if (IS_ENABLED(CONFIG_PREEMPT_RT) && preemptible()) { \
>
> You lost me on this one. Wouldn't the "preemptible()" condition in that
> "if" statement mean that migration is disabled only when preemption
> is *enabled*?
>
> What am I missing here?
So preemption is disabled when the event was hit. That would make
"preemptible()" false, and we will then up the preempt_count again and
not disable migration.
The code that records the preempt count expects the tracing code to
increment the preempt_count, so it decrements it by one. Thus it records;
...1.
As migrate disable wasn't set.
>
> > > + guard(srcu_fast_notrace)(&tracepoint_srcu); \
> > > + guard(migrate)(); \
> > > + __DO_TRACE_CALL(name, TP_ARGS(args)); \
> > > + } else { \
> > > + guard(preempt_notrace)(); \
> > > + __DO_TRACE_CALL(name, TP_ARGS(args)); \
> > > + }
> >
> > And that will make accounting in the trace event callback much more
> > difficult, when it's sometimes disabling migration and sometimes disabling
> > preemption. It must do one or the other. It can't be conditional like that.
> >
> > With my update below, it goes back to normal:
> >
> > bash-1040 [004] d..2. 49.339890: lock_release: 000000001d24683a tasklist_lock
> > bash-1040 [004] d..2. 49.339890: irq_enable: caller=_raw_write_unlock_irq+0x28/0x50 parent=0x0
> > bash-1040 [004] ...1. 49.339891: lock_release: 00000000246b21a5 rcu_read_lock
> > bash-1040 [004] ..... 49.339891: lock_acquire: 0000000084e3738a read &mm->mmap_lock
> > bash-1040 [004] ..... 49.339892: lock_release: 0000000084e3738a &mm->mmap_lock
> > bash-1040 [004] ..... 49.339892: lock_acquire: 00000000f5b22878 read rcu_read_lock_trace
> > bash-1040 [004] ..... 49.339892: lock_acquire: 0000000084e3738a read &mm->mmap_lock
> > bash-1040 [004] ..... 49.339893: lock_release: 0000000084e3738a &mm->mmap_lock
> > bash-1040 [004] ..... 49.339893: sys_exit: NR 109 = 0
> > bash-1040 [004] ..... 49.339893: lock_acquire: 0000000084e3738a read &mm->mmap_lock
> > bash-1040 [004] ..... 49.339894: lock_release: 0000000084e3738a &mm->mmap_lock
> > bash-1040 [004] ..... 49.339894: sys_setpgid -> 0x0
> > bash-1040 [004] ..... 49.339895: lock_release: 00000000f5b22878 rcu_read_lock_trace
> > bash-1040 [004] d.... 49.339895: irq_disable: caller=do_syscall_64+0x37a/0x9a0 parent=0x0
> > bash-1040 [004] d.... 49.339895: irq_enable: caller=do_syscall_64+0x167/0x9a0 parent=0x0
> > bash-1040 [004] d.... 49.339897: irq_disable: caller=irqentry_enter+0x57/0x60 parent=0x0
> >
> > I did some minor testing of this patch both with and without PREEMPT_RT
> > enabled. This replaces this current patch. Feel free to use it.
>
> OK, I will add it with your SoB and give it a spin. Thank you!
Signed-off-by: Steve Rostedt (Google) <rostedt@goodmis.org>
Cheers,
-- Steve
next prev parent reply other threads:[~2025-11-07 1:25 UTC|newest]
Thread overview: 42+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-11-05 20:31 [PATCH v2 0/16] SRCU updates for v6.19 Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 01/16] srcu: Permit Tiny SRCU srcu_read_unlock() with interrupts disabled Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 02/16] srcu: Create an srcu_expedite_current() function Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 03/16] rcutorture: Test srcu_expedite_current() Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 04/16] srcu: Create a DEFINE_SRCU_FAST() Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 05/16] srcu: Make grace-period determination use ssp->srcu_reader_flavor Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 06/16] rcutorture: Exercise DEFINE_STATIC_SRCU_FAST() and init_srcu_struct_fast() Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 07/16] srcu: Require special srcu_struct define/init for SRCU-fast readers Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 08/16] srcu: Make SRCU-fast readers enforce use of SRCU-fast definition/init Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 09/16] doc: Update for SRCU-fast definitions and initialization Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 10/16] tracing: Guard __DECLARE_TRACE() use of __DO_TRACE_CALL() with SRCU-fast Paul E. McKenney
2025-11-06 16:02 ` Steven Rostedt
2025-11-06 17:01 ` Paul E. McKenney
2025-11-06 17:10 ` Steven Rostedt
2025-11-06 17:52 ` Paul E. McKenney
2025-11-07 0:03 ` Steven Rostedt
2025-11-07 1:04 ` Paul E. McKenney
2025-11-07 1:16 ` Steven Rostedt [this message]
2025-11-07 1:53 ` Paul E. McKenney
2025-11-07 12:58 ` Steven Rostedt
2025-11-05 20:32 ` [PATCH v2 11/16] rcu: Mark diagnostic functions as notrace Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 12/16] srcu: Add SRCU_READ_FLAVOR_FAST_UPDOWN CPP macro Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 13/16] torture: Permit negative kvm.sh --kconfig numberic arguments Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 14/16] srcu: Create an SRCU-fast-updown API Paul E. McKenney
2025-11-25 14:18 ` Frederic Weisbecker
2025-11-25 15:54 ` Paul E. McKenney
2025-11-26 14:06 ` Frederic Weisbecker
2025-11-26 17:09 ` Paul E. McKenney
2025-11-05 20:32 ` [PATCH v2 15/16] srcu: Optimize SRCU-fast-updown for arm64 Paul E. McKenney
2025-11-08 13:07 ` Will Deacon
2025-11-08 18:38 ` Paul E. McKenney
2025-11-10 11:24 ` Will Deacon
2025-11-10 17:29 ` Paul E. McKenney
2025-11-24 13:04 ` Will Deacon
2025-11-24 17:20 ` Paul E. McKenney
2025-11-24 22:47 ` Frederic Weisbecker
2025-11-25 11:40 ` Will Deacon
2025-11-05 20:32 ` [PATCH v2 16/16] rcutorture: Make srcu{,d}_torture_init() announce the SRCU type Paul E. McKenney
2025-11-05 23:00 ` [PATCH v2 0/16] SRCU updates for v6.19 Frederic Weisbecker
2025-11-06 16:06 ` Steven Rostedt
2025-11-07 12:48 ` Frederic Weisbecker
2025-11-07 16:57 ` Paul E. McKenney
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=20251106201644.3eef6a4a@batman.local.home \
--to=rostedt@goodmis.org \
--cc=bigeasy@linutronix.de \
--cc=bpf@vger.kernel.org \
--cc=frederic@kernel.org \
--cc=kernel-team@meta.com \
--cc=linux-kernel@vger.kernel.org \
--cc=mathieu.desnoyers@efficios.com \
--cc=paulmck@kernel.org \
--cc=rcu@vger.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