Current LKMM patch disposition

From: Paul E. McKenney
Date: Fri Feb 03 2023 - 19:49:11 EST


Hello!

Here is what I currently have for LKMM patches:

289e1c89217d4 ("locking/memory-barriers.txt: Improve documentation for writel() example")
ebd50e2947de9 ("tools: memory-model: Add rmw-sequences to the LKMM")
aae0c8a50d6d3 ("Documentation: Fixed a typo in atomic_t.txt")
9ba7d3b3b826e ("tools: memory-model: Make plain accesses carry dependencies")

Queued for the upcoming (v6.3) merge window.

c7637e2a8a27 ("tools/memory-model: Update some warning labels")
7862199d4df2 ("tools/memory-model: Unify UNLOCK+LOCK pairings to po-unlock-lock-")

Are ready for the next (v6.4) merge window. If there is some
reason that they should instead go into v6.3, please let us
all know.

a6cd5214b5ba ("tools/memory-model: Document LKMM test procedure")

This goes onto the lkmm-dev pile because it is documenting how
to use those scripts.

https://lore.kernel.org/lkml/Y9GPVnK6lQbY6vCK@xxxxxxxxxxxxxxxxxxx/
https://lore.kernel.org/lkml/20230126134604.2160-3-jonas.oberhauser@xxxxxxxxxxxxxxx
https://lore.kernel.org/lkml/20230203201913.2555494-1-joel@xxxxxxxxxxxxxxxxx/
5d871b280e7f ("tools/memory-model: Add smp_mb__after_srcu_read_unlock()")

These need review and perhaps further adjustment.

So, am I missing any? Are there any that need to be redirected?

Thanx, Paul