Skip to content

Commit b58e733

Browse files
Peter Zijlstrapaulmckrcu
authored andcommitted
rcu: Fixup noinstr warnings
A KCSAN build revealed we have explicit annoations through atomic_*() usage, switch to arch_atomic_*() for the respective functions. vmlinux.o: warning: objtool: rcu_nmi_exit()+0x4d: call to __kcsan_check_access() leaves .noinstr.text section vmlinux.o: warning: objtool: rcu_dynticks_eqs_enter()+0x25: call to __kcsan_check_access() leaves .noinstr.text section vmlinux.o: warning: objtool: rcu_nmi_enter()+0x4f: call to __kcsan_check_access() leaves .noinstr.text section vmlinux.o: warning: objtool: rcu_dynticks_eqs_exit()+0x2a: call to __kcsan_check_access() leaves .noinstr.text section vmlinux.o: warning: objtool: __rcu_is_watching()+0x25: call to __kcsan_check_access() leaves .noinstr.text section Additionally, without the NOP in instrumentation_begin(), objtool would not detect the lack of the 'else instrumentation_begin();' branch in rcu_nmi_enter(). Signed-off-by: Peter Zijlstra (Intel) <[email protected]> Signed-off-by: Paul E. McKenney <[email protected]>
1 parent 5faafd5 commit b58e733

File tree

2 files changed

+26
-8
lines changed

2 files changed

+26
-8
lines changed

