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
