Java中Volatile的理解

Posted 2020-06-20

首先我们知道Java中的内存模型

即：线程工作内存——主内存

工作内存是线程私有的，主内存是线程共有的

变量的初始化，生成都在主内存，工作内存只有使用到该变量时才从主内存加载操作

共八中原子性操作，read,load,use,assign,store,wirte,lock,unlock

 

Java虚拟机规范之规定，不允许一个线程（我们称为线程A）丢弃它最近的assign操作，也就是说变量（我们称为x）在工作内存中被修改后需要同步到主内存，但是并未规定同步时间

非volatile变量太容易造成线程间不一致了，就不举例子

 

那么volatile一定能达到同步效果吗？可不一定，或者说绝大多情况下不能

JVM规范声明volatile的变量有两个特性：

1. 修改后立即可见性

2. 禁止指令（汇编或者机器指令的层次）重排

第一条说的是volatile变量的读写原子性，意思就是volatile读前一定会read&load，写后一定会store&wirte

那么像x++这种操作，为什么不行

分析：

x++操作实际是

• 　　temp = x;
• 　　temp = temp + 1;
• 　　x = temp;

这里1,3都是原子操作，但是1,2,3整体并不是原子操作，也就是所线程A,B都在执行x++操作，可能会出现以下情况：

　　A: temp = x;

　　B: temp = x;

　　A: temp = temp + 1;

　　A: x = temp;

　　B: temp = temp + 1;

　　B: x = temp;

以上，就出现问题了！