diff options
| author | Paul E. McKenney <paul.mckenney@linaro.org> | 2012-07-02 23:42:01 +0200 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2012-09-23 16:42:49 +0200 |
| commit | e3ebfb96f396731ca2d0b108785d5da31b53ab00 (patch) | |
| tree | 7bac429c3cad5f00894746270322d5a4119cea47 /kernel/rcutiny.c | |
| parent | rcu: Fix day-one dyntick-idle stall-warning bug (diff) | |
| download | linux-e3ebfb96f396731ca2d0b108785d5da31b53ab00.tar.xz linux-e3ebfb96f396731ca2d0b108785d5da31b53ab00.zip | |
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>
Reviewed-by: Josh Triplett <josh@joshtriplett.org>
Diffstat (limited to 'kernel/rcutiny.c')
0 files changed, 0 insertions, 0 deletions