lkml.org 
[lkml]   [2020]   [Jul]   [14]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
Subject[GIT PULL kcsan] KCSAN commits for v5.9
Hello!

This pull request contains KCSAN updates for v5.9. These have been
subjected to LKML review, most recently here:

https://lore.kernel.org/lkml/20200623004310.GA26995@paulmck-ThinkPad-P72/

All of these have also been subjected to the kbuild test robot and
-next testing. The following changes since v5.8-rc3 are available in
the git repository at:

git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git kcsan

for you to fetch changes up to 61d56d7aa5eca3b909bce51ba8125b0fa44d7e17:

kcsan: Disable branch tracing in core runtime (2020-06-29 12:04:48 -0700)

----------------------------------------------------------------
Marco Elver (9):
kcsan: Add test suite
kcsan: Prefer '__no_kcsan inline' in test
kcsan: Silence -Wmissing-prototypes warning with W=1
kcsan: Rename test.c to selftest.c
kcsan: Remove existing special atomic rules
kcsan: Add jiffies test to test suite
kcsan: Re-add GCC as a supported compiler
kcsan: Simplify compiler flags
kcsan: Disable branch tracing in core runtime

Paul E. McKenney (1):
rculist: Add ASSERT_EXCLUSIVE_ACCESS() to __list_splice_init_rcu()

Qian Cai (3):
fork: Annotate a data race in vm_area_dup()
x86/mm/pat: Mark an intentional data race
locking/osq_lock: Annotate a data race in osq_lock

Documentation/dev-tools/kcsan.rst | 3 +-
arch/x86/mm/pat/set_memory.c | 2 +-
include/linux/rculist.h | 2 +
kernel/fork.c | 8 +-
kernel/kcsan/Makefile | 9 +-
kernel/kcsan/atomic.h | 6 +-
kernel/kcsan/core.c | 9 +
kernel/kcsan/kcsan-test.c | 1107 +++++++++++++++++++++++++++++++++++
kernel/kcsan/{test.c => selftest.c} | 0
kernel/locking/osq_lock.c | 6 +-
lib/Kconfig.kcsan | 26 +-
scripts/Makefile.kcsan | 2 +-
12 files changed, 1166 insertions(+), 14 deletions(-)
create mode 100644 kernel/kcsan/kcsan-test.c
rename kernel/kcsan/{test.c => selftest.c} (100%)

\
 
 \ /
  Last update: 2020-07-14 19:33    [W:0.024 / U:0.748 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site