This is the mail archive of the
mailing list for the GCC project.
Re: Optimization of conditional access to globals: thread-unsafe?
On Mon, Oct 29, 2007 at 09:50:16 +0100, Eric Botcazou wrote:
> Right, so please define more or less formally what the "final value" is from
> the viewpoint of the current thread, this is the crux of the matter.
OK, formally there's no "final" value from current thread's POV, only
the "current" value. "Final" only matters from other thread's POV,
like "this is the last value that was produced by another thread
before it released the mutex".
But shouldn't we formally define "define" first? :)