0°

Volatile趣谈——我是怎么把贝克汉姆的进球弄丢的

内容预览:
  • ”,来不及想太多了,贝克汉姆随时都会再进球,“不能让我贝失望啊”,大雄...~
  • “  三、volatile和Java内存模型 “为什么把goal变量加上volatile修...~
  • 这篇文章与其说是讲volatile,不如说是讲JVM~

始发于微信公众号: 程序员小乐

分享编程技能、互联网技术、生活感悟、打造干货分享平台,将总结的技术、心得、经验分享给大家,这里不只限于技术!还有职场心得、生活感悟、以及面经点击上方 “杨守乐” ,选择“置顶公众号”,第一时间送达!


 一、大雄的门线传感器


大雄的公司最近在给国际足球协会研制一款门线传感器。这可是一个大单,组织特地安排了大雄作为首席程序员,来开发这款软件。

需求很简单,传感器需要在皮球越过门线的时候,给裁判身上的耳麦发送消息,告诉裁判球进了。

“So easy”,大雄四两拨千斤地写了一个进球通知线程:

public class GoalNotifier implements Runnable {
   public boolean goal = false;
   public boolean isGoal() {
       return goal;
   }
   public void setGoal(boolean goal) {
       this.goal = goal;
   }
   @Override
   public void run() {
       while (true) {
           if (isGoal()) {
               System.out.println("Goal !!!!!!");
               // Tell the referee the ball is in.
               // ...
               // reset goal flag
               setGoal(false);
           }
       }
   }
}

“只要在比赛一开始就启动这个线程,然后当球越过球门线的时候,调用我的setGoal()方法,把进球标志goal设置成true就OK了”,大雄对着投影里的代码,跟产品经理胖虎讲解着自己伟大的设计。

“很棒!代码写的非常简洁,设计非常优雅,连我都看不出有什么Bug。静香,不用浪费时间测试了,直接上线吧,时间就是金钱,我们要敢在别的竞争对手之前,推出这款产品!”,胖虎激动的说,唾沫横飞。

“好的,我也相信大雄的能力!”,静香含情脉脉的看着大雄,眼里都是崇拜。

Volatile趣谈——我是怎么把贝克汉姆的进球弄丢的

 二、Oop! Bug!


很快,大雄的门线传感器上线了。英格兰足协老总约翰是个很喜欢新科技的人,他迫不及待地想把这项技术推广到他的国家。

这天,有一场让世界瞩目的友谊赛——曼联传奇队 vs 阿森纳传奇队。“把我们刚刚买过来的门线技术用上去,让这群老家伙见识一下什么是高科技!”,约翰说。

比赛开始,刚开场,只见鲁尼把球往旁边一拨,贝克汉姆就顺势一脚圆月弯刀,皮球划出一道美丽的弧线,飞过大半个足球场,阿森纳门将始料不及,只能目送皮球应声入网!

这个过程之迅猛,只能用下面这段代码来描述了:

public class Game {
   public static void main(String[] args) throws InterruptedException {
       // Game begun! Init goalNotifier thread
       GoalNotifier goalNotifier = new GoalNotifier();
       Thread goalNotifierThread = new Thread(goalNotifier);
       goalNotifierThread.start();
       // After 3s
       Thread.sleep(3000);
       // Goal !!!
       goalNotifier.setGoal(true);
   }
}

就在曼联队队员抱在一起庆祝的时候,裁判跑了过来,宣布进球无效,原因是门线传感器没有提示他进球了。。。

“What ???”,贝克汉姆一脸懵逼。。。
“大雄,怎么回事???”,约翰气冲冲的对旁边的大雄说。
“啊,难道是线程没起来吗?”,大雄也是一脸懵逼,“我加了日志的,看一下后台就知道了!”

于是大雄登录了后台服务器,查看了日志信息:

Volatile趣谈——我是怎么把贝克汉姆的进球弄丢的

“啊,一行日志都没有。。。”,大雄很慌,“看来只能求助哆啦了。。。”

大雄赶紧视频了正在日本度假的哆啦,视频里,哆啦一边喝着大阪清酒,一边看着大雄的代码,大概过了十秒钟,突然挂断了视频。

“难道连哆啦也没有办法了。。”,就在大雄绝望的时候,他突然收到哆啦发来的信息,打开一看,里面就一个词:

volatile

“啊,难道是它。。。”,来不及想太多了,贝克汉姆随时都会再进球,“不能让我贝失望啊”,大雄赶紧改了一行代码:

