mirror of https://lore.kernel.org/lkml/
 help / color / mirror / Atom feed
From: "Paul E. McKenney" <paulmck@kernel.org>
To: mingo@kernel.org, tglx@linutronix.de
Cc: linux-kernel@vger.kernel.org, cai@lca.pw, elver@google.com
Subject: [GIT PULL kcsan] KCSAN commits for v5.9
Date: Tue, 14 Jul 2020 10:32:52 -0700	[thread overview]
Message-ID: <20200714173252.GA32057@paulmck-ThinkPad-P72> (raw)

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%)

                 reply	other threads:[~2020-07-14 17:32 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20200714173252.GA32057@paulmck-ThinkPad-P72 \
    --to=paulmck@kernel.org \
    --cc=cai@lca.pw \
    --cc=elver@google.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=mingo@kernel.org \
    --cc=tglx@linutronix.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox

all inboxes | Powered by JetHome®