volatile关键字与内存可见性

内存可见性问题来源

多个线程操作共享变量的情况下，存在内存可见性问题。如下图所示，主线程根据flag的状态来决定是否继续执行循环；但是当线程1将flag改为false后，主线程可能会因为内存可见性的原因，不能及时发现flag已经从true改为了false，导致不能及时结束或不能结束while循环。这是可以使用volatile关键字对flag进行修饰，从而保证flag变量的内存可见性。

volatile不能够保证变量的原子性

i被volatile修饰，线程在操作i之前会直接从主存获取i的值，从而保证了内存可见性。
$需要注意的是：volatile不具备互斥性，volatile不能够保证变量的原子性。$

在JUC中，原子变量使用volatile来保证内存可见性，使用CAS来保证操作变量时的原子性。