[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <42a43181-a431-44bd-8aff-6b305f8111ba@paulmck-laptop>
Date: Wed, 1 May 2024 16:21:18 -0700
From: "Paul E. McKenney" <paulmck@...nel.org>
To: linux-kernel@...r.kernel.org, linux-arch@...r.kernel.org,
kernel-team@...a.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 v2 memory-model 0/3] LKMM updates for v6.10
Hello!
This series contains LKMM documentation updates:
1. Documentation/litmus-tests: Add locking tests to README.
2. Documentation/litmus-tests: Demonstrate unordered failing cmpxchg.
3. Documentation/atomic_t: Emphasize that failed atomic operations
give no ordering.
4. Documentation/litmus-tests: Make cmpxchg() tests safe for klitmus.
Changes since V1:
o Apply formatting feedback from Andrea Parri
o Add patch 4 that makes tests safe for klitmus, also based on
feedback from Andrea Parri.
Thanx, Paul
------------------------------------------------------------------------
Documentation/litmus-tests/README | 16 ++++
Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-1.litmus | 1
Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-2.litmus | 4 -
Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-1.litmus | 1
Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-2.litmus | 4 -
b/Documentation/atomic_t.txt | 4 -
b/Documentation/litmus-tests/README | 29 ++++++++
b/Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-1.litmus | 34 ++++++++++
b/Documentation/litmus-tests/atomic/cmpxchg-fail-ordered-2.litmus | 30 ++++++++
b/Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-1.litmus | 33 +++++++++
b/Documentation/litmus-tests/atomic/cmpxchg-fail-unordered-2.litmus | 30 ++++++++
11 files changed, 180 insertions(+), 6 deletions(-)
Powered by blists - more mailing lists