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

[Andrew Haley]

On 20/11/14 00:38, Hans Boehm wrote:
> There doesn't seem to be any consistency about the use of definition 1 or
> 2.  I think a definition 1 "read barrier" has very limited utility, but
> some architectures provide it.  ARMv8's load barrier is type 2, but ARM's
> store barrier is the analog of type 1, i.e. it orders only stores.

Are you saying that ARM's DMB LD is LoadLoad|LoadStore ?  Doug's JSR-133
Cookbook suggests otherwise.

Andrew.