[GIT PULL] LKMM changes for v6.10

From: Paul E. McKenney
Date: Sun May 12 2024 - 13:41:54 EST


Hello, Linux,

When the merge window opens, please pull this LKMM update from:

git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/lkmm.2024.05.10a
HEAD: 2ba5b4130e3d5d05c95981e1d2e660d57e613fda: Documentation/litmus-tests: Make cmpxchg() tests safe for klitmus (2024-05-06 14:29:21 -0700)

----------------------------------------------------------------
lkmm: Upgrade LKMM documentation

This commit upgrades LKMM documentation, perhaps most notably adding
a number of litmus tests illustrating cmpxchg() ordering properties.
TL;DR: Failing cmpxchg() operations provide no ordering.

----------------------------------------------------------------
Paul E. McKenney (4):
Documentation/litmus-tests: Add locking tests to README
Documentation/litmus-tests: Demonstrate unordered failing cmpxchg
Documentation/atomic_t: Emphasize that failed atomic operations give no ordering
Documentation/litmus-tests: Make cmpxchg() tests safe for klitmus

Documentation/atomic_t.txt | 4 +-
Documentation/litmus-tests/README | 45 ++++++++++++++++++++++
.../atomic/cmpxchg-fail-ordered-1.litmus | 35 +++++++++++++++++
.../atomic/cmpxchg-fail-ordered-2.litmus | 30 +++++++++++++++
.../atomic/cmpxchg-fail-unordered-1.litmus | 34 ++++++++++++++++
.../atomic/cmpxchg-fail-unordered-2.litmus | 30 +++++++++++++++
6 files changed, 176 insertions(+), 2 deletions(-)
create mode 100644 Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-1.litmus
create mode 100644 Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-2.litmus
create mode 100644 Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-1.litmus
create mode 100644 Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-2.litmus