一、概念
JAVA基础 - JAVA内存模型中的可见性、原子性和有序性?:https://blog.csdn.net/goodjava2007/article/details/130978798
volatile 是JAVA中的关键字,是变量修饰符,被用来修饰会被不同线程访问和修改的变量,是JAVA提供的一种轻量级的同步机制,相比于同步块synchronized来说,volatile更轻量级,不会引起线程上下文的切换和调度。
二、原理
JAVA语言提供了一种稍弱的同步机制,即volatile变量,用来确保将变量的更新操作通知到其他线程。当把变量声明为volatile类型后,编译器与运行时都会注意到这个变量是共享的,因此不会将该变量上的操作与其他内存操作一起重排序。volatile变量不会被缓存在寄存器或者对其他处理器不可见的地方,因此在读取volatile类型的变量时总会返回最新写入的值。在访问volatile变量时不会执行加锁操作,因此也就不会使执行线程阻塞,因此volatile变量是一种比sychronized关键字更轻量级的同步机制。volatile 只保证单次读/写操作的原子性,对于多步操作volatile 不能保证原子性。
三、特性
当一个变量定义为 volatile 之后,将具备两种特性:
(1). 可以保证此变量对所有的线程是可见性的,保证可见性不能保证原子性。
(2). 禁止指令重排序。什么是指令重排序?是指CPU允许将多条指令不按程序规定的顺序,分开发送给各相应电路单元处理。
四、区别
(1). volatile只能修饰变量,而synchronized可以修改变量,方法以及代码块;
(2). volatile在多线程中不会存在阻塞问题,synchronized会存在阻塞问题;
(3). volatile解决的是变量在多个线程之间的可见性问题,而sychroized解决的是多个线程之间访问资源的同步性问题;
(4). volatile只能保证:有序性、可见性,synchronized可以保证:原子性、有序性、可见性。
五、使用场景
Volatile能够解决多线程操作共享数据时,数据不一致的问题(一句话:用于保证数据的可见性)。
(1). 单一赋值运算,复合运算赋值不可以;
(2). 状态标志,如:判断业务是否结束;
(3). 开销较低的读/写锁策略;
(4). DCL双端锁的发布。