* [GIT PULL] LKMM changes for v6.15
@ 2025-03-21 23:15 Paul E. McKenney
2025-03-25 1:58 ` pr-tracker-bot
0 siblings, 1 reply; 2+ messages in thread
From: Paul E. McKenney @ 2025-03-21 23:15 UTC (permalink / raw)
To: torvalds; +Cc: linux-kernel, lkmm, puranjay, jonas.oberhauser, akiyks
Hello, Linus,
When the v6.15 merge window opens, please pull this LKMM update from:
git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu tags/lkmm.2025.03.21a
# HEAD: a2bfbf847c96196d62c9a59bd32e1fdafd1c205c: tools/memory-model: glossary.txt: Fix indents (2025-02-25 10:22:34 -0800)
----------------------------------------------------------------
lkmm: Add more atomic operations, rework tags, and update documentation
Changes
-------
* Adds additional atomic operations (Puranjay Mohan)
* Makes better use of herd7 tags (Jonas Oberhauser)
* Updates documentation (Akira Yokosawa)
These changes require v7.58 of the herd7 and klitmus tools, up from v7.52.
----------------------------------------------------------------
Akira Yokosawa (2):
tools/memory-model/README: Fix typo
tools/memory-model: glossary.txt: Fix indents
Jonas Oberhauser (5):
tools/memory-model: Legitimize current use of tags in LKMM macros
tools/memory-model: Define applicable tags on operation in tools/...
tools/memory-model: Define effect of Mb tags on RMWs in tools/...
tools/memory-model: Switch to softcoded herd7 tags
tools/memory-model: Distinguish between syntactic and semantic tags
Puranjay Mohan (2):
tools/memory-model: Add atomic_and()/or()/xor() and add_negative
tools/memory-model: Add atomic_andnot() with its variants
tools/memory-model/Documentation/glossary.txt | 32 ++--
.../Documentation/herd-representation.txt | 49 +++---
tools/memory-model/README | 4 +-
tools/memory-model/linux-kernel.bell | 33 ++--
tools/memory-model/linux-kernel.cat | 10 ++
tools/memory-model/linux-kernel.cfg | 1 +
tools/memory-model/linux-kernel.def | 169 ++++++++++++---------
7 files changed, 178 insertions(+), 120 deletions(-)
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [GIT PULL] LKMM changes for v6.15
2025-03-21 23:15 [GIT PULL] LKMM changes for v6.15 Paul E. McKenney
@ 2025-03-25 1:58 ` pr-tracker-bot
0 siblings, 0 replies; 2+ messages in thread
From: pr-tracker-bot @ 2025-03-25 1:58 UTC (permalink / raw)
To: Paul E. McKenney
Cc: torvalds, linux-kernel, lkmm, puranjay, jonas.oberhauser, akiyks
The pull request you sent on Fri, 21 Mar 2025 16:15:39 -0700:
> git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu tags/lkmm.2025.03.21a
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/72b40807d21cc5d7d8e48bfa860d5d78769dc07a
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:[~2025-03-25 1:58 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2025-03-21 23:15 [GIT PULL] LKMM changes for v6.15 Paul E. McKenney
2025-03-25 1:58 ` 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).