[PATCH v2 memory-model 0/3] LKMM updates for v6.10

From: Paul E. McKenney
Date: Wed May 01 2024 - 19:21:28 EST


Hello!

This series contains LKMM documentation updates:

1. Documentation/litmus-tests: Add locking tests to README.

2. Documentation/litmus-tests: Demonstrate unordered failing cmpxchg.

3. Documentation/atomic_t: Emphasize that failed atomic operations
give no ordering.

4. Documentation/litmus-tests: Make cmpxchg() tests safe for klitmus.

Changes since V1:

o Apply formatting feedback from Andrea Parri

o Add patch 4 that makes tests safe for klitmus, also based on
feedback from Andrea Parri.

Thanx, Paul

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

Documentation/litmus-tests/README | 16 ++++
Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-1.litmus | 1
Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-2.litmus | 4 -
Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-1.litmus | 1
Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-2.litmus | 4 -
b/Documentation/atomic_t.txt | 4 -
b/Documentation/litmus-tests/README | 29 ++++++++
b/Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-1.litmus | 34 ++++++++++
b/Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-2.litmus | 30 ++++++++
b/Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-1.litmus | 33 +++++++++
b/Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-2.litmus | 30 ++++++++
11 files changed, 180 insertions(+), 6 deletions(-)