Messages in this thread | | | Date | Tue, 11 Apr 2023 16:10:14 -0700 | From | "Paul E. McKenney" <> | Subject | [GIT PULL] LKMM changes for v6.4 |
| |
Hello, Linus,
Once the v6.4 merge window opens, please pull these LKMM updates from:
git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/lkmm.2023.04.07a # HEAD: 57373671d5f5a92ee02d32e0b8506351ae30d33f: Documentation: litmus-tests: Correct spelling (2023-03-22 12:02:21 -0700)
---------------------------------------------------------------- LKMM updates for v6.4
This update improves LKMM diagnostic messages, unifies handling of the ordering produced by unlock/lock pairs, adds support for the smp_mb__after_srcu_read_unlock() macro, removes redundant members from the to-r relation, brings SRCU read-side semantics into alignment with Linux-kernel SRCU, makes ppo a subrelation of po, and improves documentation.
---------------------------------------------------------------- Alan Stern (3): tools/memory-model: Update some warning labels tools/memory-model: Provide exact SRCU semantics tools/memory-model: Add documentation about SRCU read-side critical sections
Joel Fernandes (Google) (1): tools/memory-model: Restrict to-r to read-read address dependency
Jonas Oberhauser (2): tools/memory-model: Unify UNLOCK+LOCK pairings to po-unlock-lock-po tools/memory-model: Make ppo a subrelation of po
Paul E. McKenney (1): tools/memory-model: Add smp_mb__after_srcu_read_unlock()
Randy Dunlap (1): Documentation: litmus-tests: Correct spelling
Documentation/litmus-tests/README | 2 +- tools/memory-model/Documentation/explanation.txt | 178 +++++++++++++++++++++-- tools/memory-model/linux-kernel.bell | 30 ++-- tools/memory-model/linux-kernel.cat | 20 ++- tools/memory-model/linux-kernel.def | 7 +- tools/memory-model/lock.cat | 6 +- 6 files changed, 204 insertions(+), 39 deletions(-)
| |