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

Paul E. McKenney
2024-08-02T00:22:04Z

Hello!

This series adds a few atomic operations, some documentation, and updates
the MAINTAINERS file.

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. Document herd7 (abstract) representation, courtesy of Andrea
Parri.

4. Add locking.txt and glossary.txt to README, courtesy of Akira
Yokosawa.

5. simple.txt: Fix stale reference to recipes-pairs.txt, courtesy
of Akira Yokosawa.

6. docs/memory-barriers.txt: Remove left-over references to "CACHE
COHERENCY", courtesy of Akira Yokosawa.

7. MAINTAINERS: Add the dedicated maillist info for LKMM, courtesy
of Boqun Feng.

Thanx, Paul

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

b/Documentation/memory-barriers.txt | 3
b/MAINTAINERS | 1
b/tools/memory-model/Documentation/README | 7
b/tools/memory-model/Documentation/herd-representation.txt | 110 +++++++++++++
b/tools/memory-model/Documentation/simple.txt | 2
b/tools/memory-model/linux-kernel.def | 21 ++
tools/memory-model/Documentation/README | 17 ++
tools/memory-model/linux-kernel.def | 6
8 files changed, 162 insertions(+), 5 deletions(-)