[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <20211202005027.GA3130970@paulmck-ThinkPad-P17-Gen-1>
Date: Wed, 1 Dec 2021 16:50:27 -0800
From: "Paul E. McKenney" <paulmck@...nel.org>
To: linux-kernel@...r.kernel.org, linux-arch@...r.kernel.org,
kernel-team@...com, mingo@...nel.org
Cc: stern@...land.harvard.edu, parri.andrea@...il.com, will@...nel.org,
peterz@...radead.org, boqun.feng@...il.com, npiggin@...il.com,
dhowells@...hat.com, j.alglave@....ac.uk, luc.maranget@...ia.fr,
akiyks@...il.com
Subject: [PATCH memory-model 0/3] LKMM updates for v5.17
Hello!
This series provides additional documentation and examples for the
Linux-kernel memory model (LKMM):
1. Provide extra ordering for unlock+lock pair on the same CPU,
courtesy of Boqun Feng.
2. Describe the requirement of the litmus-tests directory, courtesy
of Boqun Feng.
3. Add two tests for unlock(A)+lock(B) ordering, courtesy of
Boqun Feng.
Thanx, Paul
------------------------------------------------------------------------
Documentation/explanation.txt | 44 +++++++------
README | 12 +++
linux-kernel.cat | 6 -
litmus-tests/LB+unlocklockonceonce+poacquireonce.litmus | 35 ++++++++++
litmus-tests/MP+unlocklockonceonce+fencermbonceonce.litmus | 33 +++++++++
litmus-tests/README | 8 ++
6 files changed, 116 insertions(+), 22 deletions(-)
Powered by blists - more mailing lists