[PATCH memory-model 0/8] LKMM updates for v6.4

Paul E. McKenney
2023-03-21T01:02:50Z

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