From: Ingo Molnar <mingo@kernel.org>
To: "Paul E. McKenney" <paulmck@kernel.org>
Cc: elver@google.com, mark.rutland@arm.com, tglx@linutronix.de,
linux-kernel@vger.kernel.org, kasan-dev@googlegroups.com,
kernel-team@fb.com, Peter Zijlstra <peterz@infradead.org>
Subject: Re: [GIT PULL kcsan] KCSAN commits for v5.15
Date: Wed, 18 Aug 2021 08:39:13 +0200 [thread overview]
Message-ID: <YRyrEQt52d0kaxQI@gmail.com> (raw)
In-Reply-To: <20210812001359.GA404252@paulmck-ThinkPad-P17-Gen-1>
* Paul E. McKenney <paulmck@kernel.org> wrote:
> Hello, Ingo,
>
> This pull request contains updates for the Kernel concurrency sanitizer
> (KCSAN).
>
> These updates improve comments, introduce CONFIG_KCSAN_STRICT (which RCU
> uses), optimize use of get_ctx() by kcsan_found_watchpoint(), rework
> atomic.h into permissive.h, and add the ability to ignore writes that
> change only one bit of a given data-racy variable.
>
> These updates have been posted on LKML:
>
> https://lore.kernel.org/lkml/20210721210726.GA828672@paulmck-ThinkPad-P17-Gen-1/
>
> These changes are based on v5.14-rc2, have been exposed to -next and to
> kbuild test robot, and 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 e04938042d77addc7f41d983aebea125cddbed33:
>
> kcsan: Make strict mode imply interruptible watchers (2021-07-20 13:49:44 -0700)
>
> ----------------------------------------------------------------
> Marco Elver (8):
> kcsan: Improve some Kconfig comments
> kcsan: Remove CONFIG_KCSAN_DEBUG
> kcsan: Introduce CONFIG_KCSAN_STRICT
> kcsan: Reduce get_ctx() uses in kcsan_found_watchpoint()
> kcsan: Rework atomic.h into permissive.h
> kcsan: Print if strict or non-strict during init
> kcsan: permissive: Ignore data-racy 1-bit value changes
> kcsan: Make strict mode imply interruptible watchers
>
> Documentation/dev-tools/kcsan.rst | 12 +++++
> kernel/kcsan/atomic.h | 23 ----------
> kernel/kcsan/core.c | 77 ++++++++++++++++++++------------
> kernel/kcsan/kcsan_test.c | 32 +++++++++++++
> kernel/kcsan/permissive.h | 94 +++++++++++++++++++++++++++++++++++++++
> lib/Kconfig.kcsan | 42 ++++++++++++-----
> 6 files changed, 217 insertions(+), 63 deletions(-)
> delete mode 100644 kernel/kcsan/atomic.h
> create mode 100644 kernel/kcsan/permissive.h
Pulled into tip:locking/debug, thanks a lot Paul!
Ingo
prev parent reply other threads:[~2021-08-18 6:39 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-08-12 0:13 [GIT PULL kcsan] KCSAN commits for v5.15 Paul E. McKenney
2021-08-18 6:39 ` Ingo Molnar [this message]
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=YRyrEQt52d0kaxQI@gmail.com \
--to=mingo@kernel.org \
--cc=elver@google.com \
--cc=kasan-dev@googlegroups.com \
--cc=kernel-team@fb.com \
--cc=linux-kernel@vger.kernel.org \
--cc=mark.rutland@arm.com \
--cc=paulmck@kernel.org \
--cc=peterz@infradead.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