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
