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

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 for Android: free password hash cracker in your pocket

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

Message-ID: <628d04f3-8bd3-4950-bcbe-49ff52ec408b@paulmck-laptop>
Date:   Tue, 11 Apr 2023 16:10:14 -0700
From:   "Paul E. McKenney" <paulmck@...nel.org>
To:     torvalds@...ux-foundation.org
Cc:     linux-kernel@...r.kernel.org, kernel-team@...a.com,
        stern@...land.harvard.edu, jonas.oberhauser@...weicloud.com,
        joel@...lfernandes.org, rdunlap@...radead.org
Subject: [GIT PULL] LKMM changes for v6.4

Hello, Linus,

Once the v6.4 merge window opens, please pull these LKMM updates from:

  git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/lkmm.2023.04.07a
  # HEAD: 57373671d5f5a92ee02d32e0b8506351ae30d33f: Documentation: litmus-tests: Correct spelling (2023-03-22 12:02:21 -0700)

----------------------------------------------------------------
LKMM updates for v6.4

This update improves LKMM diagnostic messages, unifies handling
of the ordering produced by unlock/lock pairs, adds support for the
smp_mb__after_srcu_read_unlock() macro, removes redundant members from
the to-r relation, brings SRCU read-side semantics into alignment
with Linux-kernel SRCU, makes ppo a subrelation of po, and improves
documentation.

----------------------------------------------------------------
Alan Stern (3):
      tools/memory-model: Update some warning labels
      tools/memory-model: Provide exact SRCU semantics
      tools/memory-model: Add documentation about SRCU read-side critical sections

Joel Fernandes (Google) (1):
      tools/memory-model: Restrict to-r to read-read address dependency

Jonas Oberhauser (2):
      tools/memory-model: Unify UNLOCK+LOCK pairings to po-unlock-lock-po
      tools/memory-model: Make ppo a subrelation of po

Paul E. McKenney (1):
      tools/memory-model: Add smp_mb__after_srcu_read_unlock()

Randy Dunlap (1):
      Documentation: litmus-tests: Correct spelling

 Documentation/litmus-tests/README                |   2 +-
 tools/memory-model/Documentation/explanation.txt | 178 +++++++++++++++++++++--
 tools/memory-model/linux-kernel.bell             |  30 ++--
 tools/memory-model/linux-kernel.cat              |  20 ++-
 tools/memory-model/linux-kernel.def              |   7 +-
 tools/memory-model/lock.cat                      |   6 +-
 6 files changed, 204 insertions(+), 39 deletions(-)