From: "Paul E. McKenney" <paulmck@kernel.org>
To: torvalds@linux-foundation.org
Cc: linux-kernel@vger.kernel.org, lkmm@lists.linux.dev,
puranjay@kernel.org, jonas.oberhauser@huaweicloud.com,
akiyks@gmail.com
Subject: [GIT PULL] LKMM changes for v6.15
Date: Fri, 21 Mar 2025 16:15:39 -0700 [thread overview]
Message-ID: <dbfe09b5-e5a4-4bf8-96eb-9fb6b98e2fb6@paulmck-laptop> (raw)
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(-)
next reply other threads:[~2025-03-21 23:15 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-03-21 23:15 Paul E. McKenney [this message]
2025-03-25 1:58 ` [GIT PULL] LKMM changes for v6.15 pr-tracker-bot
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=dbfe09b5-e5a4-4bf8-96eb-9fb6b98e2fb6@paulmck-laptop \
--to=paulmck@kernel.org \
--cc=akiyks@gmail.com \
--cc=jonas.oberhauser@huaweicloud.com \
--cc=linux-kernel@vger.kernel.org \
--cc=lkmm@lists.linux.dev \
--cc=puranjay@kernel.org \
--cc=torvalds@linux-foundation.org \
/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;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).