知道double-checked locking的时候应该使用volatile，但是没有仔细想过为什么。今天想起这个问题，费解了一上午，现在终于想到一个解释。
//broken double-checked locking
Code
这个例子在ia64上会有问题。因为ia64支持写reorder，因此Singleton构造函数中对message字段的赋值有可能被调整到lock范围中对instance静态字段的赋值之后。因此可能存在这样一个时刻，instance已经保存了一个Singleton实例的引用。但是这个引用的message字段还保持为null。当然这个时刻必然是处于lock的范围内，因为Monitor.Exit具有释放语义，在其他线程Enter之前，instance静态字段和message实例字段就都已经被更新到内存当中。
我今天上午一直费解的是，既然这个不一致状态是在lock之内，为什么会对其他线程有影响？难道会有sb不加锁访问instance么？刚才忽然抬头看到了double-checked 中lock之前的check...
在第一个线程处于lock中的时候，有可能内存中的instance静态字段已经被赋值，但是内存中的message实例还没有被赋值。这个时候第二个线程粉墨登场，虽然第一个线程还持有锁，但由于double-checked中的第一个check不加锁，因此看到instance已经初始化好了，于是就获得了单例。然后第二个线程访问message字段的时候发现居然是null耶，what the hell...
我想这个就是ia64中double-checked locking is broken的原因。一个reorder + 不加锁访问对象造成的错误。
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。