volatile关键字的作用

JMM背景知识：

Java并发三大特征

1、可见性：

基于上面的JMM内存模型我们可以知道，每个线程拥有自己的工作内存。主内存时用来存储类的共享变量的。所有线程都可以访问主内存，但是主内存的访问需要通过工作内存来进行。

当一个线程修改了共享变量的值并同步到主内存中的时候，其他线程能否立刻知道并且拉去最新结果到自己的本地内存，就称为可见性。也就是一个线程能否立刻看到另外一个线程修改的共享变量值，就是可见性。

2、有序性：

有序性是指程序按照代码的先后顺序执行。但是编译器或者处理器出于性能优化原因，改变程序语句执行的先后顺序。在单线程的情况下没有任何影响，但是在多线程的环境下有时会出一些奇怪的bug（在学单例模式的时候碰到过）

3、原子性：

在多线程的环境下，一条语句实际上是由多条指令组成的，那么就有可能发发生一个变量线程A修改了一半，时间片分给了线程B，线程B把这个数据修改了，时间片又分给线程A的时候，线程A没法下手了。

---

以上的三种问题，原子性可以通过加锁来解决。可见性是因为缓存导致的，有序性是编译优化指令重排导致的，那么我们可以让程序员按照需要禁用缓存和编译优化，于是提出了JMM规范：

JMM规范了JVM如何提供按需禁用缓存和编译优化的方法，主要通过volatile、synchronized、final关键字。

volatile

---

1、volatile解决可见性：

在并发情况下，会发生工作内存数据更新不及时导致的脏数据问题。使用volatile变量可以保证：

1、每次读取前必须先从主内存刷新最新的值

2、每次写入新的值之后立即同步到到主内存中

2、volatile解决指令重排

volatile修饰的变量，可以确保任何一个线程在修改了volatile变量之后，新的值会立刻被刷新到主内存中。当其他线程需要读取这个volatile变量的时候，会去主内存中重新读取最新值，而不是使用工作内存中可能已经过期的值。

---

总结：volitale保持内存可见性、防止指令重排