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
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