volatile 三个特性
1. 保证共享变量的可见性:保证了不同线程对这个变量进行操作时的可见性,即一个线程修改了某个变量的值,这新值对其他线程来说是立即可见的。
2. 防止局部指令重排序:happens-before规则中的volatile变量规则规定了一个线程先去写一个volatile变量,然后一个线程去读这个变量,那么这个写操作的结果一定对读的这个线程可见。
3. 不保证原子性。
JMM介绍
JMM(Java内存模型,Java Memory Model)本身是一种抽象的概念,并不真实存在。它描述的是一组规则或规范,通过这组规范,定了程序中各个变量的访问方法。
JMM关于同步的规定:
- 线程解锁前,必须把共享变量的值刷新回主内存;
- 线程加锁前,必须读取主内存的最新值到自己的工作内存;
- 加锁解锁是同一把锁。
由于JVM运行程序的实体是线程,创建每个线程时,JMM会为其创建一个工作内存(有些地方称为栈空间),工作内存是每个线程的私有数据区域。
线程对变量的操作(读取、赋值等)必须在工作内存中进行。因此首先要将变量从主内存拷贝到自己的工作内存,然后对变量进行操作,操作完成后再将变量写会主内存中。
volatile 保证可见性
对于普通共享变量,线程A将变量修改后,体现在此线程的工作内存。在尚未同步到主内存时,若线程B使用此变量,从主内存中获取到的是修改前的值,便发生了共享变量值的不一致,也就是出现了线程的可见性问题。
volatile实现可见性步骤:
- 使用volatile修饰变量后,当对volatile变量执行写操作,JMM会把工作内存中的最新变量值强制刷新到主内存。
- 写操作会导致其他线程中的该变量缓存无效。
这样,其他线程使用缓存时,发现本地工作内存中此变量无效,便从主内存中获取,这样获取到的变量便是最新的值,实现了线程的可见性。
可见性代码测试
public class MyTest {
// 如果不用volatile修饰,那么线程2修改stop的值不会被线程1感知
// 那么线程1将会一直处于死循环中
public static boolean stop = false;
public static void main(String[] args) throws InterruptedException {
// 线程1
Thread thread1 = new Thread(() -> {
while (!stop) {
// do something...
}
System.out.println("volatile具有可见性!");
});
// 线程2
Thread thread2 = new Thread(() -> doStop());
thread1.start();
// 这里的睡眠是保证线程1先执行
Thread.sleep(1000);
thread2.start();
}
// 停止线程1的死循环
// 如果stop用volatile修饰那么线程1就能感知到stop的改变
public static void doStop() {
stop = true;
}
}
volatile 禁止指令重排序
volatile是通过编译器在生成字节码时,在指令序列中添加“内存屏障”来禁止指令重排序的。
内存屏障
内存屏障(memory barrier)是一个CPU指令。这条指令可以确保一些特定指令的执行顺序,影响一些数据的可见性(可能是某些指令执行后的结果)。
插入一个内存屏障,相当于告诉CPU和编译器先于这个命令的必须先执行,后于这个命令的必须后执行。内存屏障另一个作用是强制更新一次不同CPU的缓存。
内存屏障的分类
1. LoadLoad屏障
Load1;
LoadLoad