[PATCH rcu 0/11] NMI-safe SRCU readers for v6.2

From: Paul E. McKenney
Date: Wed Oct 19 2022 - 18:58:47 EST


Hello!

This series provides the second version of an NMI-safe SRCU reader API in
the guise of srcu_read_lock_nmisafe() and srcu_read_unlock_nmisafe().
A given srcu_struct structure must use either the traditional
srcu_read_lock() and srcu_read_unlock() API or the new _nmisafe() API:
Mixing and matching is not permitted. So much so that kernels built
with CONFIG_PROVE_RCU=y will complain if you try it.

The reason for this restriction is that I have yet to find a use case
that is not a accident waiting to happen. And if free intermixing
were permitted, it is pretty much a given that someone somewhere will
get confused and use srcu_read_lock_nmisafe() within NMI handlers and
srcu_read_lock() elsewhere, which will not (repeat, NOT) provide NMI
safety.

The series is as follows:

1. Convert ->srcu_lock_count and ->srcu_unlock_count to atomic.

2. Create an srcu_read_lock_nmisafe() and srcu_read_unlock_nmisafe().

3. Check for consistent per-CPU per-srcu_struct NMI safety.

4. Check for consistent global per-srcu_struct NMI safety.

5. Add ARCH_HAS_NMI_SAFE_THIS_CPU_OPS Kconfig option.

6. Add ARCH_HAS_NMI_SAFE_THIS_CPU_OPS Kconfig option.

7. Add ARCH_HAS_NMI_SAFE_THIS_CPU_OPS Kconfig option.

8. Add ARCH_HAS_NMI_SAFE_THIS_CPU_OPS Kconfig option.

9. Warn when NMI-unsafe API is used in NMI, courtesy of Frederic
Weisbecker.

10. Explain the reason behind the read side critical section on GP
start, courtesy of Frederic Weisbecker.

11. Debug NMI safety even on archs that don't require it, courtesy
of Frederic Weisbecker.

Changes since v2:

1. Added ability for architectures having implicitly NMI-safe
SRCU readers to warn about uses that cause trouble for other
architectures.

Changes since v1:

1. Added enabling patches for arm64, loongarch, s390, and x86.
These have what appear to me to be NMI-safe this_cpu_inc()
implementations.

2. Fix a build error on !SMP kernels built without SRCU.

3. Fix a build error on !SMP kernels.

Thanx, Paul

------------------------------------------------------------------------

b/arch/Kconfig | 3 +
b/arch/arm64/Kconfig | 1
b/arch/loongarch/Kconfig | 1
b/arch/s390/Kconfig | 1
b/arch/x86/Kconfig | 1
b/include/linux/srcu.h | 39 ++++++++++++++
b/include/linux/srcutiny.h | 11 ++++
b/include/linux/srcutree.h | 4 -
b/kernel/rcu/Kconfig | 3 +
b/kernel/rcu/rcutorture.c | 11 +++-
b/kernel/rcu/srcutree.c | 24 ++++-----
include/linux/srcu.h | 48 +++++++++++++-----
include/linux/srcutiny.h | 16 ------
include/linux/srcutree.h | 19 +++----
kernel/rcu/srcutree.c | 118 +++++++++++++++++++++++++++++++++++----------
15 files changed, 224 insertions(+), 76 deletions(-)