linux-kernel - [PATCH memory-model 0/4] LKMM updates 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: <20230105010944.GA1774169@paulmck-ThinkPad-P17-Gen-1>
Date:   Wed, 4 Jan 2023 17:09:44 -0800
From:   "Paul E. McKenney" <paulmck@...nel.org>
To:     linux-kernel@...r.kernel.org, linux-arch@...r.kernel.org,
        kernel-team@...a.com, mingo@...nel.org
Cc:     stern@...land.harvard.edu, parri.andrea@...il.com, will@...nel.org,
        peterz@...radead.org, boqun.feng@...il.com, npiggin@...il.com,
        dhowells@...hat.com, j.alglave@....ac.uk, luc.maranget@...ia.fr,
        akiyks@...il.com
Subject: [PATCH memory-model 0/4] LKMM updates for v6.3

Hello!

This series provides LKMM updates:

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

2.	memory-model: Add rmw-sequences to the LKMM, courtesy of Alan
	Stern.

3.	Documentation: Fixed a typo in atomic_t.txt, courtesy of
	Kushagra Verma.

4.	memory-model: Make plain accesses carry dependencies, courtesy
	of Jonas Oberhauser.

						Thanx, Paul

------------------------------------------------------------------------

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