diff options
| author | Joel Fernandes (Google) <joel@joelfernandes.org> | 2019-07-16 18:12:22 -0400 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@linux.ibm.com> | 2019-08-09 11:00:35 -0700 |
| commit | 28875945ba98d1b47a8a706812b6494d165bb0a0 (patch) | |
| tree | a167811c3e2dfe5de312c187085ed53f21faf831 /kernel/rcu/Kconfig.debug | |
| parent | 9147089bee3a6b504821dd8462e2be229e6dbfae (diff) | |
| download | linux-28875945ba98d1b47a8a706812b6494d165bb0a0.tar.gz linux-28875945ba98d1b47a8a706812b6494d165bb0a0.tar.bz2 linux-28875945ba98d1b47a8a706812b6494d165bb0a0.zip | |
rcu: Add support for consolidated-RCU reader checking
This commit adds RCU-reader checks to list_for_each_entry_rcu() and
hlist_for_each_entry_rcu(). These checks are optional, and are indicated
by a lockdep expression passed to a new optional argument to these two
macros. If this optional lockdep expression is omitted, these two macros
act as before, checking for an RCU read-side critical section.
Signed-off-by: Joel Fernandes (Google) <joel@joelfernandes.org>
[ paulmck: Update to eliminate return within macro and update comment. ]
Signed-off-by: Paul E. McKenney <paulmck@linux.ibm.com>
Diffstat (limited to 'kernel/rcu/Kconfig.debug')
| -rw-r--r-- | kernel/rcu/Kconfig.debug | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/kernel/rcu/Kconfig.debug b/kernel/rcu/Kconfig.debug index 5ec3ea4028e2..4aa02eee8f6c 100644 --- a/kernel/rcu/Kconfig.debug +++ b/kernel/rcu/Kconfig.debug @@ -8,6 +8,17 @@ menu "RCU Debugging" config PROVE_RCU def_bool PROVE_LOCKING +config PROVE_RCU_LIST + bool "RCU list lockdep debugging" + depends on PROVE_RCU && RCU_EXPERT + default n + help + Enable RCU lockdep checking for list usages. By default it is + turned off since there are several list RCU users that still + need to be converted to pass a lockdep expression. To prevent + false-positive splats, we keep it default disabled but once all + users are converted, we can remove this config option. + config TORTURE_TEST tristate default n |