[lkml]   [2023]   [Feb]   [21]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
Subject[GIT PULL] LKMM changes for v6.3
Hello, Linus,

Please pull the latest LKMM changes from:
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/ | 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

 \ /
  Last update: 2023-03-27 00:31    [W:0.030 / U:0.068 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site