]> git.karo-electronics.de Git - karo-tx-linux.git/commit
rcu: Add PROVE_RCU_DELAY to provoke difficult races
authorPaul E. McKenney <paul.mckenney@linaro.org>
Mon, 2 Jul 2012 21:42:01 +0000 (14:42 -0700)
committerPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Mon, 23 Jul 2012 15:29:06 +0000 (08:29 -0700)
commitf8353f908cfae8faafd5cc3cb78d916903ac4f01
tree1b8af407b53dfd24af93b6bff1b72fe1ceab68b3
parent5cf05ad758c30d17ff23c2be346b5de982bc2121
rcu: Add PROVE_RCU_DELAY to provoke difficult races

There have been some recent bugs that were triggered only when
preemptible RCU's __rcu_read_unlock() was preempted just after setting
->rcu_read_lock_nesting to INT_MIN, which is a low-probability event.
Therefore, reproducing those bugs (to say nothing of gaining confidence
in alleged fixes) was quite difficult.  This commit therefore creates
a new debug-only RCU kernel config option that forces a short delay
in __rcu_read_unlock() to increase the probability of those sorts of
bugs occurring.

Signed-off-by: Paul E. McKenney <paul.mckenney@linaro.org>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
kernel/rcupdate.c
lib/Kconfig.debug