diff options
author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2014-06-23 15:09:52 -0400 |
---|---|---|
committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2014-07-09 12:15:31 -0400 |
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 7cfcc1b8e101..4c37d5459b41 100644 --- a/lib/Kconfig.debug +++ b/lib/Kconfig.debug | |||
@@ -1131,20 +1131,6 @@ config PROVE_RCU_REPEATEDLY | |||
1131 | 1131 | ||
1132 | Say N if you are unsure. | 1132 | Say N if you are unsure. |
1133 | 1133 | ||
1134 | config PROVE_RCU_DELAY | ||
1135 | bool "RCU debugging: preemptible RCU race provocation" | ||
1136 | depends on DEBUG_KERNEL && PREEMPT_RCU | ||
1137 | default n | ||
1138 | help | ||
1139 | There is a class of races that involve an unlikely preemption | ||
1140 | of __rcu_read_unlock() just after ->rcu_read_lock_nesting has | ||
1141 | been set to INT_MIN. This feature inserts a delay at that | ||
1142 | point to increase the probability of these races. | ||
1143 | |||
1144 | Say Y to increase probability of preemption of __rcu_read_unlock(). | ||
1145 | |||
1146 | Say N if you are unsure. | ||
1147 | |||
1148 | config SPARSE_RCU_POINTER | 1134 | config SPARSE_RCU_POINTER |
1149 | bool "RCU debugging: sparse-based checks for pointer usage" | 1135 | bool "RCU debugging: sparse-based checks for pointer usage" |
1150 | default n | 1136 | default n |