[cpp-threads] RE: volatile, memory models, threads

[Nick Maclaren]

Oops.  Sorry.  I am in the middle of an evil task (unrelated), and
misspoke.

> > Thus there is clearly a race here, as there was always intended to be.
>
> No, because your previous statement is false.  There is NOT "clearly"
> a data race.  ...

What I actually MEANT by that was that that there is not "clearly" a
data race of the sort that renders the whole program undefined
behaviour.  The problem here is that (even in C++) there is no clear
distinction between undefined behaviour that leads merely to
unpredictable values and that which the standard allows to break the
laws of physics.

As Hans said, there is clearly a data race of some sort - I didn't
mean to contradict that and say that THAT was false.  Apologies again.


Regards,
Nick Maclaren,
University of Cambridge Computing Service,
New Museums Site, Pembroke Street, Cambridge CB2 3QH, England.
Email:  nmm1 at cam.ac.uk
Tel.:  +44 1223 334761    Fax:  +44 1223 334679