Double-Checked Lock 是一个常见的由于程序员把内存模型默认为 sequential momery consistency 导致的问题，具体见我去年写的一篇博文 http://techblog.iamzellux.com/2008/07/singleton-pattern-and-double-checked-lock/虽然 Java 5 解决了这个问题，但是 C++等语言中这个问题依然存在，依然有很多因为程序员假设 sequential consistency 而编译器做了错误的指令调度后导致的 bug，见 http://www.newsmth.net/bbscon.php?……