summaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorMarco Elver <elver@google.com>2020-02-22 00:10:27 +0100
committerPaul E. McKenney <paulmck@kernel.org>2020-03-25 09:56:00 -0700
commit2402d0eae589a31ee7b1774cb220d84d0f5605b4 (patch)
treebf69f5b12d2766636aa47e4b88a167291a46da47 /lib
parent48b1fc190a180d971fb69217c88c7247f4f2ca19 (diff)
downloadlinux-2402d0eae589a31ee7b1774cb220d84d0f5605b4.tar.gz
linux-2402d0eae589a31ee7b1774cb220d84d0f5605b4.tar.bz2
linux-2402d0eae589a31ee7b1774cb220d84d0f5605b4.zip
kcsan: Add option for verbose reporting
Adds CONFIG_KCSAN_VERBOSE to optionally enable more verbose reports. Currently information about the reporting task's held locks and IRQ trace events are shown, if they are enabled. Signed-off-by: Marco Elver <elver@google.com> Suggested-by: Qian Cai <cai@lca.pw> Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'lib')
-rw-r--r--lib/Kconfig.kcsan13
1 files changed, 13 insertions, 0 deletions
diff --git a/lib/Kconfig.kcsan b/lib/Kconfig.kcsan
index 081ed2e1bf7b..0f1447ff8f55 100644
--- a/lib/Kconfig.kcsan
+++ b/lib/Kconfig.kcsan
@@ -20,6 +20,19 @@ menuconfig KCSAN
if KCSAN
+config KCSAN_VERBOSE
+ bool "Show verbose reports with more information about system state"
+ depends on PROVE_LOCKING
+ help
+ If enabled, reports show more information about the system state that
+ may help better analyze and debug races. This includes held locks and
+ IRQ trace events.
+
+ While this option should generally be benign, we call into more
+ external functions on report generation; if a race report is
+ generated from any one of them, system stability may suffer due to
+ deadlocks or recursion. If in doubt, say N.
+
config KCSAN_DEBUG
bool "Debugging of KCSAN internals"