public class GoalNotifier implements Runnable {
//    public boolean goal = false;
   public volatile boolean goal = false;
   ...  

刚改完代码,这边曼联队就得到一个禁区外任意球的机会,贝克汉姆一记招牌的圆月弯刀,皮球直挂死角!不过这次,大家都没庆祝,而是一致看向了裁判,全场鸦雀无声。。。

突然,主席台那里,有一个像逗比一样的青年,大声的吼着,“Yeah!!! 日志打印出来了!!!”,声音之大,响彻全场。

Volatile趣谈——我是怎么把贝克汉姆的进球弄丢的

过了大概两秒钟,人们才看到裁判把手指向了中圈,示意进球有效。。。

 三、volatile和Java内存模型


“为什么把goal变量加上volatile修饰符,问题就解决了呢?”,带着这个疑问,大雄开始研究了起来。渐渐的,他认识到,看Java代码,不能只看表象,还要透过Java虚拟机,去看透本质。从JavaSE到JVM,这是一场认知的跃迁。

首先要解决的问题是,不加volatile之前,main函数明明调用了setGoal()方法,把goal改成了true,可为什么GoalNotifier线程里的goal还是false?
答案是,主线程里调用setGoal()方法修改的goal,和GoalNotifier线程里的goal,是两个副本

What??? 变量还有副本?
单看代码,自然是看不出“副本”的,我们必须剥开代码这层皮,到Java虚拟机里头去看看。

在介绍JVM中的“副本”之前,我们先来简单聊聊物理机的“副本”,因为JVM的副本和物理机的副本很像。

计算机,相比于处理器的运算速度,IO操作的速度往往有几个数量级的差距,因此像下面这段常见的++运算:

int count = 0;
...
count ++;

如果计算机把count的值存储在内存中,那么每次++操作,就有一次从内存中读取i的值的操作,以及一次把i的值加1的操作,别忘了,还有一次把i的值写进去内存的操作:

T(一次循环) = T(读IO) + T(+1运算) + T(写IO)
而IO操作的速度往往比运算速度多几个数量级,所以:

T(一次循环) ≈ T(读IO) + T(写IO)

显然,IO操作的速度严重拖后腿了,不管运算速度再快,只要IO操作还在,这个++操作的速度就永远由IO操作的速度决定。

我们人类自然不允许这样的情况发生,因此我们在处理器和内存之间,引入了读写速度接近处理器运算速度的一层高速缓存

Volatile趣谈——我是怎么把贝克汉姆的进球弄丢的

CPU、高速缓存和内存

这样,在上面的++操作里面,count变量只有在初始化的时候,需要写入主内存,接着,count就被从主内存拷贝到处理器的高速缓存中,下次再想对它执行++操作时,直接从高速缓存中读取就可以了,++操作执行完之后,也不需要马上同步到主内存。

虽然各种平台都会有高速缓存和主内存,但是不同平台的内存模型并不完全相同。这也就导致了像C/C++这种直接使用物理机内存模型的编程语言,有时候一份代码在一个平台上可以正常运行,去到另一个平台就挂了,所以需要“面向平台”编程。而Java,正如广告语说的,“Write once, run anywhere”,相同的一份代码,去到哪个平台都可以直接拿过去用。

为什么Java这么神奇呢?这自然是JVM的功劳,你下载JDK的时候,会让你选择是Windows还是Linux的。使用不同平台的JDK,最大的差异就是JVM了,相同的一份代码,Windows版的JVM帮你把代码翻译成Windows系统能识别的机器语言,Linux版的JVM则翻译成Linux的语言。

JVM帮你屏蔽了不同平台直接的差异。

自然的,对于物理机的内存模型,JVM也要进行“介入”,我们编写的Java代码,是不会直接去操作物理机的内存的,而是去操作JVM定义的Java内存模型(Java Memory Model, JMM),再通过JMM去操作物理机的内存。
Java的内存模型和上面讲的物理机的内存模型非常类似:

Volatile趣谈——我是怎么把贝克汉姆的进球弄丢的Java内存模型

现在再回过头来看大雄碰到的问题:main函数明明调用了setGoal()方法,把goal改成了true,可为什么GoalNotifier线程里的goal还是false?

答案已经很明确了,这里面有两个线程,main函数所在的是主线程和GoalNotifier线程,这两个线程都分别从主内存从拷贝了一个goal变量的副本,所以当main函数调用setGoal()方法修改goal时,修改的其实是自己线程工作空间上的那个副本goal,对主内存的goal没有影响,对GoalNotifier线程的goal副本更加没有影响,GoalNotifier线程自然就感知不到goal变成true了。

那么,要怎样才能让GoalNotifier线程,能够感知到main函数修改了goal呢?
很简单嘛,让main函数修改了goal之后主动同步到主内存,并且让GoalNotifier线程在读取goal的之前,主动从主内存去取goal,事实上,这就是volatile的原理。

