volatile关键字与内存可见性
内存可见性问题来源
多个线程操作共享变量的情况下，存在内存可见性问题。如下图所示，主线程根据flag的状态来决定是否继续执行循环；但是当线程1将flag改为false后，主线程可能会因为内存可见性的原因，不能及时发现flag已经从true改为了false，导致不能及时结束或不能结束while循环。这是可以使用volatile关键字对flag进行修饰，从而保证flag变量的内存可见性。
volatile不能够保证变量的原子性
i被volatile修饰，线程在操作i之前会直接从主存获取i的值，从而保证了内存可见性。
需
要
注
意
的
是
：
v
o
l
a
t
i
l
e
不
具
备
互
斥
性
，
v
o
l
a
t
i
l
e
不
能
够
保
证
变
量
的
原
子
性
。
\color{red}{需要注意的是：volatile不具备互斥性，volatile不能够保证变量的原子性。}
需要注意的是：volatile不具备互斥性，volatile不能够保证变量的原子性。
在JUC中，原子变量使用volatile来保证内存可见性，使用CAS来保证操作变量时的原子性。