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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.