include/linux/compiler.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -123,7 +123,7 @@ void ftrace_likely_update(struct ftrace_likely_data *f, int val,
123123
#ifdef CONFIG_DEBUG_ENTRY
124124
/* Begin/end of an instrumentation safe region */
125125
#define instrumentation_begin() ({ \
126-
asm volatile("%c0:\n\t" \
126+
asm volatile("%c0: nop\n\t" \
127127
".pushsection .discard.instr_begin\n\t" \
128128
".long %c0b - .\n\t" \
129129
".popsection\n\t" : : "i" (__COUNTER__)); \

kernel/rcu/tree.c

Lines changed: 25 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -250,7 +250,7 @@ static noinstr void rcu_dynticks_eqs_enter(void)
250250
* next idle sojourn.
251251
*/
252252
rcu_dynticks_task_trace_enter(); // Before ->dynticks update!
253-
seq = atomic_add_return(RCU_DYNTICK_CTRL_CTR, &rdp->dynticks);
253+
seq = arch_atomic_add_return(RCU_DYNTICK_CTRL_CTR, &rdp->dynticks);
254254
// RCU is no longer watching. Better be in extended quiescent state!
255255
WARN_ON_ONCE(IS_ENABLED(CONFIG_RCU_EQS_DEBUG) &&
256256
(seq & RCU_DYNTICK_CTRL_CTR));
@@ -274,13 +274,13 @@ static noinstr void rcu_dynticks_eqs_exit(void)
274274
* and we also must force ordering with the next RCU read-side
275275
* critical section.
276276
*/
277-
seq = atomic_add_return(RCU_DYNTICK_CTRL_CTR, &rdp->dynticks);
277+
seq = arch_atomic_add_return(RCU_DYNTICK_CTRL_CTR, &rdp->dynticks);
278278
// RCU is now watching. Better not be in an extended quiescent state!
279279
rcu_dynticks_task_trace_exit(); // After ->dynticks update!
280280
WARN_ON_ONCE(IS_ENABLED(CONFIG_RCU_EQS_DEBUG) &&
281281
!(seq & RCU_DYNTICK_CTRL_CTR));
282282
if (seq & RCU_DYNTICK_CTRL_MASK) {
283-
atomic_andnot(RCU_DYNTICK_CTRL_MASK, &rdp->dynticks);
283+
arch_atomic_andnot(RCU_DYNTICK_CTRL_MASK, &rdp->dynticks);
284284
smp_mb__after_atomic(); /* _exit after clearing mask. */
285285
}
286286
}
@@ -313,7 +313,7 @@ static __always_inline bool rcu_dynticks_curr_cpu_in_eqs(void)
313313
{
314314
struct rcu_data *rdp = this_cpu_ptr(&rcu_data);
315315

316-
return !(atomic_read(&rdp->dynticks) & RCU_DYNTICK_CTRL_CTR);
316+
return !(arch_atomic_read(&rdp->dynticks) & RCU_DYNTICK_CTRL_CTR);
317317
}
318318

319319
/*
@@ -633,6 +633,10 @@ static noinstr void rcu_eqs_enter(bool user)
633633
do_nocb_deferred_wakeup(rdp);
634634
rcu_prepare_for_idle();
635635
rcu_preempt_deferred_qs(current);
636+
637+
// instrumentation for the noinstr rcu_dynticks_eqs_enter()
638+
instrument_atomic_write(&rdp->dynticks, sizeof(rdp->dynticks));
639+
636640
instrumentation_end();
637641
WRITE_ONCE(rdp->dynticks_nesting, 0); /* Avoid irq-access tearing. */
638642
// RCU is watching here ...
@@ -692,6 +696,7 @@ noinstr void rcu_nmi_exit(void)
692696
{
693697
struct rcu_data *rdp = this_cpu_ptr(&rcu_data);
694698

699+
instrumentation_begin();
695700
/*
696701
* Check for ->dynticks_nmi_nesting underflow and bad ->dynticks.
697702
* (We are exiting an NMI handler, so RCU better be paying attention
@@ -705,7 +710,6 @@ noinstr void rcu_nmi_exit(void)
705710
* leave it in non-RCU-idle state.
706711
*/
707712
if (rdp->dynticks_nmi_nesting != 1) {
708-
instrumentation_begin();
709713
trace_rcu_dyntick(TPS("--="), rdp->dynticks_nmi_nesting, rdp->dynticks_nmi_nesting - 2,
710714
atomic_read(&rdp->dynticks));
711715
WRITE_ONCE(rdp->dynticks_nmi_nesting, /* No store tearing. */
@@ -714,13 +718,15 @@ noinstr void rcu_nmi_exit(void)
714718
return;
715719
}
716720

717-
instrumentation_begin();
718721
/* This NMI interrupted an RCU-idle CPU, restore RCU-idleness. */
719722
trace_rcu_dyntick(TPS("Startirq"), rdp->dynticks_nmi_nesting, 0, atomic_read(&rdp->dynticks));
720723
WRITE_ONCE(rdp->dynticks_nmi_nesting, 0); /* Avoid store tearing. */
721724

722725
if (!in_nmi())
723726
rcu_prepare_for_idle();
727+
728+
// instrumentation for the noinstr rcu_dynticks_eqs_enter()
729+
instrument_atomic_write(&rdp->dynticks, sizeof(rdp->dynticks));
724730
instrumentation_end();
725731

726732
// RCU is watching here ...
@@ -838,6 +844,10 @@ static void noinstr rcu_eqs_exit(bool user)
838844
rcu_dynticks_eqs_exit();
839845
// ... but is watching here.
840846
instrumentation_begin();
847+
848+
// instrumentation for the noinstr rcu_dynticks_eqs_exit()
849+
instrument_atomic_write(&rdp->dynticks, sizeof(rdp->dynticks));
850+
841851
rcu_cleanup_after_idle();
842852
trace_rcu_dyntick(TPS("End"), rdp->dynticks_nesting, 1, atomic_read(&rdp->dynticks));
843853
WARN_ON_ONCE(IS_ENABLED(CONFIG_RCU_EQS_DEBUG) && !user && !is_idle_task(current));
@@ -983,13 +993,21 @@ noinstr void rcu_nmi_enter(void)
983993
if (!in_nmi())
984994
rcu_cleanup_after_idle();
985995

996+
instrumentation_begin();
997+
// instrumentation for the noinstr rcu_dynticks_curr_cpu_in_eqs()
998+
instrument_atomic_read(&rdp->dynticks, sizeof(rdp->dynticks));
999+
// instrumentation for the noinstr rcu_dynticks_eqs_exit()
1000+
instrument_atomic_write(&rdp->dynticks, sizeof(rdp->dynticks));
1001+
9861002
incby = 1;
9871003
} else if (!in_nmi()) {
9881004
instrumentation_begin();
9891005
rcu_irq_enter_check_tick();
9901006
instrumentation_end();
1007+
} else {
1008+
instrumentation_begin();
9911009
}
992-
instrumentation_begin();
1010+
9931011
trace_rcu_dyntick(incby == 1 ? TPS("Endirq") : TPS("++="),
9941012
rdp->dynticks_nmi_nesting,
9951013
rdp->dynticks_nmi_nesting + incby, atomic_read(&rdp->dynticks));

0 commit comments

Comments
 (0)