lkml.org 
[lkml]   [2023]   [Feb]   [6]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: Current LKMM patch disposition
On Mon, Feb 06, 2023 at 09:20:59PM +0100, Jonas Oberhauser wrote:
> On 2/4/2023 1:48 AM, Paul E. McKenney wrote:
> > [...]
> > https://lore.kernel.org/lkml/20230203201913.2555494-1-joel@joelfernandes.org/
> > 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?
>
> Didn't you schedule joel's patch for 6.4?

Agreed, and Alan's patch as well. The scoreboard now stands as shown
below.

Thanx, Paul

------------------------------------------------------------------------

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-")
2e9fc6060678 ("tools/memory-model: Restrict to-r to read-read address dependency")
7e46006a97c9 ("tools/memory-model: Provide exact SRCU semantics")

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/20230126134604.2160-3-jonas.oberhauser@huaweicloud.com
5d871b280e7f ("tools/memory-model: Add smp_mb__after_srcu_read_unlock()")

These need review and perhaps further adjustment.

\
 
 \ /
  Last update: 2023-03-27 00:11    [W:0.166 / U:0.404 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site