Messages in this thread | | | Date | Mon, 20 Mar 2023 18:02:35 -0700 | From | "Paul E. McKenney" <> | 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(-)
| |