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

[Paul E. McKenney]

On Tue, Dec 16, 2008 at 05:31:47PM +0100, Alexander Terekhov wrote:
> 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"

Well, perhaps there should be control dependencies in a future C++,
then!  ;-)

Though I would like to see this in an official ARM manual.  (What, me
paranoid?)

							Thanx, Paul