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