[jmm-dev] [concurrency-interest] Will the real memory read barrier please stand up?

Andrew Haley aph at redhat.com
Thu Nov 20 10:25:17 UTC 2014


On 20/11/14 10:12, Joe Bowbeer wrote:
> As far as I can tell, the cookbook hasn't been updated yet for ARMv8.  It
> looks like the following might be helpful in updating the recipes.
> 
> http://www.cl.cam.ac.uk/~pes20/cpp/cpp0xmappings.html

Yes, it looks like the DMB LD is now stronger if, that page is right.

It'd be nice if someone could point me at the language in the
ARMv8 spec that this derives from.

Andrew.



More information about the jmm-dev mailing list