[PATCH memory-model 0/7] LKMM updates for v6.15

Paul E. McKenney
2025-02-20T16:13:53Z

Hello!

This series celebrates the release of version 7.58 of herd7, which
permits these commits to head to mainline:

1. Add atomic_and()/or()/xor() and add_negative, courtesy of
Puranjay Mohan.

2. Add atomic_andnot() with its variants, courtesy of Puranjay Mohan.

3. Legitimize current use of tags in LKMM macros, courtesy of
Jonas Oberhauser.

4. Define applicable tags on operation in tools/..., courtesy of
Jonas Oberhauser.

5. Define effect of Mb tags on RMWs in tools/..., courtesy of
Jonas Oberhauser.

6. Switch to softcoded herd7 tags, courtesy of Jonas Oberhauser.

7. Distinguish between syntactic and semantic tags, courtesy of
Jonas Oberhauser.

Thanx, Paul

------------------------------------------------------------------------

b/tools/memory-model/Documentation/herd-representation.txt | 27 -
b/tools/memory-model/README | 2
b/tools/memory-model/linux-kernel.bell | 9
b/tools/memory-model/linux-kernel.cat | 10
b/tools/memory-model/linux-kernel.cfg | 1
b/tools/memory-model/linux-kernel.def | 21 +
tools/memory-model/Documentation/herd-representation.txt | 44 +-
tools/memory-model/linux-kernel.bell | 36 +-
tools/memory-model/linux-kernel.def | 222 ++++++-------
9 files changed, 215 insertions(+), 157 deletions(-)