Double Checked Locking

[Manfred Nowak]

Andrei Alexandrescu wrote:

> specification can be refined

1) I do not see such refinements for D.
2) If there is _no_ requirement for such refinements to be used 
"manually": which theory enables the compiler to detect the 
prerequisites for the refinements automatically?
3) If there _is_ a requirement for such refinements to be used 
"manually", then there is no such theory and your starting "No" turns 
into a "Yes, of course, even if the specification _is_ refined, because 
humans might fail".

-manfred