从上图中可以看出,线程A需要和线程B通信,必须要经历下面2个步骤:
-
首先,线程A把本地内存A中更新过的共享变量刷新到主内存中去
-
然后,线程B到主内存中去读取线程A之前已更新过的共享变量
下面通过示意图来说明这两个步骤:
如上图所示,本地内存A和B有主内存中共享变量x的副本。假设初始时,这三个内存中的x值都为0。线程A在执行时,把更新后的x值(假设值为1)临时存放在自己的本地内存A中。当线程A和线程B需要通信时,线程A首先会把自己本地内存中修改后的x值刷新到主内存中,此时主内存中的x值变为了1。随后,线程B到主内存中去读取线程A更新后的x值,此时线程B的本地内存的x值也变为了1。从整体来看,这两个步骤实质上是线程A在向线程B发送消息,而且这个通信过程必须要经过主内存。JMM通过控制主内存与每个线程的本地内存之间的交互,来为java程序员提供内存可见性保证。
对JMM了解之后,我们再看看文章开头的问题,线程t1中为何看不到被主线程修改为false的flag的值,有两种可能:
-
主线程修改了flag之后,未将其刷新到主内存,所以t1看不到
-
主线程将flag刷新到了主内存,但是t1一直读取的是自己工作内存中flag的值,没有去主内存中获取flag最新的值
对于上面2种情况,有没有什么办法可以解决?
是否有这样的方法:线程中修改了工作内存中的副本之后,立即将其刷新到主内存;工作内存中每次读取共享变量时,都去主内存中重新读取,然后拷贝到工作内存。
java帮我们提供了这样的方法,使用volatile修饰共享变量,就可以达到上面的效果,被volatile修改的变量有以下特点:
-
线程中读取的时候,每次读取都会去主内存中读取共享变量最新的值,然后将其复制到工作内存
-
线程中修改了工作内存中变量的副本,修改之后会立即刷新到主内存
我们修改一下开头的示例代码:
public volatile static boolean flag = true;
使用volatile修饰flag变量,然后运行一下程序,输出:
线程t1 in
线程t1停止了
这下程序可以正常停止了。
volatile解决了共享变量在多线程中可见性的问题,可见性是指一个线程对共享变量的修改,对于另一个线程来说是否是可以看到的。
码子不易,感觉还可以的,帮忙分享一下,谢谢!
java高并发系列目录:
笔者福利
以下是小编自己针对马上即将到来的金九银十准备的一套“面试宝典”,不管是技术还是HR的问题都有针对性的回答。
有了这个,面试踩雷?不存在的!
回馈粉丝,诚意满满!!!
45330)]
[外链图片转存中…(img-vDY487m5-1714404145331)]
[外链图片转存中…(img-18Q75OAZ-1714404145331)]
[外链图片转存中…(img-1fxjkQGT-1714404145331)]