Skip to content

Commit

Permalink
rcu: handle unstable rdp in rcu_read_unlock_strict()
Browse files Browse the repository at this point in the history
rcu_read_unlock_strict() can be called with preemption enabled
which can make for an unstable rdp and a racy norm value.

Fix this by dropping the preempt-count in __rcu_read_unlock()
after the call to rcu_read_unlock_strict(), adjusting the
preempt-count check appropriately.

Suggested-by: Frederic Weisbecker <frederic@kernel.org>
Signed-off-by: Ankur Arora <ankur.a.arora@oracle.com>
Reviewed-by: Frederic Weisbecker <frederic@kernel.org>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Signed-off-by: Boqun Feng <boqun.feng@gmail.com>
  • Loading branch information
Ankur Arora authored and Boqun Feng committed Feb 5, 2025
1 parent 2c00e11 commit fcf0e25
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 2 deletions.
2 changes: 1 addition & 1 deletion include/linux/rcupdate.h
Original file line number Diff line number Diff line change
Expand Up @@ -95,9 +95,9 @@ static inline void __rcu_read_lock(void)

static inline void __rcu_read_unlock(void)
{
preempt_enable();
if (IS_ENABLED(CONFIG_RCU_STRICT_GRACE_PERIOD))
rcu_read_unlock_strict();
preempt_enable();
}

static inline int rcu_preempt_depth(void)
Expand Down
11 changes: 10 additions & 1 deletion kernel/rcu/tree_plugin.h
Original file line number Diff line number Diff line change
Expand Up @@ -833,8 +833,17 @@ void rcu_read_unlock_strict(void)
{
struct rcu_data *rdp;

if (irqs_disabled() || preempt_count() || !rcu_state.gp_kthread)
if (irqs_disabled() || in_atomic_preempt_off() || !rcu_state.gp_kthread)
return;

/*
* rcu_report_qs_rdp() can only be invoked with a stable rdp and
* from the local CPU.
*
* The in_atomic_preempt_off() check ensures that we come here holding
* the last preempt_count (which will get dropped once we return to
* __rcu_read_unlock().
*/
rdp = this_cpu_ptr(&rcu_data);
rdp->cpu_no_qs.b.norm = false;
rcu_report_qs_rdp(rdp);
Expand Down

0 comments on commit fcf0e25

Please sign in to comment.