Volatile :
1.保证可见性
说起这个特性必须要提一下JMM内存模型
每个线程的工作内存中会生成主内存的变量副本,这一特性可能会导致变量延迟,在高并发情形下可能会导致数据读取错误的问题。
而volatile可以做到
每次读取前必须先从主内存刷新最新的值。
每次写入后必须立即同步回主内存当中。
这样就可以保证并发情形下数据的一致性
2.不保证原子性(原子性:不可分割,完整性,也即某个线程正在某个具体业务时,中间不可以被加塞或者被分割,需要整体完整性,要么同时成功,要么同时失败)
3.禁止指令重排
java虚拟机可以将指令重新排序,使得一串指令中不会阻塞的指令先被执行完,会阻塞的指令最后执行。指令重排序是为了提高cpu利用率,提升性能,而在基于偏序关系的Happens-Before内存模型中,指令重排技术大大提高了程序执行效率,但同时也引入了一些问题。
比如说在这么一个new对象的操作中
File file = new File("/root");
这个操作在java虚拟机里会被编译成如下指令(字节码)
0: aload_0 //入栈指令
1: invokespecial #1 //(分配对象内存空间)Method java/lang/Object."<init>":()V
4: aload_0 //入栈指令
5: new #2 //(新建对象) class java/io/File
8: dup //复制栈顶数值,并且复制值进栈
9: ldc #3 //(将“root”字符串推送到栈顶)String /root
11: invokespecial #4 //(调用超类构造方法、实例初始化方法、私有方法)Method java/io/File."<init>":(Ljava/lang/String;)V
14: putfield #5 //(为指定的类的实例域赋值) Field file:Ljava/io/File;
17: return
指令重排很可能会把指令改成如下
0: aload_0 //入栈指令
1: invokespecial #1 //(分配对象内存空间)Method java/lang/Object."<init>":()V
4: aload_0 //入栈指令
5: new #2 //(新建对象) class java/io/File
8: dup //复制栈顶数值,并且复制值进栈
9: ldc #3 //(将“root”字符串推送到栈顶)String /root
11: putfield #4 //(为指定的类的实例域赋值) Field file:Ljava/io/File;
14: invokespecial #5 //(调用超类构造方法、实例初始化方法、私有方法)Method java/io/File."<init>":(Ljava/lang/String;)V
17: return
导致类所使用的内存空间还没有被初始化就被引用了。用户或获得一个没有完成初始化的实例
总结
其实volatile保持内存可见性和防止指令重排序的原理,本质上是同一个问题,也都依靠内存屏障得到解决。