Received-SPF: pass (google.com: domain of linux-kernel+bounces-190725-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.80.249 as permitted sender) client-ip=147.75.80.249;
Date: Mon, 27 May 2024 09:33:37 -0400
From: Alan Stern <stern@rowland.harvard.edu>
To: Hernan Ponce de Leon <hernan.poncedeleon@huaweicloud.com>
Cc: Andrea Parri <parri.andrea@gmail.com>, 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,
  paulmck@kernel.org, akiyks@gmail.com, dlustig@nvidia.com,
  joel@joelfernandes.org, linux-kernel@vger.kernel.org,
  linux-arch@vger.kernel.org, jonas.oberhauser@huaweicloud.com
Subject: Re: [PATCH] tools/memory-model: Document herd7 (internal)
 representation
Message-ID: <bbf1a4ee-977c-4e74-ac57-69124c37337a@rowland.harvard.edu>
References: <20240524151356.236071-1-parri.andrea@gmail.com>
 <1c6d4146-86f8-4fd5-a23e-a95ba2464c9e@rowland.harvard.edu>
 <ZlC5q7bcdCAe7xPp@andrea>
 <b7365700-a983-b787-e22a-7526621d4c18@huaweicloud.com>
Precedence: bulk
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <b7365700-a983-b787-e22a-7526621d4c18@huaweicloud.com>

On Mon, May 27, 2024 at 02:25:01PM +0200, Hernan Ponce de Leon wrote:
> On 5/24/2024 6:00 PM, Andrea Parri wrote:
> > > What's the difference between R and R*, or between W and W*?
> > 
> > AFAIU, herd7 uses such notation, "*", to denote a load or a store which
> > is also in RMW.
> 
> I also got confused with this. What about the following notation?
> 
> 	R[once,RMW] ->rmw W[once,RMW]

Either way, it would be a good idea to add an explanation at the start 
of the file.

Likewise, add an explanation that blank entries mean the same as the 
preceding row.

Overall the table looks very good.

Alan