Java并发之volatile关键字理解

引言

线程安全包括三个方面

1. 可见性：一个线程对共享变量的修改，另一个线程可获得最新结果
2. 有序性：一个线程内代码按编写顺序执行
3. 原子性：一个线程内多行代码按一个整体运行，期间不会有其他线程执行

volatile解决线程可见性

一般情况下，一个线程修改该成员变量时另一个线程可能无法获取到修改后的结果。这是由于存在JIT（即时编译器）的优化，即当一个线程多次从内存中读取该成员变量获得都为相同值时，JIT会将其优化为一个固定值，导致如果其他线程修改该成员变量，当前线程不可见。
解决方法：

1. 启动程序时使用 -XInt 参数禁用JIT，但无法优化其他代码，损失效率较大
2. 使用volatile修饰该成员变量，JIT会忽略优化（推荐使用）

volatile解决线程有序性

使用volatile修饰的成员变量在写时会添加一个向上的内存屏障，阻止上面的指令重排序到其下面；在读时会添加一个向下的内存屏障，阻止下面的指令重排序到其上面。