[GIT PULL] LKMM changes for v6.3

[GIT PULL] LKMM changes for v6.3

[Paul E. McKenney]

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

Re: [GIT PULL] LKMM changes for v6.3

[pr-tracker-bot]

The pull request you sent on Tue, 21 Feb 2023 17:56:59 -0800:

> git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/lkmm.2023.02.15a

has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/192a5e0a19712a079f456954c203ce9dd2b889fa

Thank you!

-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/prtracker.html