This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Optimization of conditional access to globals: thread-unsafe?
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.