Re: [PATCH] tools/memory-model: Document herd7 (internal) representation

To: Hernan Ponce de Leon <hernan.poncedeleon@xxxxxxxxxxxxxxx>, Andrea Parri <parri.andrea@xxxxxxxxx>, Alan Stern <stern@xxxxxxxxxxxxxxxxxxx>
Subject: Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
From: Jonas Oberhauser <jonas.oberhauser@xxxxxxxxxxxxxxx>
Date: Mon, 27 May 2024 15:14:59 +0200
Cc: will@xxxxxxxxxx, peterz@xxxxxxxxxxxxx, boqun.feng@xxxxxxxxx, npiggin@xxxxxxxxx, dhowells@xxxxxxxxxx, j.alglave@xxxxxxxxx, luc.maranget@xxxxxxxx, paulmck@xxxxxxxxxx, akiyks@xxxxxxxxx, dlustig@xxxxxxxxxx, joel@xxxxxxxxxxxxxxxxx, linux-kernel@xxxxxxxxxxxxxxx, linux-arch@xxxxxxxxxxxxxxx
In-reply-to: <b7365700-a983-b787-e22a-7526621d4c18@huaweicloud.com>
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>
User-agent: Mozilla Thunderbird



Am 5/27/2024 um 2:25 PM schrieb Hernan Ponce de Leon:

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]


   Andrea




Note that the * is also what herd will show in its graphs.

  jonas

References:
- [PATCH] tools/memory-model: Document herd7 (internal) representation
  - From: Andrea Parri
- Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
  - From: Alan Stern
- Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
  - From: Andrea Parri
- Re: [PATCH] tools/memory-model: Document herd7 (internal) representation
  - From: Hernan Ponce de Leon