volatile关键字可见性原理解析
一、volatile关键字的简单背景介绍
网上关于volatile的特性的文章非常多,大家可以自行查找
volatile具有可见性、不具有原子性、具有有序性(禁止指令重排)
多线程共享变量,volatile保证可见性,即A线程修改变量后,B线程立即获取到修改后的变量值
通过一个例子大家感受下:
public class ThreadTest{
private static boolean isKeepRunning = true;
public static void main(String args[]) {
// 创建线程t1
new Thread("t1") {
public void run() {
while (isKeepRunning) {
}
};
}.start();
// 等待20s,线程t1运行起来
try {
Thread.sleep(20);
} catch (InterruptedException e) {
e.printStackTrace();
}
// 创建线程t2
new Thread("t2") {
public void run() {
System.out.println(Thread.currentThread().getName() + "设置false");
isKeepRunning = false;
};
}.start();
}
}
运行代码会出现,代码不会结束退出
若将isKeepRunning改为volatile修饰,则代码运行结束。
这里不得不介绍JMM(java内存模型):
多线程,每个线程各自的工作内存,工作内存中存放主内存中的共享变量副本,每个线程操作各自的工作内存中的变量副本并且保证线程间变量副本不可见,多线程对共享变量操作必须将工作内存中的共享变量副本同步到主内存。
volatile可以保证,多线程,java虚拟机保证了线程A对该变量的修改立即刷新到主内存并刷新到其他线程的工作内存中。
这里提到一个有趣的事,volatile与System.out.println的故事
上述代码中添加一行语句,运行后会发现,运行停止了,但是没有加volatile关键字呀,为什么停止了呢?
public class Main {
private static boolean isKeepRunning = true;
public static void main(String args[]) {
// 创建线程t1
new Thread("t1") {
public void run() {
while (isKeepRunning) {
// ***新增一行打印***
System.out.println(Thread.currentThread().getName() + isKeepRunning);
}
};
}.start();
// 等待20s,线程t1运行起来
try {
Thread.sleep(20);
} catch (InterruptedException e) {
e.printStackTrace();
}
// 创建线程t2
new Thread("t2") {
public void run() {
System.out.println(Thread.currentThread().getName() + "设置false");
isKeepRunning = false;
};
}.start();
}
}
查看JDK源码会发现,System.out.println的源码加了synchronized关键字
public void println(String x) {
synchronized (this) {
print(x);
newLine();
}
}
synchronized同样具有线程可见性,该关键字做了什么事呢?
1、获得互斥锁
2、清空工作内存
3、从主内存拷贝变量的最新副本到工作内存
4、执行代码
5、将更改后的共享变量的值刷新到主内存
6、释放互斥锁
当我们给线程t1新增加一行打印语句,t1会清空自己的工作内存,获取最新的isKeepRunning的值,停止运行。
关于synchronized关键字的作用,网上的信息非常多,大家自行查找
菜鸟上路,多多指正!