volatile关键字

内存模型的相关概念

计算机在执行程序时，每条指令都是在CPU中执行的，在执行指令过程中，会涉及到数据的读取和写入。程序运行过程中的临时数据是存放在主存（物理内存）当中的，需要将主存中的数据读取到内存中，而CPU执行速度很快，这时就存在一个问题，从内存读取数据与向内存写入数据的过程跟CPU执行指令的执行速度比起来要慢的多，因此如果任何时候对数据的操作都要通过和内存的交互来进行，会大大降低指令执行的速度。因此在CPU里面就有了高速缓存。

也就是，当程序在运行过程中，会将运算需要的数据从主存复制一份到CPU的高速缓存当中，那么CPU进行计算时就可以直接从它的高速缓存读取数据和向其中写入数据，当运算结束之后，再将高速缓存中的数据刷新到主存当中。
这种方式在单线程的情况下，没有任何问题，但是在多线程下，可能会存在某个线程对数据的修改未及时更新到缓存中，导致其他线程读取的是脏数据，这种情况就是数据不可见，也叫缓存不一致。

解决缓存不一致的方式：
1）通过在总线加LOCK#锁的方式
2）通过缓存一致性协议

这两种都是硬件层面的解决方式。
第一种加锁的方式，由于在锁住总线期间，其他CPU无法访问内存，导致效率低下，会影响性能，所以产生了缓存一致性协议。
缓存一致性协议的核心思想：
当CPU写数据时，如果发现操作的变量是共享变量，即在其他CPU中也存在该变量的副本，会发出信号通知其他CPU将该变量的缓存行置为无效状态，因此当其他CPU需要读取这个变量时，发现自己缓存中缓存该变量的缓存行是无效的，那么它就会从内存重新读取。

java内存模型

在Java虚拟机规范中试图定义一种Java内存模型（Java Memory Model，JMM）来屏蔽各个硬件平台和操作系统的内存访问差异，以实现让Java程序在各种平台下都能达到一致的内存访问效果。那么Java内存模型规定了哪些东西呢，它定义了程序中变量的访问规则，往大一点说是定义了程序执行的次序。注意，为了获得较好的执行性能，Java内存模型并没有限制执行引擎使用处理器的寄存器或者高速缓存来提升指令执行速度，也没有限制编译器对指令进行重排序。也就是说，在java内存模型中，也会存在缓存一致性问题和指令重排序的问题。

	Java内存模型具备一些先天的“有序性”，即不需要通过任何手段就能够得到保证的有序性，这个通常也称为 happens-before 原则。如果两个操作的执行次序无法从happens-before原则推导出来，那么它们就不能保证它们的有序性，虚拟机可以随意地对它们进行重排序。

Java内存模型规定所有的变量都是存在主存当中（类似于前面说的物理内存），每个线程都有自己的工作内存（类似于前面的高速缓存）。线程对变量的所有操作都必须在工作内存中进行，而不能直接对主存进行操作。并且每个线程不能访问其他线程的工作内存。
要想并发程序正确地执行，必须要保证原子性、可见性以及有序性。只要有一个没有被保证，就有可能会导致程序运行不正确，而volatile关键可以保证数据的可见性，有序性。

volatile

适合于只有一个线程写，多个线程读的场景，因为它只能确保可见性。

原理：因为缓存一致性协议，所以如果对声明了volatile的变量进行写操作，JVM就会向处
理器发送一条Lock前缀的指令，将这个变量所在缓存行的数据写回到系统内存。但是，就
算写回到内存，如果其他处理器缓存的值还是旧的，再执行计算操作就会有问题。所以，
在多处理器下，为了保证各个处理器的缓存是一致的，就会实现缓存一致性协议，每个处
理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了（类似于乐观锁），
当处理器发现自己缓存行对应的内存地址被修改，就会将当前处理器的缓存行设置成无效
状态，当处理器对这个数据进行修改操作的时候，会重新从系统内存中把数据读到处理器
缓存里。

注意：volatile保证可见性，是保证所有指令执行完了之后的值是可见的，指令执行的过程中是没有其他线程来修改这个值，但是如果多个线程在对这个变量进行写操作的时候，在A线程将主内存中的变量值修改的过程中（指令执行的过程中），B线程又修改了主内存中的值，这时候等A线程将修改后的值放回主内存的时候，主内存中就有两个变量的值，这时候就混乱了，这种情况就不能保证数据的原子性。

使用场景：一个线程写，多个线程读的情况。

再总结一下：
1，volatile是在synchronized性能低下的时候提出的。如今synchronized的效率已经大幅提升，所以volatile存在的意义不大。
2，如今非volatile的共享变量，在访问不是超级频繁的情况下，已经和volatile修饰的变量有同样的效果了。
3，volatile保证可见性，不能保证原子性，不能保证线程安全。
4，volatile会禁止指令重排序。