volatile的原理

遇到可见性，有序性，原子性的问题时，我们通常可以使用synchronized关键字来解决。但是我们都知道synchronized是较重量级操作。这时我们可以使用volatile关键字来解决可见性，有序性问题。对于原子性，volatile只支持只读或者只写。如：i++，这种不行，这是又读又写。

volatile也是互斥同步的一种实现，他是非常轻量级的。

1.volatile的意义：

volatile有两条关键语义：

1.保证被volatile修饰的变量对所有线程都是可见的；

如何保证可见性？

被volatile修饰的变量在工作内存中被修改后，会被强制写回主内存，而其他线程来取值时，会强制刷新主内存，取到最新值。这样保证了一致性。

对“保证被volatile修饰的变量对所有线程都是可见的”有一种常见的错误说法：

被volatile修饰的变量对各个线程都具有一致性，因此在被volatile修饰的变量进行运算时，在多线程并发的情况下，是安全的。

这句话前部分是正确的，但是后部分是错误的。因为它没有考虑volatile修饰的变量的操作是否具有原子性。

2.禁止进行指令重排序；

什么是指令重排序？

指令重排序是指指令乱序执行，即在条件允许的情况下，优先执行可以直接执行的后续指令，避开为获取一条指令所需的数据而陷入等待，通过乱序执行的技术来保证执行效率。

2.synchronized和volatile关键字的作用和区别

作用：

volatile本质就是告诉jvm，当前变量在寄存器（工作内存）里面的值是不确定的，需要从主内存里面读取。

synchronized就是锁住当前变量，只有当前线程可以访问，其他线程会被阻塞。

区别：

1.volatile仅能作用于变量级别，synchronized可以作用于变量，方法和类级别。

2.volatile可以实现变量修改的可见性，但是不保证变量的原子性。而synchronized保证变量修改的可见性和原子性。

3.volatile不会阻塞线程，synchronized可能会造成线程阻塞。

4.volatile标记的变量不会被编译器优化，synchronized标记的变量可以被编译器优化。

 

参考文章：https://juejin.im/post/5e5c5c52f265da575f4e7558#heading-115