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

[Andrew Haley]

On 11/24/2014 03:15 PM, Stephan Diestelhorst wrote:
>> I have communicated with ARM and (although it is implied in the the
>> > ARMv8 Architecture Reference Manual in a roundabout way) they have
>> > raised a ticket for clarification in a future update.
>
> Not sure if this is already what you had in mind or whether this is the
> "roundabout way", please let me know.  The only issue I have had with
> this is that the clarification for the restricted type happens pretty
> late. Until then one (I!) too assumed it would only be loads (due to the
> name / mnemonic type being "LD").

Quite.  two things:

Firstly, that section needs to say that the first is DMB, the second
is DMB ST, and the third is DMB LD.  It may be "obvious", but you
still have to say it.  And the page which defines DMB has to say it
too, or at least have a direct link to the page where the barrier
option names are defined.

Andrew.