这是一个创建于 1828 天前的主题，其中的信息可能已经有所发展或是发生改变。
迫于今早新加入的一个小老弟的提问，https://club.perfma.com/question/2079981
我又是 debug 又是反编译，总算是把那个问题给整明白了
https://github.com/jonwinters/jmm-research
另外关于 x64 的 lock 的语义，大家有兴趣上 Stack Overflow 看，
中文区我 Google 了一下，基本没有人能写博客给整明白的。
再次申明：我们是正经的技术内推交流群，希望有大佬加入讨论吹水，
哪怕是偶尔指点一下研究方向，也是不胜感激。
微信 ID: Y2hlbjExMjIwMDM3Cg==
我又是 debug 又是反编译，总算是把那个问题给整明白了
https://github.com/jonwinters/jmm-research
另外关于 x64 的 lock 的语义，大家有兴趣上 Stack Overflow 看，
中文区我 Google 了一下，基本没有人能写博客给整明白的。
再次申明：我们是正经的技术内推交流群，希望有大佬加入讨论吹水，
哪怕是偶尔指点一下研究方向，也是不胜感激。
微信 ID: Y2hlbjExMjIwMDM3Cg==
第 1 条附言 2020-12-29 16:24:34 +08:00
d3UzMDEzNTY4MQo=
第 2 条附言 2020-12-29 16:24:45 +08:00
更新：d3UzMDEzNTY4MQo=
 | 1 xlzy905 2020-12-29 11:32:37 +08:00 频繁了 |
 | 2 lewis89 OP 先 mark 一下，昨天一下子吸收了 100 多人 |
 | 3 xujihua 2020-12-29 12:36:10 +08:00 加不上了 拉一下可以嘛 微信 ID:bW9yYXRn |
 | 4 sanwantian 2020-12-29 12:45:34 +08:00 拉一下可以嘛 微信 ID：finalesanwantian |
| 5 lewis89 OP 已拉 |
 | 6 x940727 2020-12-29 13:59:25 +08:00 求拉 BASE64：WHU1NzIxMTcyMzU= | |
 | 7 banjueaz 2020-12-29 14:19:13 +08:00 微信 ID：zb547856757 麻烦拉一下 |
| 8 lewis89 OP 6-7 已拉 |
 | 9 TheF00L 2020-12-29 14:49:50 +08:00 昨天加就频繁了 微信 ID: dsdnnt 麻烦拉一下 |
 | 10 boblin 2020-12-29 15:52:43 +08:00 前端可以么 |
 | 11 wdmm 2020-12-29 16:06:11 +08:00 求拉 Base64: endkMTE3ODQ2MTQ5MA== |
 | 12 MrCard 2020-12-29 16:09:46 +08:00 求拉，微信号：TW96YXJrIA== |
 | 14 wr516516 2020-12-29 16:12:46 +08:00 楼主还帮忙拉嘛 d3I1MTY1MTY= |
 | 15 mosliu 2020-12-29 16:13:56 +08:00 VX 同 id 求拉 |
 | 16 hun2008hun 2020-12-29 16:18:08 +08:00 这代码有 bug 呀，可见性的反义词是不一定可见，以前也看到人拿这代码来纠结 system.out ，完全不能理解在想什么 |
 | 17 zhanbiqiyu 2020-12-29 16:20:50 +08:00 d3UzMDEzNTY4MQo= 大家可以加我微信，我拉大佬们进群 |
 | 19 toma77 2020-12-29 16:24:47 +08:00 求啦 微信号：bHhzdW5iaW4= |
| 20 lewis89 OP @hun2008hun #16 你去反编译看看就知道了，我研究的本来就是为什么 DEMO1 会在那里死循环，从 GDB 反汇编来看 主线程就是读不到 num 的最新值，至于为什么这样 我也不清楚，但是后面的 lock 指令 确确实实有内存栅栏的作用 |
| 21 lewis89 OP @hun2008hun #16 纠结 System.out ？ System.out 本身在 JIT 下也是有一个 lock 指令生成的，刚好就是这个 lock 之类充当了内存栅栏 |
| 22 lewis89 OP |
 | 23 Cowhitewhite 2020-12-29 16:38:05 +08:00 求拉：Y293aGl0ZXdoaXRl |
 | 24 cnzjl 2020-12-29 16:52:21 +08:00 求拉 R2xhZE1vbnN0ZXI= |
