您的当前位置:首页Java volatile为何不能保证原子性

Java volatile为何不能保证原子性

2023-09-10 来源:小侦探旅游网

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

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

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

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

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

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

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

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

因篇幅问题不能全部显示,请点此查看更多更全内容