转载

JAVA中volatile介绍

在并发编程中谈及到的无非是可见性、有序性及原子性。而这里的 Volatile 只能够保证前两个性质，对于原子性还是不能保证的，只能通过锁的形式帮助他去解决原子性操作。

package com.montos.detail;
public class Singleton {
	public static volatile Singleton instance = null;
	private Singleton() {
	}
	public static Singleton getInstance() {
		if (instance == null) {
			synchronized (instance) {
				if (instance == null) {
					instance = new Singleton();
				}
			}
		}
		return instance;
	}
}
复制代码

上面的代码是利用了单例模式里面的一个双重校验的写法，里面的实例变量中就是加上了 volatile 关键字，可能大家对于加不加这个关键字没啥感觉，因为去除这个关键字就可以保证多线程的情况下，外部能够拿到唯一的对象，还需要加上这个关键字干什么？。

双重校验的写法：第一次判断是否为 null 是为了拒绝掉当对象不为空的时候剩余的线程。里面加锁是为了当对象为 null 的时候，此时同时进来两个线程(A和B两个线程)，我们要保证只有一个线程才可以初始化对象，所以在这里面加上了锁，这样A拿到了锁进去初始化对象，然后进行返回，B再进去此时发现不为 null ，那么就不执行初始化的过程。这样就能保证上面的单例模式的正常运行，同时为系统也是节约了许多开销（避免每个线程进来加锁--懒汉式写法等。。）

在理解上面的为什么不安全的情况下，我们首先要理解对象实例化的步骤：

分配内存空间。
初始化对象。
将内存空间的地址赋值给对应的引用。

上面是正常情况下，对象实例化的步骤，但是由于操作系统方面的原因。上面的第二步可能与第三步进行对换，如果发生这种情况，那么此时拿到的对象也只是一个引用，对于后面的业务操作可能存在错误的发生。

操作系统中指令重排问题：

一条的指令包括:

序号	指令	说明
1	IF	取值
2	ID	译码和取寄存器操作数
3	EX	执行或者有效地址计算
4	MEM	存储器访问
5	WB	写回

未进行指令重排的Demo:

a = b + c; d = e -f ;

从上图可以看到有几个打x的地方，如果按照顺序执行的话，CPU是需要一个时钟周期来等待的，首先看第一个红色框的，第一个需要空出一个时钟周期是因为当前变量C还没有写入，此时是不可以进行两个值计算的，我们需要等待变量C的写入才可以进行执行两个数的求和，第二个空的时钟周期是因为当前一个时钟周期内，一个物理逻辑单位只能被一个指令执行，如果不空出一个时钟周期，那么就会与上面的 EX 起到冲突，第三个空档也是一样的道理。第二个红色框也是如此。

这上面就是如果计算机不进行指令重排的话，一个简单的计算，我们就可能浪费了5个时钟周期，即一条指令的从头到尾执行，所以计算机为了高效，就会对原来的指令进行重排，让 CPU 的资源能够得到很好的使用。

我们就将变量e的指令执行放在变量c之后，变量f的指令执行放在计算第一个表达式指令之后：