Possible subtle memory model error in ClassValue

[Andrew Dinn]

On 11/08/2020 11:47, Andrew Haley wrote:
> On 09/08/2020 18:55, Hans Boehm wrote:
>> There is no guarantee that the address dependency enforces ordering
>> if there is no final field involved. This may matter in the future,
>> since ARM's Scalable Vector Extension does not guarantee ordering
>> for address-dependent loads, if both loads are vector loads.
> 
> Ouch. Thanks, I didn't know that.

You ought to look at the pdf Ningsheng linked in the RFR that was posted
with the SVE patch. The pdf is available here:

  https://developer.arm.com/docs/ddi0584/latest

The relevant text is in section 4.4. Memory Ordering.

regards,


Andrew Dinn
-----------
Red Hat Distinguished Engineer
Red Hat UK Ltd
Registered in England and Wales under Company Registration No. 03798903
Directors: Michael Cunningham, Michael ("Mike") O'Neill