linux-kernel - [GIT PULL] LKMM changes for v6.10

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [thread-next>] [day] [month] [year] [list]

Message-ID: <9a2178f8-a33a-4b0e-a867-30ea44761e8a@paulmck-laptop>
Date: Sun, 12 May 2024 10:41:44 -0700
From: "Paul E. McKenney" <paulmck@...nel.org>
To: torvalds@...ux-foundation.org
Cc: linux-kernel@...r.kernel.org, linux-arch@...r.kernel.org,
	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, dlustig@...dia.com, joel@...lfernandes.org,
	mark.rutland@....com
Subject: [GIT PULL] LKMM changes for v6.10

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