为什么volatile不能保证原子性

在Java中，volatile关键字仅能用于修饰变量，用于：

• 保证变量在线程间的可见性。
• 避免指令重排序，保证有序性。

但是volatile并不能保证变量的原子性，这是为什么呢？我们就拿最常用的例子i++来进行说明（变量 i 被volatile修饰）。首先要明白一点，i++是非原子性的操作。它分为三步进行执行：

1. 将主存中 i 的值load到寄存器中 --> ldr i
2. i的值在寄存器中自增。 --> inc i
3. 将自增后的值刷回主存。 --> 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++;
            }
        }
    }
}

最后输出结果如下。