大场镇车王 置顶2018-08-20老师 为什么volatile内存屏障不允许所有写操作之前的读操作被重排序到写操作之后？前面不是说volatile的写操作happens before对用一字段的读操作吗作者回复: volatile字段的happens-before关系指的是在两个不同线程中，volatile的写操作 happens-before 之后对同一字段的读操作。这里有个关键字之后，指的是时间上的先后。也就是我这边写，你之后再读就一定能读得到我刚刚写的值。普通字段则没有这个保证。
屏障不允许重排序是针对即时编译器的。写后对同一字段的读，属于数据依赖，本来也不可以重排序的。 1 14
黑崽 置顶2018-08-22请教个问题。刚才有说不会把volatile放到寄存器，但是应该会在栈里面对吧。直接读取主内存，读写的是栈数据，然后利用堆内存和栈上数据是利用写缓存刷新同步的？作者回复: 我可能没有在原文中讲清楚。这里指的是volatile变量不能被分配到寄存器中，但是计算还是加载到寄存器中来计算的。
所谓的分配到寄存器中，你可以理解为编译器将内存中的值缓存在寄存器中，之后一直用访问寄存器来代表对这个内存的访问的。假设我们要遍历一个数组，数组的长度是内存中的值。由于我们每次循环都要比较一次，因此编译器决定把它放在寄存器中，免得每次比较都要读一次内存。对于会更改的内存值，编译器也可以先缓存至寄存器，最后更新回内存即可。
Volatile会禁止上述优化。 1 10
追梦 置顶2018-08-20老师，求讲解下jvm中代码如何实现的内存屏障作者回复: 即时编译器生成的代码里会使用CPU的内存屏障指令。HotSpot采用的lock前缀的指令，lock add DWORD PTR [rsp] 0。它也会刷缓存。
至于在即时编译器里禁止重排序所使用的”内存屏障”，就是一个特殊的编译器中间表达形式节点。 3
Alex Rao 置顶2018-08-20老师，我在一些技术文章里看到说 volatile 的变量是存在工作内存，这个工作内存是一个什么概念？作者回复: 工作内存是JMM抽象出来的一个概念。你可以映射到实际的CPU缓存。
1
Jerry Chan 置顶2018-08-21博客在哪里啊？作者回复: 文末[4]所指向的链接。
小文同学 置顶2018-08-20老师我提个问题。一个共享对象的变量是非volatile的，那么这个变量的写入会先写到寄存器上，再写回内存吗？那么jvm是不是无论如何都不保证啥时候变量的值会写回内存。假如另一个线程加锁访问这个变量，是不是jvm也不保证它能拿到最新数据。作者回复: 对的！如果即时编译器把那个变量放在寄存器里维护，那么另一个线程也没辙。
2
2018-08-23恩，这节听了好几遍，也读了几遍，最后还是感觉蒙蒙的。
下面说下我的感受：
1:一图胜千言，尤其对于描述复杂的东西，这个建议其他同学也有提议的，希望雨迪采纳一下
2:感觉有些概念没有解释，比如：
2-1:Java内存模型，这节不就是要讲Java内存类型是什么？有什么特点？为什么这么设计嘛？不过我没看到这些内容，当然，特点是讲了的 happens-before 机制
2-2:内存屏蔽，这是什么意思？它怎么就能禁止重排序啦？还有有其引申出的各种屏蔽是怎么回事呢？也没完全明白
3:前面讲 as-if-serial 大概明白什么意思了，多处理器为了提高效率会采用流水线的方式来执行程序指令，但是同时要保证程序执行逻辑的正确性，所以，实际执行程序的指令和代码层面上会有不同，这个是由编译器来保证的，虽然执行逻辑不同但是程序逻辑是没变的，单线程没问题，但是多线程就变得复杂一些了，光靠这种方式保证不了啦，所以引出了下文
4:happens-before，这个概念和作用比较容易理解，线程内有这种关系，线程间更有，这个机制我认为就是为了多线程环境下为了保证程序逻辑正确性的一种方式，不过它的具体实现细节感觉没理解，不清楚他是怎么办到的
5:volatile 这个关键字之前也学习过，作用是保证内容的修改对所有线程可见，原理是修改后同步更新所有的内容，这是因为内存和处理器直接还是存在距离的，比如：内存-一级缓存-二级缓存-各种寄存器-cpu，如果是内存-cpu，则不会有这种问题了，不过性能也就不行了展开 1 35
2018-11-20可以配合程晓明大大的《深入理解Java内存模型》
https://www.infoq.cn/article/java_memory_model 17
2018-08-24老师你好，关于指令重排序有点不太理解，指令重排序的粒度是方法级别的，还是整个源文件级别的。文中说道，b 加了volatile后，能够保证 b=1 先于r1=b ，这个我能理解，但是如何保证不会因为指令重排导致 b=1 先于r2=a发生呢？文中虽然说了，同一个线程中，字节码顺序暗含了r2=a happen before b=1，但是文中也提到了，拥有happen-before关系的两对赋值操作之间没有数据依赖，处理器可以指令重排序。r2=a 和b=1之间没有数据依赖呀！不好意思，这块有点迷糊，老师能给详细解答下不？作者回复: 首先，b加了volatile之后，并不能保证b=1一定先于r1=b，而是保证r1=b始终能够看到b的最新值。比如说b=1;b=2，之后在另一个CPU上执行r1=b，那么r1会被赋值为2。如果先执行r1=b，然后在另外一个CPU上执行b=1和b=2，那么r1将看到b=1之前的值。
在没有标记volatile的时候，同一线程中，r2=a和b=1存在happens before关系，但因为没有数据依赖可以重排列。一旦标记了volatile，即时编译器和CPU需要考虑到多线程happens-before关系，因此不能自由地重排序。 12
2018-08-25我个人理解的“JAVA内存模型”应该是包括两部分的内容：
一是运行时数据区，
二是定义了一组内存访问规则。
这里其实主要讲的是其中的第二部分内容。不知道是不是可以这样总结。作者回复: 谢谢总结！确实，本文重点讲的是内存可见性规则。
JMM的工作内存，主内存这些概念都是抽象的，对应实际体系架构中的缓存和内存。本文切掉了抽象的那部分，直接用实际的体系架构来讲解。 3
2018-08-30同求讲解该问题，谢谢老师！：
啃yi嘴泥
老师你好，关于指令重排序有点不太理解，指令重排序的粒度是方法级别的，还是整个源文件级别的。文中说道，b 加了volatile后，能够保证 b=1 先于r1=b ，这个我能理解，但是如何保证不会因为指令重排导致 b=1 先于r2=a发生呢？文中虽然说了，同一个线程中，字节码顺序暗含了r2=a happen before b=1，但是文中也提到了，拥有happen-before关系的两对赋值操作之间没有数据依赖，处理器可以指令重排序。r2=a 和b=1之间没有数据依赖呀！不好意思，这块有点迷糊，老师能给详细解答下不？
2018-08-24展开作者回复: 嗯，我回到原问题上哈
1 2
2019-11-06测试用例 [6] 中实际测试后会发现, 有一部分的 object 尚未初始化
问题出在 new 操作上，我们以为的 new 操作应该是：
分配一块内存 M；在内存 M 上初始化 Singleton 对象；然后 M 的地址赋值给 instance 变量。
但是实际上优化后的执行路径却是这样的：
分配一块内存 M；将 M 的地址赋值给 instance 变量；最后在内存 M 上初始化 Singleton 对象。
所谓的单例模式, 就是安全发布的问题
(部分来自专栏 java并发编程实战)展开 1
2019-06-03即时编译器才会重排序，解释执行是不是就没有这个问题了？ 1
2018-12-03关于Volatile, 我想问下，如果是单个cpu的系统上运行多线程的程序，是不是这个volative就没有效果了？ 因为大家都使用同一个寄存器。作者回复: 理论上，因为都使用同一套缓存，所以不需要volatile。实际实现中，对编译器不能重排列的限制还是存在的，但具体的memory barrier指令的实现是no-op。
1
2018-10-24问一下，内存屏障是即时编译器生成本地代码的时候产生的？？那照这个意思岂不是关闭即时编译器就实现不了happen-before原则了？作者回复: 在解释执行时，字节码之间也有内存屏障
1
2018-10-20即时编译在单线程的情况下，根据as if serial 的选择，会是的编译逻辑和程序逻辑相同。
但是，在多线程情况下可能出现编译器重排序导致的数据竞争。这时就需要使用volatile来禁止重排序。
volatile的底层原理，是在字节码中插入内存屏障实现的。
内存屏障会被转化成一条指令，指令具体的效果是强制刷新缓存。
疑问：为什么是强制刷新缓存？是因为happen-before原则，要让后面的程序看到？ 那后面程序看到的就是缓存中的内容吗？
我对寄存器，缓存有不熟悉的地方，希望老师可以指正，指导我该补哪方面的知识，多谢展开作者回复: 我们考虑一种简单情况，即每个CPU有独占缓存，没有共享缓存。强制刷新缓存，是为了让跑在另外一个CPU上的线程看到你这个CPU上更新的内容。
如果想要深入研究下去，可以翻翻CSAPP那本书。 1
2018-09-27happen-before 在这里不能理解成在什么之前发生，它和时间没有任何关系。个人感觉解释成“生效可见于” 更准确。 1
2018-08-22老师，既然有写缓存，是不是也有读缓存呢？强制刷新写缓存，无效化相应的内存数据，那么这些内存数据的读缓存也就失效了，需要重新加载最新数据，是否可以这样理解？
另外强制刷新写缓存是否也有粒度一说？就是我们加的锁也有粒度之分，那么所触发的强制刷新写缓存的区域可能不一样？ 1
2020-01-16“换句话说，volatile 字段的每次访问均需要直接从内存中读写”
这个内存是指高速缓存吗？ 我理解的是工作内存，不是主内存；
如果其它线程没有触发volatile 字段写，缓存行协议不会设置其它CPU地址无效，这时没有必要从主内存重新读取volatie变量到CPU高速缓存（不是寄存器）
以上是我的分析，不知道是不是展开
2020-01-15看完本章节，有一些疑惑。volatile具有可见性和禁止编译器重排序的特性，我的理解可见性对于并发访问高的情形仍然不适用，是因为非原子性，原子性是说同一段指令只能由一个线程执行？保证原子性JAVA给的方案只有锁？