* [GIT PULL] LKMM changes for v5.17
@ 2022-01-10 18:47 Paul E. McKenney
2022-01-11 18:03 ` pr-tracker-bot
0 siblings, 1 reply; 2+ messages in thread
From: Paul E. McKenney @ 2022-01-10 18:47 UTC (permalink / raw)
To: torvalds; +Cc: mingo, linux-kernel, linux-arch, kernel-team, boqun.feng
Hello, Linus,
Please pull the latest LKMM git tree from:
git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/lkmm.2022.01.09a
# HEAD: c438b7d860b4c1acb4ebff6d8d946d593ca5fe1e tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) ordering
LKMM changes for this cycle were documentation and litmus tests for
locking.
----------------------------------------------------------------
Boqun Feng (3):
tools/memory-model: Provide extra ordering for unlock+lock pair on the same CPU
tools/memory-model: doc: Describe the requirement of the litmus-tests directory
tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) ordering
tools/memory-model/Documentation/explanation.txt | 44 ++++++++++++----------
tools/memory-model/README | 12 ++++++
tools/memory-model/linux-kernel.cat | 6 +--
.../LB+unlocklockonceonce+poacquireonce.litmus | 35 +++++++++++++++++
.../MP+unlocklockonceonce+fencermbonceonce.litmus | 33 ++++++++++++++++
tools/memory-model/litmus-tests/README | 8 ++++
6 files changed, 116 insertions(+), 22 deletions(-)
create mode 100644 tools/memory-model/litmus-tests/LB+unlocklockonceonce+poacquireonce.litmus
create mode 100644 tools/memory-model/litmus-tests/MP+unlocklockonceonce+fencermbonceonce.litmus
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [GIT PULL] LKMM changes for v5.17
2022-01-10 18:47 [GIT PULL] LKMM changes for v5.17 Paul E. McKenney
@ 2022-01-11 18:03 ` pr-tracker-bot
0 siblings, 0 replies; 2+ messages in thread
From: pr-tracker-bot @ 2022-01-11 18:03 UTC (permalink / raw)
To: Paul E. McKenney
Cc: torvalds, mingo, linux-kernel, linux-arch, kernel-team, boqun.feng
The pull request you sent on Mon, 10 Jan 2022 10:47:48 -0800:
> git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/lkmm.2022.01.09a
has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/1c824bf768d69fce36de748c60c7197a2b838944
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:[~2022-01-11 18:03 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-01-10 18:47 [GIT PULL] LKMM changes for v5.17 Paul E. McKenney
2022-01-11 18:03 ` 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;
as well as URLs for NNTP newsgroup(s).