Java并发编程之volatile与JMM多线程内存模型
作者:字母哥哥 时间:2023-10-19 12:13:48
一、通过程序看现象
在开始为大家讲解Java 多线程缓存模型之前,我们先看下面的这一段代码。这段代码的逻辑很简单:主线程启动了两个子线程,一个线程1、一个线程2。线程1先执行,sleep睡眠2秒钟之后线程2执行。两个线程使用到了一个共享变量shareFlag,初始值为false。如果shareFlag一直等于false,线程1将一直处于死循环状态,所以我们在线程2中将shareFlag设置为true。
public class VolatileTest {
public static boolean shareFlag = false;
public static void main(String[] args) throws InterruptedException {
new Thread(() -> {
System.out.print("开始执行线程1 =>");
while (!shareFlag){ //shareFlag = false则一直死循环
//System.out.println("shareFlag=" + shareFlag);
}
System.out.print("线程1执行完成 =>");
}).start();
Thread.sleep(2000);
new Thread(() -> {
System.out.print("开始执行线程2 =>");
shareFlag = true;
System.out.print("线程2执行完成 =>");
}).start();
}
}
如果你没有学过JMM线程模型,可能你看完上面的代码,希望得到的输出结果是下面这样的:
开始执行线程1 =>开始执行线程2 =>线程2执行完成 =>线程1执行完成=>
如下图所示,正常人理解这段代码,首先执行线程1进入循环,线程2修改shareFlag=true,线程1跳出循环。所以跳出循环的线程1会打印"线程1执行完成=>",但是经过笔者实验,**"线程1执行完成=>"不会被打印,线程1也没有跳出死循环**,这是为什么呢?
二、为什么会产生这种现象(JMM模型)?
要解释上面提到的问题,我们就需要学习JMM(Java Memory Model)Java 内存模型,笔者觉得叫做Java多线程内存模型更准确一些。
首先,在JMM中每个线程有自己的工作内存,在程序启动的时候,线程将共享变量加载(read&load)到自己的工作内存中,加载到线程工作内存中的内存变量是主内存中共享变量的副本。也就是说此时shareFlag在内存中有三个副本,值都等于false。
当线程2执行
shareFlag=true
的时候将其工作内存副本修改为shareFlag=true
,同时将副本的值同步写回(store&write)到主内存中。但是线程1的工作内存中的
shareFlag=false
没有发生变化,所以线程1一直处于死循环之中。
三、MESI 缓存一致性协议
按照上文的实验以及JMM模型,线程2修改的共享变量的值,线程1感知不到。那怎么样才能让线程1感知到共享变量的值发生了变化呢?其实也很简单,给shareFlag共享变量加上volatile关键字就可以了。
public volatile static boolean shareFlag = false;
其底层原理是这样的,加上volatile关键字提示JMM遵循MESI 缓存一致性协议,该协议包含如下的缓存使用规范(看不懂可以不看,下文会用简单的语言及例子描述一下)。
Modified:代表当前Cache行的数据是修改过的(Dirty),并且只在当前CPU的Cache中是修改过的;此时该Cache行的数据与其他Cache中的数据不同,与内存中该行的数据也不同。
Exclusive:代表当前Cache行的数据是有效数据,其他CPU的Cache中没有这行数据;并且当前Cache行数据与内存中的数据相同。
Shared:代表多个CPU的Cache中都会缓存有这行数据,并且Cache中的数据与内存中的数据一致;
Invalid:表示当前Cache行中的数据无效;
上文中的缓存使用规范可能过于复杂,简单的说就是
当线程2修改shareFlag的时候(参考Modify),告知bus总线我修改了共享变量shareFlag,
线程1对Bus总线进行监听,当它获知共享变量shareFlag发生了修改就会将自己工作内存中的shareFlag副本删除使其失效。
当线程1再次需要使用到shareFlag的时候,发现工作内存中没有shareFlag变量副本,就会重新从主内存中加载(read&load)
来源:https://blog.csdn.net/hanxiaotongtong/article/details/124723177
![](/images/zang.png)
![](/images/jiucuo.png)
猜你喜欢
c#使用Dataset读取XML文件动态生成菜单的方法
SWT(JFace)体验之模拟BorderLayout布局
使用Spring的拦截器监测每个Controller或方法的执行时长
Spring Security基于散列加密方案实现自动登录功能
![](https://img.aspxhome.com/file/2023/5/86855_0s.png)
C++封装静态链接库和使用的详细步骤
![](https://img.aspxhome.com/file/2023/0/112290_0s.jpg)
C#动态webservice调用接口
android通过Location API显示地址信息的实现方法
![](https://img.aspxhome.com/file/2023/5/139525_0s.png)
C语言实现学生信息管理系统
![](https://img.aspxhome.com/file/2023/8/129548_0s.jpg)
mybatis根据表逆向自动化生成代码的实现
![](https://img.aspxhome.com/file/2023/9/61079_0s.png)
C++实现优先队列的示例详解
![](https://img.aspxhome.com/file/2023/3/122573_0s.png)
JAVA熔断和降级真实关系的图文详解
![](https://img.aspxhome.com/file/2023/7/67957_0s.png)
详解Java中String类的各种用法
![](https://img.aspxhome.com/file/2023/0/91730_0s.png)
Unity实现枚举类型中文显示
![](https://img.aspxhome.com/file/2023/1/100151_0s.gif)
springboot中的pom文件 project报错问题
![](https://img.aspxhome.com/file/2023/9/62519_0s.png)
Android开发-之五大布局详解
![](https://img.aspxhome.com/file/2023/1/119091_0s.png)
一文带你搞懂Java中的递归
![](https://img.aspxhome.com/file/2023/1/70331_0s.jpg)
flutter实现头部tabTop滚动栏
![](https://img.aspxhome.com/file/2023/7/130457_0s.gif)
Android之FanLayout制作圆弧滑动效果
![](https://img.aspxhome.com/file/2023/4/126724_0s.gif)
android使用gesturedetector手势识别示例分享
一篇文章弄懂Spring MVC的参数绑定
![](https://img.aspxhome.com/file/2023/8/104038_0s.jpg)