lkml.org 
[lkml]   [2020]   [Apr]   [15]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
Subject[PATCH kcsan 0/15] KCSAN updates for v5.8
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(-)

\
 
 \ /
  Last update: 2020-04-15 21:07    [W:0.122 / U:0.112 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site