volatile是什么
volatile是JVM提供的一个轻量级同步实现机制,可以实现一个变量的线程间共享,能够保证变量的可见性。volatile主要有三大特性(这也体现了他的轻量):
- 保证可见性
- 不保证原子性
- 禁止指令重排
volatile保证可见性
在X86处理器下通过工具获取JIT编译器生成的汇编指令来分析对volatile变量进行写操作时,CPU会做哪些工作
Java代码:
Object instance = new Singleton();
当这个instance不是volatile修饰的变量时,汇编代码是这样的(部分汇编代码):
而当我们用volatile修饰这个变量的时候,转成汇编代码后会发现多了一句 lock 前缀的指令:
这个 lock 前缀指令,Intel的手册上对其的解释是:
Causes the processor’s LOCK# signal to be asserted during execution of the accompanying instruction (turns the instruction into an atomic instruction). In a multiprocessor environment, the LOCK# signal insures that the processor has exclusive use of any shared memory while the signal is asserted.
简单来说,这句指令在多核处理器下会引发两件事情:
- 将当前处理器缓存行的数据写回系统内存
- 这个写操作会使其他CPU里缓存了该内存地址的数据无效
为了提高处理速度,处理器一般都会先将系统内存的数据拷贝到缓存中再进行操作,但是处理器并不清楚何时将操作之后的数据写回到系统内存中。当声明了volatile变量进行写操作,JVM就会向处理器发送一条 lock 前缀的指令,将这个变量所在的缓存行的数据写回到系统内存,但是又由一个新的问题:即使将新值写回到了系统内存中,其他处理器缓存的数据仍是旧值。所以,在多处理器下,为了保证每个处理器的缓存都是一致的,就会实现缓存一致性协议,每个处理器通过嗅探在总线上的传播的数据来检查自己缓存的值是否已过期,当处理器发现自己缓存行对应的内存地址被修改,就会将当前处理器的缓存行置为无效状态,当处理器对这个值进行操作时,会重新在系统内存中读取数据到处理器缓存中。
volatile不保证原子性
我们先来看一段代码:
public class Test {
private static volatile int x = 0;
public static void main(String[] args) {
for (int i = 0 ; i < 100 ; i++) {
Thread myThread = new Thread(new Runnable() {
@Override
public void run() {
for (int i = 0 ; i < 20 ; i++) {
x++; //复合(多个)volatile变量的读/写
}
}
});
myThread.start();
}
System.out.println(x);
}
}
按照逻辑来说,100个线程执行结束之后,程序输出的值应该是2000,但是实际上这个值又时会2000的,这是因为x++这一步并不是原子操作,因为它可以分成3步执行:
- 读取x的值
- 将x的值+1
- 将新的x值写回内存
当线程A执行x++;语句时,先是读入x的值为0,倘若此时让出CPU执行权,线程获得执行,线程B会重新从主内存中,读入x的值还是0,然后线程B执行+1操作,最后把x=1刷新到主内存中; 线程B执行完后,线程A由开始执行,但之前已经读取到x的值为0,所以它还是在0的基础上执行+1操作,也就是还是等于1,并刷新到主内存中。所以最终的结果是1,所以会出现最终结果小于2000的情况。
解决原子性问题的方法
- 使用synchronized关键字加锁
- 使用java.util.concurrent.atomic包下的原子性封装类解决
volatile内存语义
volatile写:JMM会把当前线程对应的本地内存中的共享变量值刷新到主内存中。
volatile读:JMM会把当前线程对应的本地内存置为无效,然后从主内存中读取共享变量到本地内存中。
volatile的内存语义保证了volatile的一大特性:禁止指令重排。
内存语义的实现
为了实现volatile内存语义,JMM会分别限制编译器重排序和处理器重排序,下表示JMM针对编译器指定的volatile重排序规则表
是否重排序 | 第二个操作 | ||
---|---|---|---|
第一个操作 | 普通读/写 | volatile读 | volatile写 |
普通读/写 | NO | ||
volatile读 | NO | NO | NO |
volatile写 | NO | NO |
从上表可以看出:
- 当第二个操作是volatile写时,不论第一个操作是什么,都不允许重排序。
- 当第一个操作是volatile读时,不论第二个操作是什么,都不允许重排序。
- 当第一个操作是volatile写时,第二个操作如果是volatile读,则不允许重排序。
为了实现内存语义,编译器在生成字节码时,会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。但是对于编译器来说,发现一个最优布置来最小化插入屏障数目几乎是不可能的,所以JMM采取了保守策略。下面就是基于保守策略的JMM内存屏蔽插入策略:
- 每个volatile写操作前插入一个StoreStore屏障
- 每个volatile写操作后插入一个StoreLoad屏障
- 每个volatile读操作后插入一个LoadLoad屏障
- 每个volatile读操作后插入一个LoadStore屏障
而在X86处理器下,由于不会对LoadLoad、LoadStore、StoreStore操作做重排序,所以在X86中,JMM只需要在volatile写后插入一个StoreLoad屏障来实现volatile写-读的内存语义。
volatile与锁的区别
- synchornized保证了可见性、原子性;而volatile只保证可见性和单个volatile变量读/写的原子性。
- volatile不用加锁,不会阻塞线程。
- volatile标记的变量操作不会被编译器优化;synchronized可以被优化。
- volatile修饰的是一个变量;synchronized修饰的是一个方法或者代码块。
因此功能上,锁更强大;可伸缩性和执行性能上,volatile更有优势。
总结
- 线程A写一个volatile变量,实质就是向下一个将要读取此volatile变量的某一个线程发出了消息
- 线程B读一个volatile变量,实质上是线程B接了之前那某个线程发出的消息
- 线程A写,随后线程B读,这个过程就是线程A向B发送消息
JSR-133 增强内存语义
原因
旧的JMM允许volatile变量与普通变量重排序,因此volatile的读-写就没有了锁的释放-获取所具有的内存语义
增强
严格限制编译器和处理器对volatile变量与普通变量的重排序。