* [GIT PULL] locking/debug updates for v5.15
@ 2021-09-01 6:31 Ingo Molnar
2021-09-02 20:05 ` pr-tracker-bot
0 siblings, 1 reply; 2+ messages in thread
From: Ingo Molnar @ 2021-09-01 6:31 UTC (permalink / raw)
To: Linus Torvalds
Cc: linux-kernel, Peter Zijlstra, Paul E. McKenney, Thomas Gleixner,
Andrew Morton
Linus,
Please pull the latest locking/debug git tree from:
git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git locking-debug-2021-09-01
# HEAD: 4812c9111220b0af00f7a436cc02ffaed289962c Merge branch 'lkmm' of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu into locking/debug
LKMM updates:
- Update documentation and code example
KCSAN updates:
- Introduce CONFIG_KCSAN_STRICT (which RCU uses)
- Optimize use of get_ctx() by kcsan_found_watchpoint()
- Rework atomic.h into permissive.h
- Add the ability to ignore writes that change only one bit of a given data-racy variable.
- Improve comments
Thanks,
Ingo
------------------>
Manfred Spraul (1):
tools/memory-model: Heuristics using data_race() must handle all values
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
Paul E. McKenney (3):
tools/memory-model: Make read_foo_diagnostic() more clearly diagnostic
tools/memory-model: Add example for heuristic lockless reads
tools/memory-model: Document data_race(READ_ONCE())
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 ++++--
.../memory-model/Documentation/access-marking.txt | 151 ++++++++++++++++++---
7 files changed, 352 insertions(+), 79 deletions(-)
delete mode 100644 kernel/kcsan/atomic.h
create mode 100644 kernel/kcsan/permissive.h
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [GIT PULL] locking/debug updates for v5.15
2021-09-01 6:31 [GIT PULL] locking/debug updates for v5.15 Ingo Molnar
@ 2021-09-02 20:05 ` pr-tracker-bot
0 siblings, 0 replies; 2+ messages in thread
From: pr-tracker-bot @ 2021-09-02 20:05 UTC (permalink / raw)
To: Ingo Molnar
Cc: Linus Torvalds, linux-kernel, Peter Zijlstra, Paul E. McKenney,
Thomas Gleixner, Andrew Morton
The pull request you sent on Wed, 1 Sep 2021 08:31:10 +0200:
> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git locking-debug-2021-09-01
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/aa829778b16f15266fefe2640f04931b16ce39c0
Thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/prtracker.html
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2021-09-02 20:05 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-09-01 6:31 [GIT PULL] locking/debug updates for v5.15 Ingo Molnar
2021-09-02 20:05 ` pr-tracker-bot
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).