public inbox for bpf@vger.kernel.org
 help / color / mirror / Atom feed
From: Sebastian Andrzej Siewior <bigeasy@linutronix.de>
To: Boqun Feng <boqun@kernel.org>
Cc: Joel Fernandes <joelagnelf@nvidia.com>,
	paulmck@kernel.org, frederic@kernel.org, neeraj.iitr10@gmail.com,
	urezki@gmail.com, boqun.feng@gmail.com, rcu@vger.kernel.org,
	Kumar Kartikeya Dwivedi <memxor@gmail.com>,
	Tejun Heo <tj@kernel.org>,
	bpf@vger.kernel.org, Alexei Starovoitov <ast@kernel.org>,
	Daniel Borkmann <daniel@iogearbox.net>,
	John Fastabend <john.fastabend@gmail.com>
Subject: Re: Next-level bug in SRCU implementation of RCU Tasks Trace + PREEMPT_RT
Date: Thu, 19 Mar 2026 18:02:44 +0100	[thread overview]
Message-ID: <20260319170244.jqndSwct@linutronix.de> (raw)
In-Reply-To: <abwo0I_mu94t5Ews@tardis.local>

On 2026-03-19 09:48:16 [-0700], Boqun Feng wrote:
> I agree it's not RCU's fault ;-)

I never claimed it is anyone's fault. I just see that BPF should be able
to do things which kgdb would not be allowed to.

> I guess it'll be difficult to restrict BPF, however maybe BPF can call
> call_srcu() in irq_work instead? Or a more systematic defer mechanism
> that allows BPF to defer any lock holding functions to a different
> context. (We have a similar issue that BPF cannot call kfree_rcu() in
> some cases IIRC).
> 
> But we need to fix this in v7.0, so this short-term fix is still needed.

I would prefer something substantial before we rush to get a quick fix
and move on.

If we could get that irq_work() part only for BPF where it is required
then it would be already a step forward.

Long term it would be nice if we could avoid calling this while locks
are held. I think call_rcu() can't be used under rq/pi lock, but timers
should be fine.

Is this rq/pi locking originating from "regular" BPF code or sched_ext?

> Regars,
> Boqun
> 
> > > Regards,
> > > Boqun

Sebastian

  parent reply	other threads:[~2026-03-19 17:02 UTC|newest]

