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