Double Checked Locking

[Sean Kelly]

This isn't strictly true because it would make implementing a mutex in C impossible. The more detailed answer is that the C/C++ (pre-0x) don't specify a way to do this, so it's compiler and platform-dependent. 

Sent from my iPhone

On Jan 4, 2012, at 4:55 PM, Manfred Nowak <svv1999 at hotmail.com> wrote:

> Sean Kelly wrote:
> 
>> to ensure a correct result.
> 
> According to Andrei's paper, there is no ensurance of a correct
> result possible. If optimizations reduce runtime, then not only MTBF
> will be reduced, but some problems might turn out to be incomputable
> on that "optimized machine". Nobody will know in advance which
> problems that are.  
> 
> Of course: this holds only if Andrei's conclusions in his paper are 
> correct.
> 
> -manfred