2024-05-12 17:41:54

by Paul E. McKenney

Subject: [GIT PULL] LKMM changes for v6.10

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

2024-05-13 17:28:23

by pr-tracker-bot

Subject: Re: [GIT PULL] LKMM changes for v6.10

The pull request you sent on Sun, 12 May 2024 10:41:44 -0700:

> git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/lkmm.2024.05.10a

has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/ee20260136095c8037d8f94f0471eb9f7e3da99f

Thank you!

--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/prtracker.html