【多线程】Java中的volatile到底起着什么样的作用呢

当声明共享变量为volatile后，对这个变量的读/写将会很特别。那么它到底起着怎样的作用呢？

一、可见性

可见性指的是线程之间的可见性，一个线程修改的状态对另一个线程是可见的。也就是一个线程对一个volatile变量的读，总是能看到（任意线程）对这个volatile变量最后的写入。
其实之所以要保证可见性，主要与Java的内存模型有关。

内存模型

每个线程在执行的时候，会从主内存中拷贝一份到自己的本地内存，线程操作的时候是操作自己本地内存的变量，这样每个线程都操作自己本地内存的变量，就可能导致这个共享变量的数据不一致，这就体现了volatile的作用了。volatile可以使得一个线程操作共享变量的时候，能读到这个共享变量最新的变化，在这个变化上操作。

示意图

线程对共享变量的所有操作都必须在⾃⼰的本地内存中进⾏，不能直接从主内存中读取。JMM通过控制主内存与每个线程的本地内存之间的交互，来提供内存可⻅性保证。

举个栗子

下边这个例子只是为了理解volatile的作用
对任意单个volatile变量的读/写具有原子性，但类似于volatile++这种复合操作不具有原子性

线程A和线程B操作同一个变量a，假设线程A先执行，线程B后执行
在这里，因为有了volatile，所以线程A执行后的结果a=1对B是可见的，B执行的时候是在a=1的基础上进行的，然后B执行完是2；
如果没有volatile，线程A执行完a=1，但线程B可能不知道，B执行的时候以为a=0，B执行完就是1了

public class VolatileDemo {
    private static volatile int a = 0;
    static class ThreadA implements Runnable {
        @Override
        public void run() {
            a++;
            System.out.println(a);
        }
    }

    static class ThreadB implements Runnable {
        @Override
        public void run() {
           a++;
            System.out.println(a);
        }
    }
}

执行过程

最开始共享变量flag=0。也就是主内存中flag=0，线程A执行的时候，是先从主内存中拷贝一份到本地内存A，flag=0,然后线程A操作flag=1；A操作的flag=1更新到主内存中，接着B开始执行，主内存中flag=1，更新到本地内存B中，flag=1,接着B操作flag=2。

二、禁止重排序

在Java内存模型中，对一些语句进行重排序，可提升性能，但是有的地方一旦重排序了，得到的结果就不是我们想要的结果了。也就是我们写代码的时候看到的是语句1在语句2前，但在JMM中可能重排序后就是语句2在语句1前边了，但我们可能就想让语句1在语句2前执行，这就用到了volatile了，它是怎么实现不重排序呢，JVM通过内存屏障来实现限制处理器的重排序

重排序

计算机在执⾏程序时，为了提⾼性能，编译器和处理器常常会对指令做重排。
原理是指令1还没有执⾏完，就可以开始执⾏指令2，⽽不⽤等到指令1执⾏结束之后再执⾏指令2，这样就⼤⼤提⾼了效率。
指令重排可以保证串⾏语义⼀致，但是没有义务保证多线程间的语义也⼀致。所以在多线程下，指令重排序可能会导致⼀些问题。

内存屏障

分类

读屏障（Load Barrier）和写屏障（Store Barrier）

作⽤

（1） 阻⽌屏障两侧的指令重排序；
（2）强制把写缓冲区/⾼速缓存中的脏数据等写回主内存，或者让缓存中相应的数据失效

基于保守策略的JMM内存屏障插⼊策略

在每个volatile写操作前插⼊⼀个StoreStore屏障；
在每个volatile写操作后插⼊⼀个StoreLoad屏障；
在每个volatile读操作后插⼊⼀个LoadLoad屏障；
在每个volatile读操作后再插⼊⼀个LoadStore屏障。

实际过程中的JMM内存屏障插⼊

class VolatileBarrier{
    int a;
    volatile int b=1;
    volatile int c=2;
    void readWrite(){
        // 第一个volatile读
        int i=b;
        // 第二个volatile读
        int j=c;
        // 普通写
        a=i+j;
        // 第一个volatile写
        b=i+1;
        // 第二个volatile写
        c=j+1;
    }
}

在保证内存可⻅性这⼀点上，volatile有着与锁相同的内存语义，所以可以作为⼀个“轻量级”的锁来使⽤。但由于volatile仅仅保证对单个volatile变量的读/写具有原⼦性，⽽锁可以保证整个临界区代码的执⾏具有原⼦性。所以在功能上，锁⽐volatile更强⼤；在性能上，volatile更有优势。