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

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: <20230222015659.GA1344672@paulmck-ThinkPad-P17-Gen-1>
Date:   Tue, 21 Feb 2023 17:56:59 -0800
From:   "Paul E. McKenney" <paulmck@...nel.org>
To:     torvalds@...ux-foundation.org
Cc:     parav@...dia.com, will@...nel.org, stern@...land.harvard.edu,
        kushagra765@...look.com, jonas.oberhauser@...wei.com,
        linux-kernel@...r.kernel.org, kernel-team@...a.com
Subject: [GIT PULL] LKMM changes for v6.3

Hello, Linus,

Please pull the latest LKMM changes from:
  git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/lkmm.2023.02.15a
  # HEAD: 9ba7d3b3b826ef47c1b7b8dbc2d57da868168128: tools: memory-model: Make plain accesses carry dependencies (2023-01-03 20:47:04 -0800)

----------------------------------------------------------------
LKMM updates for v6.3

Documentation updates.

Add read-modify-write sequences, which means that stronger primitives
more consistently result in stronger ordering, while still remaining in
the envelope of the hardware that supports Linux.

Address, data, and control dependencies used to ignore data that was
stored in temporaries.  This update extends these dependency chains to
include unmarked intra-thread stores and loads.  Note that these unmarked
stores and loads should not be concurrently accessed from multiple
threads, and doing so will cause LKMM to flag such accesses as data races.

----------------------------------------------------------------
Alan Stern (1):
      tools: memory-model: Add rmw-sequences to the LKMM

Jonas Oberhauser (1):
      tools: memory-model: Make plain accesses carry dependencies

Kushagra Verma (1):
      Documentation: Fixed a typo in atomic_t.txt

Parav Pandit (1):
      locking/memory-barriers.txt: Improve documentation for writel() example

 Documentation/atomic_t.txt                       |  2 +-
 Documentation/memory-barriers.txt                | 22 ++++++-------
 tools/memory-model/Documentation/explanation.txt | 39 +++++++++++++++++++++++-
 tools/memory-model/linux-kernel.bell             |  6 ++++
 tools/memory-model/linux-kernel.cat              |  5 +--
 tools/memory-model/litmus-tests/dep+plain.litmus | 31 +++++++++++++++++++
 6 files changed, 90 insertions(+), 15 deletions(-)
 create mode 100644 tools/memory-model/litmus-tests/dep+plain.litmus