Thread overview: 65+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <3c4c5a29-24ea-492d-aeee-e0d9605b4183@nvidia.com>
     [not found] ` <absesPf-10awctq9@tardis.local>
     [not found]   ` <absfZGD3en9TUA1U@tardis.local>
     [not found]     ` <absj6rZbyLZY8PPz@tardis.local>
     [not found]       ` <da4313b1-9ff5-46e9-b3b7-206dbcb72602@nvidia.com>
     [not found]         ` <abs026TUV9oAg_Xy@tardis.local>
     [not found]           ` <abtMhd_LVp3uL_pA@tardis.local>
     [not found]             ` <20260319090315.Ec_eXAg4@linutronix.de>
     [not found]               ` <abwkD0mOdAbD9ENJ@tardis.local>
     [not found]                 ` <20260319163350.c7WuYOM9@linutronix.de>
2026-03-19 16:48                   ` Next-level bug in SRCU implementation of RCU Tasks Trace + PREEMPT_RT Boqun Feng
2026-03-19 16:59                     ` Kumar Kartikeya Dwivedi
2026-03-19 17:27                       ` Boqun Feng
2026-03-19 18:41                         ` Kumar Kartikeya Dwivedi
2026-03-19 20:14                           ` Boqun Feng
2026-03-19 20:21                             ` Joel Fernandes
2026-03-19 20:39                               ` Boqun Feng
2026-03-20 15:34                                 ` Paul E. McKenney
2026-03-20 15:59                                   ` Boqun Feng
2026-03-20 16:24                                     ` Paul E. McKenney
2026-03-20 16:57                                       ` Boqun Feng
2026-03-20 17:54                                         ` Joel Fernandes
2026-03-20 18:14                                           ` [PATCH] rcu: Use an intermediate irq_work to start process_srcu() Boqun Feng
2026-03-20 19:18                                             ` Joel Fernandes
2026-03-20 20:47                                             ` Andrea Righi
2026-03-20 20:54                                               ` Boqun Feng
2026-03-20 21:00                                                 ` Andrea Righi
2026-03-20 21:02                                                   ` Andrea Righi
2026-03-20 21:06                                                     ` Boqun Feng
2026-03-20 22:29                                               ` [PATCH v2] " Boqun Feng
2026-03-23 21:09                                                 ` Joel Fernandes
2026-03-23 22:18                                                   ` Boqun Feng
2026-03-23 22:50                                                     ` Joel Fernandes
2026-03-24 11:27                                                 ` Frederic Weisbecker
2026-03-24 14:56                                                   ` Joel Fernandes
2026-03-24 14:56                                                   ` Alexei Starovoitov
2026-03-24 17:36                                                     ` Boqun Feng
2026-03-24 18:40                                                       ` Joel Fernandes
2026-03-24 19:23                                                       ` Paul E. McKenney
2026-03-26 19:12                                                 ` patchwork-bot+netdevbpf
2026-03-21  4:27                                             ` [PATCH] " Zqiang
2026-03-21 18:15                                               ` Boqun Feng
2026-03-21 10:10                                             ` Paul E. McKenney
2026-03-21 17:15                                               ` Boqun Feng
2026-03-21 17:41                                                 ` Paul E. McKenney
2026-03-21 18:06                                                   ` Boqun Feng
2026-03-21 19:31                                                     ` Paul E. McKenney
2026-03-21 19:45                                                       ` Boqun Feng
2026-03-21 20:07                                                         ` Paul E. McKenney
2026-03-21 20:08                                                           ` Boqun Feng
2026-03-22 10:09                                                             ` Paul E. McKenney
2026-03-22 16:16                                                               ` Boqun Feng
2026-03-22 17:09                                                                 ` Paul E. McKenney
2026-03-22 17:31                                                                   ` Boqun Feng
2026-03-22 17:44                                                                     ` Paul E. McKenney
2026-03-22 18:17                                                                       ` Boqun Feng
2026-03-22 19:47                                                                         ` Paul E. McKenney
2026-03-22 20:26                                                                           ` Boqun Feng
2026-03-23  7:50                                                                             ` Paul E. McKenney
2026-03-20 18:20                                           ` Next-level bug in SRCU implementation of RCU Tasks Trace + PREEMPT_RT Boqun Feng
2026-03-20 23:11                                         ` Paul E. McKenney
2026-03-21  3:29                                           ` Paul E. McKenney
2026-03-21 17:03                                       ` [RFC PATCH] rcu-tasks: Avoid using mod_timer() in call_rcu_tasks_generic() Boqun Feng
2026-03-23 15:17                                         ` Boqun Feng
2026-03-23 20:37                                           ` Joel Fernandes
2026-03-23 21:50                                           ` Kumar Kartikeya Dwivedi
2026-03-23 22:13                                             ` Boqun Feng
2026-03-20 16:15                             ` Next-level bug in SRCU implementation of RCU Tasks Trace + PREEMPT_RT Boqun Feng
2026-03-20 16:24                               ` Paul E. McKenney
2026-03-19 17:02                     ` Sebastian Andrzej Siewior [this message]
2026-03-19 17:44                       ` Boqun Feng
2026-03-19 18:42                         ` Joel Fernandes
2026-03-19 20:20                           ` Boqun Feng
2026-03-19 20:26                             ` Joel Fernandes
2026-03-19 20:45                               ` Joel Fernandes

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=20260319170244.jqndSwct@linutronix.de \
    --to=bigeasy@linutronix.de \
    --cc=ast@kernel.org \
    --cc=boqun.feng@gmail.com \
    --cc=boqun@kernel.org \
    --cc=bpf@vger.kernel.org \
    --cc=daniel@iogearbox.net \
    --cc=frederic@kernel.org \
    --cc=joelagnelf@nvidia.com \
    --cc=john.fastabend@gmail.com \
    --cc=memxor@gmail.com \
    --cc=neeraj.iitr10@gmail.com \
    --cc=paulmck@kernel.org \
    --cc=rcu@vger.kernel.org \
    --cc=tj@kernel.org \
    --cc=urezki@gmail.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