Received-SPF: pass (google.com: domain of linux-kernel+bounces-204746-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45e3:2400::1 as permitted sender) client-ip=2604:1380:45e3:2400::1;
Date: Thu, 6 Jun 2024 09:56:41 -0700
From: "Paul E. McKenney" <paulmck@kernel.org>
To: Andrea Parri <parri.andrea@gmail.com>
Cc: Alan Stern <stern@rowland.harvard.edu>, will@kernel.org,
	peterz@infradead.org, boqun.feng@gmail.com, npiggin@gmail.com,
	dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr,
	akiyks@gmail.com, dlustig@nvidia.com, joel@joelfernandes.org,
	linux-kernel@vger.kernel.org, hernan.poncedeleon@huaweicloud.com,
	jonas.oberhauser@huaweicloud.com
Subject: Re: [PATCH 2/2] tools/memory-model: Code reorganization in lock.cat
Message-ID: <4e02f72f-f901-4734-ba3d-6a0663915107@paulmck-laptop>
Reply-To: paulmck@kernel.org
References: <eb202b3b-7408-4ab9-be82-81ca554b7603@rowland.harvard.edu>
 <6211154e-7db9-4129-b0d4-26ff69e2398c@rowland.harvard.edu>
 <ZmHg23/0cJ+REHNy@andrea>
Precedence: bulk
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <ZmHg23/0cJ+REHNy@andrea>

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@rowland.harvard.edu>
> 
> Tested-by: Andrea Parri <parri.andrea@gmail.com>
> Acked-by: Andrea Parri <parri.andrea@gmail.com>

I queued them both, and thank you both!

							Thanx, Paul