Re: [PATCH 2/2] tools/memory-model: Code reorganization in lock.cat

[Paul E. McKenney]

On Thu, Jun 06, 2024 at 06:16:27PM +0200, Andrea Parri wrote:
> (... Reorganize code in lock.cat)
> 
> On Thu, Jun 06, 2024 at 09:59:01AM -0400, Alan Stern wrote:
> > Code reorganization for the lock.cat file in tools/memory-model:
> > 
> > Improve the efficiency by ruling out right at the start RU events
> > (spin_is_locked() calls that return False) inside a critical section
> > for the same lock.
> > 
> > Improve the organization of the code for handling LF and RU events by
> > pulling the definitions of the pair-to-relation macro out from two
> > different complicated compound expressions, using a single standalone
> > definition instead.
> > 
> > Rewrite the calculations of the rf relation for LF and RU events, for
> > greater clarity.
> > 
> > Signed-off-by: Alan Stern <stern@xxxxxxxxxxxxxxxxxxx>
> 
> Tested-by: Andrea Parri <parri.andrea@xxxxxxxxx>
> Acked-by: Andrea Parri <parri.andrea@xxxxxxxxx>

I queued them both, and thank you both!

							Thanx, Paul