一篇读懂Volatile关键字

一、volatile简介

volatile是java的一个关键字，也是面试经常问的一个热门知识，它为Java虚拟机提供的轻量级的同步机制。

主要有三个特性：1.保证可见性。2.不保证原子性。3.禁止指令重排序。

二、保证可见性

JMM内存模型之可见性：即当线程完成对于共享变量的操作并写回主内存后，主内存在第一时间通知其他相关线程共享变量发生变化的机制

早期：对共享变量加一把总线锁

现在：MESI缓存一致性协议，CPU总线嗅探机制（监听机制）

①如果线程内的共享变量发生改变，则当前处理器的缓存立即同步到主内存，缓存行锁定

②触发MESI缓存一致性，线程工作内存共享变量失效。

具体看一个例子：

不加volatile时，打印：修改flag值为：false

加了volatile后，打印：

修改flag值为：true
Thread1结束

三、不保证原子性

JMM内存模型之原子性：不可分割，完整性，也即某个线程正在做某个具体业务时，中间不可以被加塞或分割，需要整体完整，要么同时成功，要么同时失败。

单个基本数据类型的基本运算可以看作是保证原子性的，但多个基本数据类型运算不能保证。比如：i++;

解决方法：

直接使用原子类计算：利用java.util.concurrent.atomic.AtomicInteger类

四、禁止指令重排序

指令重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段，有时候会改变程序语句的先后顺序。不存在数据依赖关系，可以重排序; 存在数据依赖关系，禁止重排序 。但重排后的指令绝对不能改变原有的串行语义。

经典重排序案例：

volatile通过内存屏障保证可见性和有序性，内存屏障：Java内存模型的重排规则会要求Java编译器在生成JVM指令时插入特定的内存屏障指令。

主要的四大指令：loadload()、storestore()、loadstore()、storeload( )

volatile关键字影响的是Class 内的Field 的flags :添加了一个ACC_ _VOLATILE，JVM在把字节码生成为机器码的时候，发现操作是volatile 的变量的话，就会根据JMM要求，在相应的位置去插入内存屏障指令。

五、Volatile与Synchronized比较

• Volatile是轻量级的synchronized，因为它不会引起上下文的切换和调度，所以Volatile性能更好。
• Volatile只能修饰变量，synchronized可以修饰方法，静态方法，代码块。
• Volatile对任意单个变量的读/写具有原子性，但是类似于i++这种复合操作不具有原子性。而锁的互斥执行的特性可以确保对整个临界区代码执行具有原子性。
• 多线程访问volatile不会发生阻塞，而synchronized会发生阻塞。
• volatile是变量在多线程之间的可见性，synchronize是多线程之间访问资源的同步性。

最后

小编整理了一整套java面试资料，有需要资料的小伙伴点击获取哦~