Subj : Re: double-checked locking in C
To   : comp.programming.threads
From : Alexander Terekhov
Date : Fri Jul 08 2005 01:25 pm


Laurent Deniau wrote:
[...]
> Right. Comming back to the example, returning from a function is a
> sequence point. 

"The C standard says that it must look that way from the point of 
view of the abstract machine defined by the standard. But the as-if 
rule says that things can be arbitrarily reordered as long as nobody 
can tell. Since the standard says nothing about threading, it does 
not concern itself with statement reorderings that are as-if-safe 
under one thread of control but as-if-unsafe under multiple threads 
of control." 

regards, 
alexander.

.