| 25 hun2008hun 2020-12-29 17:13:30 +08:00 @lewis89 因为 demo1 有 bug，而且严谨说不一定死循环，只是你的 cpu 是这样。 第二个问题：lock 的话要不把 sleep(1000)去掉再跑下？ |
| 26 lewis89 OP @hun2008hun #25 我管它有没有 bug? 只要是代码 确实有人会这么想 也这么犯傻用过，我就去查问题出在哪里就好了，我 JDK8 在树莓派上就没这个事情，你去掉 sleep(1000)又要为什么，它这个本来就是要循环去读，主线程循环 10 秒钟后还是读不到最新的值，那又是为什么。 只有用 lock 才能读到，lock 本身就是有内存栅栏的特性，我早就知道这个特性，这个东西只是验证 告诉你怎么一回事。 |
| 27 lewis89 OP @hun2008hun #25 而且我在很多库的代码里面都看到有人用 volatile 去做可见性的同步，但同时并未使用 happen-before 语义 |
 | 28 junziyangyang 2020-12-29 18:18:21 +08:00 via iPhone 求拉 feng-junzi |
 | 29 HAluelue 2020-12-30 09:08:33 +08:00 求拉 andyis1iin |
 | 30 GunsRose 2020-12-30 09:16:38 +08:00 求拉 songtao22 |
 | 31 will2zuo 2020-12-30 10:12:34 +08:00 求拉 zz546398578 |
 | 32 young1lin 2020-12-30 13:54:35 +08:00 使用 System.out 会导致锁粗化的。。。你可以看看极客时间的专栏《 Java 并发编程实战》有一章的评论里面就说过，我记得是日志打印的那一章。 |
 | 36 ezksdo 2021-01-23 14:40:33 +08:00 原文里就有答案，能扯这么多。有 lock 就全局可见了？都锁的不是一个位置。 |
| 37 lewis89 OP @ezksdo #36 哈，你不想研究就算了，不要瞎批评，我还真就告诉你 X86 有 lock 就能保障可见性 好吗？ 跟锁不锁一个位置没有任何关系 |
| 40 ezksdo 2021-01-23 15:55:07 +08:00 via iPhone 推荐你用 jitwatch 吧，看你 gdb 用得也费劲。这里就是 jit 优化，而打印函数有副作用，没有优化 |
| 41 ezksdo 2021-01-23 15:56:39 +08:00 via iPhone 你也不想想，不加 volatile 他就永远不写回内存吗？ |
| 42 lewis89 OP @ezksdo #41 我不知道 JVM 为什么会有这种优化，jitwatch 又不能 debug，我在 gdb 里面 已经看过了，那个内存地址读出来的值就是 0 ,无论多久都是 0，至于是主线程 读到的是未失效的 L1/L2 cache，还是什么，我就不在乎了 |
| 43 lewis89 OP @ezksdo #41 https://www.zhihu.com/question/263528143/answer/270308453 而且你从这个原答案里面可以看到 lock addl $0x0, (%rsp); 对 rsp 指针 + 0 操作是毫无意义的，rsp 是栈顶指针 lock 是让 cache 失效，保证可见性，如果可见性没有保证，代码依旧会死循环 而对 变量 i 加 volatile 属性 并没有使用 happen before |
| 44 lewis89 OP @ezksdo #41 关键是我那个死循环的地方 你有留意看了没有，跟激进编译半毛钱关系都没有  第一步要通过 R15 寄存器 偏移 0x108 的位置去取值， 第二步才是跟存放了 立即值 0 的 RAX 寄存器比较 比较失败跳回第一步 ，这跟 JVM 激进优化有半毛钱关系？ 分明就是 [R15 + 0x108] 寄存器的指针 取不到新的值 |
| 45 ezksdo 2021-01-23 16:28:03 +08:00 via iPhone cache 以行为单位，打印函数有 lock 并不能导致 num 变量可见，写 volatile 就是 happens before volatile 读的，我不知道你说的使用是什么 |
| 46 lewis89 OP @ezksdo #45 如果读写 volatie.. 都是在同一个线程里面， 又何来一个线程 对 另外一个线程 观测到的 happen before ? |
| 47 lewis89 OP @ezksdo #45 你要 A 线程 写了 volatile，另外一个 B 线程 后续去读 volatile，保障 B 线程能观测到 A 线程写 volatile 的事情都发生，这才算是 happen before |
| 48 lewis89 OP 你要 A 线程 写了 volatile，另外一个 B 线程 后续去读 volatile，保障 B 线程能观测到 A 线程写 volatile 之前的事情都发生，这才算是 happen before |
| 49 lewis89 OP @ezksdo #45 你要 A 线程 写了 volatile，另外一个 B 线程 后续去读 volatile，保障 B 线程能观测到 A 线程写 volatile 之前的事情都发生，这才算是 happen before |
Select Language