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

[Jonas Oberhauser]

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