diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Kconfig.debug | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug index 2403a63b5da5..dacbbe4d7a80 100644 --- a/lib/Kconfig.debug +++ b/lib/Kconfig.debug | |||
@@ -629,6 +629,20 @@ config PROVE_RCU_REPEATEDLY | |||
629 | 629 | ||
630 | Say N if you are unsure. | 630 | Say N if you are unsure. |
631 | 631 | ||
632 | config PROVE_RCU_DELAY | ||
633 | bool "RCU debugging: preemptible RCU race provocation" | ||
634 | depends on DEBUG_KERNEL && PREEMPT_RCU | ||
635 | default n | ||
636 | help | ||
637 | There is a class of races that involve an unlikely preemption | ||
638 | of __rcu_read_unlock() just after ->rcu_read_lock_nesting has | ||
639 | been set to INT_MIN. This feature inserts a delay at that | ||
640 | point to increase the probability of these races. | ||
641 | |||
642 | Say Y to increase probability of preemption of __rcu_read_unlock(). | ||
643 | |||
644 | Say N if you are unsure. | ||
645 | |||
632 | config SPARSE_RCU_POINTER | 646 | config SPARSE_RCU_POINTER |
633 | bool "RCU debugging: sparse-based checks for pointer usage" | 647 | bool "RCU debugging: sparse-based checks for pointer usage" |
634 | default n | 648 | default n |