Java volatile为何不能保证原子性

volatile关键字可以禁止指令重排，但其实，volatile会禁止的指令重排只有三种情况

• 写后读     a = 1; b = a;
• 写后写     a = 1; a = 2;
• 读后写     a = b; b = 1;

volatile不能保证原子性，最经典的案例就是inc++

反编译后看字节码会发现inc++时的字节码不属于以上三种情况。所以不会对inc指令重排。

而volatile保证变量的可见性通过在字节码后面添加store指令或者Load指令实现

在写操作的指令后加入一条Store指令，强迫写入主存

在读操作的指令后加入一条Load指令，强迫从主存读取

处理inc++操作时由于无法指令重排，原子性得不到保证，所以线程安全无保障