lkml.org 
[lkml]   [2023]   [Mar]   [20]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
Subject[PATCH memory-model 0/8] LKMM updates for v6.4
Hello!

This series provides LKMM updates:

1. tools/memory-model: Update some warning labels, courtesy of
Alan Stern.

2. tools/memory-model: Unify UNLOCK+LOCK pairings to
po-unlock-lock-po, courtesy of Jonas Oberhauser.

3. tools/memory-model: Add smp_mb__after_srcu_read_unlock().

4. tools/memory-model: Restrict to-r to read-read address dependency,
courtesy of "Joel Fernandes (Google)".

5. tools/memory-model: Provide exact SRCU semantics, courtesy of
Alan Stern.

6. tools/memory-model: Make ppo a subrelation of po, courtesy of
Jonas Oberhauser.

7. tools/memory-model: Add documentation about SRCU read-side
critical sections, courtesy of Alan Stern.

8. Documentation: litmus-tests: Correct spelling, courtesy of
Randy Dunlap.

Thanx, Paul

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

b/Documentation/litmus-tests/README | 2
b/tools/memory-model/Documentation/explanation.txt | 178 +++++++++++++++++++--
b/tools/memory-model/linux-kernel.bell | 10 -
b/tools/memory-model/linux-kernel.cat | 15 +
b/tools/memory-model/linux-kernel.def | 1
b/tools/memory-model/lock.cat | 6
tools/memory-model/linux-kernel.bell | 20 --
tools/memory-model/linux-kernel.cat | 7
tools/memory-model/linux-kernel.def | 6
9 files changed, 205 insertions(+), 40 deletions(-)

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