volatile关键字的作用

声明一个域为volatile，那么编译器和虚拟机就知道该域可能被另一个线程并发更新。

Java内存模型
Java中的堆内存用来存储对象实例，堆内存是被所有线程共享的运行时内存区域，因此它存在内存可见性问题。Java内存模型定义了线程和主存之间的抽象关系：线程之间的共享变量存储在主存中，每个线程都有一个私有的本地内存，本地内存中存储了该线程共享变量的副本。本地内存是Java内存模型的一个抽象概念，并不真实存在，它涵盖了缓存，写缓冲区，寄存器等区域。

原子性，可见性和有序性
原子性：操作是不可被中断的，要么执行完毕，要么就不执行。
对基本数据类型的读取和赋值操作是原子性操作。

int x = 3;//原子性操作
int y = x;//非原子性操作，先读x，再写入y
x++;//非原子性操作

可见性：指线程之间的可见性，一个线程的修改状态对另一个线程是立即可见的。

有序性：Java内存模型中允许编译器和处理器对指令进行重排序，虽然重排序不会影响到单线程执行的正确性，但是会影响到多线程并发执行的正确性。

当一个共享变量被volatile修饰后，有两方面的含义：一是保证可见性，一个线程修改了变量的值，变量的新值对其它线程是立即可见的。二是禁止使用指令重排序，即当程序执行到volatile变量的操作时，在其前面的操作已经全部执行完毕，并且结果会对后面的操作可见，在其后面的操作还没有执行。
volatile不保证对变量的操作是原子性的，如自增操作不是原子性操作。

volatile的应用场景：

1. 状态标识

private volatile boolean mQuit = false;
public void quit() {
        mQuit = true;
}
public void run() {
	while (!mQuit ) {
		...
	}
}

2. 双重检查模式（DCL）
   getInstance方法中对Singleton进行了两次判空，第一次是为了避免不必要的同步，第二次是只有在Singleton为空情况下才创建实例。

public class Singleton {
	private volatile static Singleton mInstance;
	public static Singleton getInstance() {
        if (mInstance == null) {
            synchronized (Singleton .class) {
                if (mInstance == null) {
                    mInstance = new Singleton ();
                }
            }
        }
        return mInstance;
    }
}

与锁相比volatile变量是简单又非常脆弱的同步机制，在某些情况下将提供优于锁的性能。如果严格遵循volatile的使用条件，即变量真正独立于其他变量和自己以前的值，可以使用volatile代替synchronized来简化代码。