[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <aJy5Jxf_c8RG7qvU@tardis-2.local>
Date: Wed, 13 Aug 2025 09:11:19 -0700
From: Boqun Feng <boqun.feng@...il.com>
To: Thomas Gleixner <tglx@...utronix.de>
Cc: LKML <linux-kernel@...r.kernel.org>,
Mathieu Desnoyers <mathieu.desnoyers@...icios.com>,
Peter Zijlstra <peterz@...radead.org>,
"Paul E. McKenney" <paulmck@...nel.org>
Subject: Re: [PATCH] rseq: Protect event mask against membarrier IPI
On Wed, Aug 13, 2025 at 05:02:30PM +0200, Thomas Gleixner wrote:
> From: Thomas Gleixner <tglx@...utronix.de>
> Date: Tue, 12 Aug 2025 16:34:43 +0200
>
> rseq_need_restart() reads and clears task::rseq_event_mask with preemption
> disabled to guard against the scheduler.
>
> But membarrier() uses an IPI and sets the PREEMPT bit in the event mask
> from the IPI, which leaves that RMW operation unprotected.
>
> Use guard(irq) if CONFIG_MEMBARRIER is enabled to fix that.
>
> Fixes: 2a36ab717e8f ("rseq/membarrier: Add MEMBARRIER_CMD_PRIVATE_EXPEDITED_RSEQ")
> Signed-off-by: Thomas Gleixner <tglx@...utronix.de>
> Cc: Mathieu Desnoyers <mathieu.desnoyers@...icios.com>
> Cc: Peter Zijlstra <peterz@...radead.org>
> Cc: "Paul E. McKenney" <paulmck@...nel.org>
> Cc: Boqun Feng <boqun.feng@...il.com>
> Cc: stable@...r.kernel.org
Seems reasonable to me.
Reviewed-by: Boqun Feng <boqun.feng@...il.com>
Regards,
Boqun
> ---
> include/linux/rseq.h | 11 ++++++++---
> kernel/rseq.c | 10 +++++-----
> 2 files changed, 13 insertions(+), 8 deletions(-)
>
> --- a/include/linux/rseq.h
> +++ b/include/linux/rseq.h
> @@ -7,6 +7,12 @@
> #include <linux/preempt.h>
> #include <linux/sched.h>
>
> +#ifdef CONFIG_MEMBARRIER
> +# define RSEQ_EVENT_GUARD irq
> +#else
> +# define RSEQ_EVENT_GUARD preempt
> +#endif
> +
> /*
> * Map the event mask on the user-space ABI enum rseq_cs_flags
> * for direct mask checks.
> @@ -41,9 +47,8 @@ static inline void rseq_handle_notify_re
> static inline void rseq_signal_deliver(struct ksignal *ksig,
> struct pt_regs *regs)
> {
> - preempt_disable();
> - __set_bit(RSEQ_EVENT_SIGNAL_BIT, ¤t->rseq_event_mask);
> - preempt_enable();
> + scoped_guard(RSEQ_EVENT_GUARD)
> + __set_bit(RSEQ_EVENT_SIGNAL_BIT, ¤t->rseq_event_mask);
> rseq_handle_notify_resume(ksig, regs);
> }
>
> --- a/kernel/rseq.c
> +++ b/kernel/rseq.c
> @@ -342,12 +342,12 @@ static int rseq_need_restart(struct task
>
> /*
> * Load and clear event mask atomically with respect to
> - * scheduler preemption.
> + * scheduler preemption and membarrier IPIs.
> */
> - preempt_disable();
> - event_mask = t->rseq_event_mask;
> - t->rseq_event_mask = 0;
> - preempt_enable();
> + scoped_guard(RSEQ_EVENT_GUARD) {
> + event_mask = t->rseq_event_mask;
> + t->rseq_event_mask = 0;
> + }
>
> return !!event_mask;
> }
Powered by blists - more mailing lists