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.