diff options
author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2014-06-23 12:09:52 -0700 |
---|---|---|
committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2014-07-09 09:15:31 -0700 |
commit | 11992c703a1c7d95f5d8759498d7617d4a504819 (patch) | |
tree | fa2fff5b57493c4912c6b1f8e514fc61f4d792b5 /lib | |
parent | d860d40327dde251d508a234fa00bd0d90fbb656 (diff) |
rcu: Remove CONFIG_PROVE_RCU_DELAY
The CONFIG_PROVE_RCU_DELAY Kconfig parameter doesn't appear to be very
effective at finding race conditions, so this commit removes it.
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Cc: Andi Kleen <ak@linux.intel.com>
[ paulmck: Remove definition and uses as noted by Paul Bolle. ]
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Kconfig.debug | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug index 7cfcc1b8e10..4c37d5459b4 100644 --- a/lib/Kconfig.debug +++ b/lib/Kconfig.debug @@ -1131,20 +1131,6 @@ config PROVE_RCU_REPEATEDLY Say N if you are unsure. -config PROVE_RCU_DELAY - bool "RCU debugging: preemptible RCU race provocation" - depends on DEBUG_KERNEL && PREEMPT_RCU - default n - help - There is a class of races that involve an unlikely preemption - of __rcu_read_unlock() just after ->rcu_read_lock_nesting has - been set to INT_MIN. This feature inserts a delay at that - point to increase the probability of these races. - - Say Y to increase probability of preemption of __rcu_read_unlock(). - - Say N if you are unsure. - config SPARSE_RCU_POINTER bool "RCU debugging: sparse-based checks for pointer usage" default n |