在Java中,volatile关键字仅能用于修饰变量,用于:
- 保证变量在线程间的可见性。
- 避免指令重排序,保证有序性。
但是volatile并不能保证变量的原子性,这是为什么呢?我们就拿最常用的例子i++来进行说明(变量 i 被volatile修饰)。首先要明白一点,i++是非原子性的操作。它分为三步进行执行:
- 将主存中 i 的值load到寄存器中 -->
ldr i
- i的值在寄存器中自增。 -->
inc i
- 将自增后的值刷回主存。 -->
str i
在变量 i 从主存被load到寄存器这一过程,如果 i 发生了变化,因为线程间的可见性,会重新去主存读取最新的 i 。但是,当 i 被加载到寄存器后,主存中的 i 的值再发生变化,不会对寄存器内的 i 值造成影响。
试想以下场景,对于变量 i = 5,线程A和线程B分别执行 i++,最后应该得到 i = 7。但是,如果A和B并发,按照以下顺序执行:
A将 i load 到自己的寄存器中,A寄存器的 i = 5,此时A时间片结束。紧接着B 将 i load 到自己的寄存器中,B寄存器的 i = 5。B寄存器 i 自增,i = 6。 B寄存器的 i 值刷回内存,内存i = 6,B时间片结束。A拿到时间片,令A寄存器的 i 自增,A寄存器 i = 6。A将自己寄存器中的 i 刷回主存,主存 i = 6。
在A和B线程都执行完i++之后,你会发现 i 的值等于6,而不是预期值7。这也是为什么,volatile不能够保证原子性。
可以用一个简单的例子来验证一下,创建A和B两个线程并发,分别执行1w次i++。
public class Main {
volatile static int x = 1;
public static void main(String[] args) {
Thread t1 = new MyThread();
Thread t2 = new MyThread();
t1.start();
t2.start();
System.out.println(x);
}
static class MyThread extends Thread {
@Override
public void run() {
for (int i = 0; i < 10000; ++i) {
x++;
}
}
}
}
最后输出结果如下。