linux-kernel - [GIT PULL] LKMM changes for v6.15

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [day] [month] [year] [list]

Message-ID: <dbfe09b5-e5a4-4bf8-96eb-9fb6b98e2fb6@paulmck-laptop>
Date: Fri, 21 Mar 2025 16:15:39 -0700
From: "Paul E. McKenney" <paulmck@...nel.org>
To: torvalds@...ux-foundation.org
Cc: linux-kernel@...r.kernel.org, lkmm@...ts.linux.dev, puranjay@...nel.org,
	jonas.oberhauser@...weicloud.com, akiyks@...il.com
Subject: [GIT PULL] LKMM changes for v6.15

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(-)