volatile修饰符的作用详解

volatile修饰的共享变量，具有以下两个特点：

1. 保证了不同线程对该变量操作的内存可见性
2. 有序性（禁止指令重排序）

要更详细的理解volatile修饰符的作用，就要理解java内存模型，如果已经理解请跳过此段话，不然推荐看这里：https://blog.csdn.net/xianyun1992/article/details/107723694

可见性：

• 当一个变量被volatile修饰时，那么对它的修改会立刻刷新到主存，当其它线程需要使用该变量时，会去内存中读取新值。而普通变量则不能保证这一点。
• 通过synchronized和Lock也能够保证可见性，线程在释放锁之前，会把共享变量值都刷回主存，但是synchronized和Lock的开销都更大。

有序性：

• JMM是允许编译器和处理器对指令重排序的，但是原则是程序的执行结果不能改变，就如下面的代码是可以进行重排的：

double a = 1.5;
double b = 1.4;

上面的代码不管先执行哪行，结果都不会改变，所以上面这种不会影响执行结果的代码是允许指令重排的。
指令重排在单线程中没有什么影响，但是在多线程中是有影响的：

int a = 0;
bool flag = false;

public void write() {
    a = 2;              //1
    flag = true;        //2
}

public void multiply() {
    if (flag) {         //3
        int ret = a * a;//4
    }
}

线程1先执行write，随后线程2再执行multiply，最后ret的值并不一定是4，如果对flag变量进行指令重排的话，线程1就会先改变此变量为true，但是这是线程2开始执行，结果却会是0，所以，为了防止这种情况发生，需要使用volatile修饰flag变量，当然使用synchronized和Lock修饰这段代码块也可以保证有序性，不过和volatile相比较来说是比较重量级的。

但是有一点需要注意，volatile并不是原子性操作，Java中只有对基本类型变量的赋值和读取是原子操作，如int i = 1，但是像j = i或者i++这样的操作都不是原子操作，因为他们都进行了多次原子操作，比如先读取i的值，再将i的值赋值给j，两个原子操作加起来就不是原子操作了。

volatile非原子性例子：

线程A读取了i的变量的值，这个时候线程切换到了B，线程B同样从主内存中读取i的值，由于线程A没有对i做过任何修改，此时线程B获取到的i仍然是100。线程B工作内存中为i执行了加1的操作，但是没有刷新到主内存中，这个时候又切换到了A线程，A线程直接对工作内存中的100进行加1运输（因为A线程已经读取过i的值了），由于线程B并未写入i的最新值，这个时候A线程的工内存中的100不会失效。 最后，线程A将i=101写入主内存中，线程B也将i=101写入主内存中。 始终需要记住，i++ 的操作是3步骤！。

参考：https://blog.csdn.net/xdzhouxin/article/details/81236356