* [GIT PULL] LKMM changes for v6.10
@ 2024-05-12 17:41 Paul E. McKenney
2024-05-13 17:27 ` pr-tracker-bot
0 siblings, 1 reply; 2+ messages in thread
From: Paul E. McKenney @ 2024-05-12 17:41 UTC (permalink / raw)
To: torvalds
Cc: linux-kernel, linux-arch, stern, parri.andrea, will, peterz,
boqun.feng, npiggin, dhowells, j.alglave, luc.maranget, akiyks,
dlustig, joel, mark.rutland
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
^ permalink raw reply [flat|nested] 2+ messages in thread* Re: [GIT PULL] LKMM changes for v6.10
2024-05-12 17:41 [GIT PULL] LKMM changes for v6.10 Paul E. McKenney
@ 2024-05-13 17:27 ` pr-tracker-bot
0 siblings, 0 replies; 2+ messages in thread
From: pr-tracker-bot @ 2024-05-13 17:27 UTC (permalink / raw)
To: Paul E. McKenney
Cc: torvalds, linux-kernel, linux-arch, stern, parri.andrea, will,
peterz, boqun.feng, npiggin, dhowells, j.alglave, luc.maranget,
akiyks, dlustig, joel, mark.rutland
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2024-05-13 17:27 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-05-12 17:41 [GIT PULL] LKMM changes for v6.10 Paul E. McKenney
2024-05-13 17:27 ` pr-tracker-bot
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®