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 |
