java 双重检查锁 有序_java 单例模式中双重检查锁定 volatile 的作用？

先上结论，这段代码里volatile的作用仅仅是禁止重排序

1.为什么要禁止重排序？

确保先执行构造器方法，再将引用和实例连接到一起。如果没有禁止重排序，会导致另一个线程可能获取到尚未构造完成的对象。

2.为什么没有起到可见性的作用？JSR-133

An unlock on a monitor happens before every subsequent lock on that same monitor

第二次非null判断是在加锁以后，则根据这一条，另一个线程一定能看到这个引用被赋值。所以即使没有volatile，依旧能保证可见性。

3.如果不加volatile，能不能使代码正确运行？

既然可见性已经有了保证，那我们只需要保证有序性。怎么保证有序性呢？

只需要在“构造对象”和“连接引用与实例”之间加上一道内存屏障

由于是在单线程里，同样根据JSR-133Each action in a thread happens before every action in that thread that comes later in the program's order

你只需要在构造和赋值之间随意做点事情就可以，比如：

Singleton temp = new Singleton();

temp.toString();//构造与赋值之间随意做点事情保证顺序

instance=temp;

————update——————

不小心删除了 @呵呵一笑百媚生 的回复，答案修改在这里

1.关于instance内部数据成员的可见性

instance即使加了volatile，另一个线程修改它的数据成员时(数据成员没加volatile),依然存在可见性问题。所以讨论这个与本题无关

2.关于援引"happens before"问题

我指的读取是“第二处if内部的instance写入 happens before 第二处if的instance读取”而不是“第一处”(百媚生同学认为我错误的地方)，也就是说后面的线程在获取锁以后判断instance是否为null必然是在第一个线程引用赋值完成释放锁以后。

3.关于添加内存屏障的问题

其实只要拿临时变量temp随意做些操作，保证赋值在构造函数结束后再完成，即可不使用volatile修饰instance