linux-kernel - [GIT PULL] LKMM changes for v5.17

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: <20220110184748.GA1012883@paulmck-ThinkPad-P17-Gen-1>
Date:   Mon, 10 Jan 2022 10:47:48 -0800
From:   "Paul E. McKenney" <paulmck@...nel.org>
To:     torvalds@...ux-foundation.org
Cc:     mingo@...nel.org, linux-kernel@...r.kernel.org,
        linux-arch@...r.kernel.org, kernel-team@...com,
        boqun.feng@...il.com
Subject: [GIT PULL] LKMM changes for v5.17

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