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

[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