[cpp-threads] [Javamemorymodel-discussion] there's a happens-before orderhere. right?

[Alexander Terekhov]

On Tue, Dec 16, 2008 at 2:53 AM, Paul E. McKenney
<paulmck at linux.vnet.ibm.com> wrote:
[...]
>> My impression is that ARM does not respect control dependencies, at
>> least according to the spec.
>
> That is my impression as well.

Well, see

http://www.cl.cam.ac.uk/~pes20/weakmemory/draft-ppc-arm.pdf

"address or data or control dependency load store"

regards,
alexander.