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