Optimization of conditional access to globals: thread-unsafe?

[Andrew Haley]

Tomash Brechko writes:
 > On Mon, Oct 22, 2007 at 18:48:02 +0100, Andrew Haley wrote:
 > > Err, not exactly.  :)
 > > 
 > > See http://www.hpl.hp.com/personal/Hans_Boehm/c++mm/why_undef.html
 > 
 > Why, I'd say that page is about original races in the program, not
 > about what compiler should do with races that it introduces itself.
 > 
 > Still, "let's wait and see" is probably the best outcome that I can
 > expect from this discussion, so thanks anyway. ;)

It'll be interesting to see, when the draft recommendation is
published, whether your example would have been correct.

It will, to say the least, be nice to have a proper standard for the
memory model, so that we never have to have "is this pthreads program
defined or not?" arguments ever again.  :-)

Andrew.