评论

#yjh1982 发表于2005-09-05 16:51:00  IP: 211.100.21.*

java不清楚，C++的我觉得没可能失效
只有一个线程能先通过
boost::mutex::scoped_lock l(guard_);来分配内存
而后面通过
boost::mutex::scoped_lock l(guard_);
的线程会再次做检查:
if(inst_ == 0)

#ralph623 发表于2005-09-06 09:09:00  IP: 211.100.21.*

问题的关键应该不在这里，Java 的 synchronized 也同样是加锁。问题在于有没有 out-of-order write 。Java 是明确允许，而 C/C++ 根本就没有规定，这就是我说不可移植的原因。

#ilovevc 发表于2005-09-08 13:37:00  IP: 211.100.21.*

重点不在于 if(inst_ == 0) , 而在于
inst_ = new instance;
这一句在C++中实际上是3句话:
1. operator new (sizeof(instance));
分配内存,
2. 调用instance 构造函数
3. 给inst_ 指针赋值
如果2,3次序颠倒, 那么就会出现inst_为非0但是仅仅是一块raw memory, 结果当然是undefined.

#ilovevc 发表于2005-09-14 09:32:00  IP: 211.100.21.*

这样啊。 那么为什么ACE还是使用DCL呢？

#ralph623 发表于2005-09-13 23:34:00  IP: 211.100.21.*

对，就是这样。不过前几天一个比较资深的工程师提醒了我：现在的x86 CPU 本身就有乱序执行的，所以即便从汇编语句中看不出端倪，也仍然可能产生问题。如果要真的解决，还要了解得更加详细。但是即便我再去仔细钻研了CPU 的文档，得到的结论仍然可能是片面的。所以我决定放弃这个努力，也难怪现在 C++ 社群里面有那么多人在作 multithread memory model 方面的工作，没有它，程序员根本无从准确预测多线程程序的行为。

#非典型秃子 发表于2005-09-22 19:47:00  IP: 211.100.21.*

我怎么觉得这更象是jit优化过了头呢？一种语言，既然要支持多线程，那么这种差错居然要程序员来承担，未免也太过分了吧？要synchronized何用？

#ralph623 发表于2005-10-04 11:19:00  IP: 211.100.21.*

从实用的角度来说，DCL在C++中的确还是可以用的。基本上，CPU的乱序执行总是有个限度的，它可能把相邻的几条指令改变顺序以适应流水线的需要，但是总不可能把前后几十条指令来个乾坤大挪移（我没时间仔细看资料，应该是这样吧）。问题只在于，这一切都是没有保障的，虽然发生问题的几率很低很低。

#刘未鹏 发表于2005-10-25 19:26:00  IP: 211.100.21.*

CPU执行顺序固然是一个威胁，但另一个威胁来自编译器，C++标准没规定说编译器不准调整指令顺序;-)

scott和alexandrescu在DDJ上的一篇文章详细描述了这个问题。

C++的multithreading memory model准备参考或沿用JAVA里面最近已经尘埃落定下来的模型（）。

不过进展实在缓慢;-)

#ralph623 发表于2005-11-13 16:03:00  IP: 218.184.170.54, 211.76.97.*

刚刚在看 Hans Boehm 的大作 Threads Cannot be Implemented as a Library ，算是对这个问题有了一个总结，reorder 来自两个方面：

• Compilers may reorder memory operations if that doesn’t violate intra-thread dependencies. Each pair of actions in the above threads could be reordered, since doing so does not change the meaning of each thread, taken in isolation. And performing loads early may result in a better instruction schedule, potentially resulting in performance improvements. (Cf. [2].)

• The hardware may reorder memory operations based on similar constraints. Nearly all common hardware, e.g. X86 processors, may reorder a store followed by a load[17]. Generally a store results immediately in a write-buffer entry, which is later written to a coherent cache, which would then be visible to other threads.

好了，相信这个够全面了。

#jsjzhou 发表于2008-03-19 11:58:31  IP: 58.48.76.*

一个替代方法：

class SingletonTest
{
private static SingletonTest instance;

private SingletonTest
{
}

private static class Instance//嵌套类只加载一次。
{
static fianl SingletonTest Instance=new SingletonTest();
}

public static SingletonTest()
{
return Instance.instance;
}
}