 四、volatile的内幕


那么volatile是如何让修改的变量立刻同步到主内存的呢?

同样,单看代码是看不出来的,volatile只是我们告诉JVM的一个标志,那么JVM对于有volatile和没有volatile的代码,在翻译成机器指令时,会有什么不同呢?

有同学会建议用javap命令反汇编查看一下,如果你也这么想,那现在我直接告诉你,不可以,至于为什么,你可以先自行研究,我将在后面单独用一篇文章讨论。
在这里我们要使用JIT级别反汇编命令,原因同样不在这里赘述。下面简单介绍一下方法。

加入如下虚拟机参数:

-XX:+UnlockDiagnosticVMOptions -Xcomp -XX:+PrintAssembly -XX:CompileCommand=compileonly,*GoalNotifier.setGoal

-XX:+UnlockDiagnosticVMOptions -XX:+PrintAssembly:开启JIT反汇编
-Xcomp:让虚拟机以编译模式执行代码,使得JIT编译可以立即触发
-XX:CompileCommand=compileonly,*GoalNotifier.setGoal:只反汇编GoalNotifier的setGoal方法

然后执行两次代码,一次加入volatile修饰符,一次不加,把两次控制台打印的汇编语言,放到文件对比工具上对比一下,打印的信息很多,但是通过文件对比工具,我们可以很清楚的看到,加了volatile的代码中,多了一行代码:

这行“lock add dword ptr”的代码是干什么用的呢?关键在于lock,这个lock不是指令,而是指令前缀,我对汇编语言不熟悉,这里借用《深入学习Java虚拟机》里的解释:“lock的作用是使得本CPU的Cache写入内存,同时使其他CPU的Cache无效”,其实也就是我们上面讲的,将修改后的变量主动同步到主内存。

Volatile趣谈——我是怎么把贝克汉姆的进球弄丢的

加了虚拟机参数后,运行的时候你可能会看到错误提示,别慌,很容易解决。另外,我把我做实验生成的两份汇编语言以及其他代码上传到Github了,有兴趣的同学可以下载下来研究。

 五、总结


对于volatile这个关键字,可能大家都听过很多遍,但是由于实际中很少用到,所以大多不太了解其背后的原理。这次通过对volatile的介绍,顺带讲解了Java内存模型,同时也看到了Java虚拟机在Java中的扮演的地位,还是那句话,看Java代码,不能只看表象,还要透过Java虚拟机,去看透本质。从JavaSE到JVM,这是一场认知的跃迁。

这篇文章与其说是讲volatile,不如说是讲JVM。对volatile的介绍也只提到了它在可见性上的作用,volatile的另一个作用——禁止指令重排,并没有提及,毕竟指令重排是个很高深的家伙,我也将在后面的文章中和大家一起探讨。

参考
《深入理解Java虚拟机》
《Java并发编程实践》
what-does-the-lock-instruction-mean-in-x86-assembly
IA-32 Assembly Language Reference Manual – LOCK Prefix
How to build hsdis-amd64.dll and hsdis-i386.dll on Windows
how-to-see-jit-compiled-code-in-jvm

欢迎大家加入,一起学习和交流, 三月份优惠期 68元/年, 从四月份起恢复为128元。

Volatile趣谈——我是怎么把贝克汉姆的进球弄丢的

如果您觉得不错,请别忘了转发、分享、点赞让更多的人去学习, 您的举手之劳,就是对小乐最好的支持,非常感谢!

如何您想进技术群和大牛们交流,关注公众号在后台回复 “加群”,或者 “学习” 即可

来自:SexyCode

链接:https://www.jianshu.com/p/2925b13dbb3e

著作权归作者所有。本文已获得授权。欢迎投稿。

每日英文


Four steps to succeed:Stand the loneliness,withstand the temptation,understand how to give up,learn to choose.

成功人生四步曲:1、耐住寂寞;2、抵住诱惑;3、懂得放弃;4、学会选择。

乐乐有话说

 “人最大的修养,是知人不评人。不懂别人就少说话,议论最掉价。” 

Volatile趣谈——我是怎么把贝克汉姆的进球弄丢的


推荐阅读




看完本文有收获?请转发分享给更多人
关注「杨守乐」,提升技能

以上就是:Volatile趣谈——我是怎么把贝克汉姆的进球弄丢的 的全部内容。

本站部分内容来源于互联网和用户投稿,如有侵权请联系我们删除,谢谢。
Email:[email protected]


系统运维
0 条回复 A 作者 M 管理员
    所有的伟大,都源于一个勇敢的开始!
欢迎您,新朋友,感谢参与互动!欢迎您 {{author}},您在本站有{{commentsCount}}条评论