[PATCH kcsan 0/15] KCSAN updates for v5.8
From: Paul E. McKenney
Date: Wed Apr 15 2020 - 15:18:42 EST
Hello!
This series contains KCSAN updates. Unless otherwise noted, these are
all courtesy of Marco Elver.
1. Add option to allow watcher interruptions.
2. Add option for verbose reporting.
3. Add current->state to implicitly atomic accesses.
4. Fix a typo in a comment, courtesy of Qiujun Huang.
5. Update Documentation/dev-tools/kcsan.rst.
6. Update API documentation in kcsan-checks.h.
7. Introduce report access_info and other_info.
8. Avoid blocking producers in prepare_report().
9. Add support for scoped accesses.
10. objtool, kcsan: Add explicit check functions to uaccess whitelist.
11. Introduce scoped ASSERT_EXCLUSIVE macros.
12. Move kcsan_{disable,enable}_current() to kcsan-checks.h.
13. Change data_race() to no longer require marking racing accesses.
14. Fix function matching in report.
15. Make reporting aware of KCSAN tests.
Thanx, Paul
------------------------------------------------------------------------
Documentation/dev-tools/kcsan.rst | 230 ++++++++++------
include/linux/compiler.h | 4
include/linux/kcsan-checks.h | 244 ++++++++++++++---
include/linux/kcsan.h | 19 -
init/init_task.c | 1
kernel/kcsan/atomic.h | 21 -
kernel/kcsan/core.c | 182 ++++++++----
kernel/kcsan/debugfs.c | 43 ++-
kernel/kcsan/kcsan.h | 8
kernel/kcsan/report.c | 543 +++++++++++++++++++++++---------------
lib/Kconfig.kcsan | 24 +
tools/objtool/check.c | 2
12 files changed, 887 insertions(+), 434 deletions(-)