-
volatile 通常被比喻成"轻量级的 synchronized ",也是Java并发编程中比较重要的一个关键字。
-
和 synchronized 不同, volatile 是一个变量修饰符,只能用来修饰变量。无法修饰方法及代码 块等。
-
被volatile修饰的共享变量,就具有了以下两点特性:
1.保证了不同线程对该变量操作的内存可见性
2.禁止指令重排序 -
可见性:
可见性是指当多个线程访问同一个变量时,一个线程修改了这个变量的值,其他线程能够立即看得到 修改的值。
public class Test1 {
/*没有volatile修饰,main主线程和子线程1之间是彼此见不到i的,所以主线程修改i也没用。 循环不会停止! */
private volatile static int i = 0;
public static void main(String[] args) throws InterruptedException {
new Thread(() -> {
while (i==0){
// 随便干点啥
}System.out.println("结束了!");
},"线程1").start();
Thread.sleep(1000);
i = 1;
}
}
- 禁止指令重排序
cpu指令重排:是为了提高程序的性能(我们爬楼梯,你走的慢,我走的快,你让开点,我先走上去)
public class Test1 {
private static int x = 0, y = 0;
private static int a = 0, b = 0;
public static void main(String[] args) throws InterruptedException {
int i = 0; for (; ; ) {
i++; x = 0; y = 0; a = 0; b = 0;
Thread t1 = new Thread(new Runnable() {
public void run() {
a = 1; // 1
x = b; // 2
}
});
Thread t2 = new Thread(new Runnable() {
public void run() {
b = 1; // 3
y = a; // 4
}
});
t1.start();
t2.start();
t1.join();
t2.join();
String result = "第" + i + "次 (" + x + "," + y + ")";
if (x == 0 && y == 0) {
System.err.println(result); break;
}
}
}
}
- 前提是1和2没有依赖关系,3和4没有依赖关系,才会发生指令重排
- 如果停止,说明cpu的指令是乱序的。为了性能
- 而我们的volatile可以防止这种情况发生,为什么volatile可以防止重排呢?JSR(Java Specification
Requests的缩写,意思是“Java 规范提案”)内存屏障了解一下!
指令和指令之间加一堵墙(屏障),不能随意挪动窜位
JVM级别规范中的要求
LoadLoad屏障:读与读指令之间加屏障
StoreStore屏障:写与写指令之间加屏障
LoadStore屏障:读与写指令之间加屏障
StoreLoad屏障:写与读指令之间加屏障