Double Checked Locking

[Manfred Nowak]

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