指令重排序会破坏happens-before原则吗

---

问题补充：<div class="quote_title">hobitton 写道</div><div class="quote_div">就我的理解来说，happens-before不是原则，而是由良好同步的代码所带来的结论，不是所有的代码都会有happens-before的那几个结论，也就是说，happens-before是结论。因为命名的原因，这因果关系很容易搞混。 <br />同时，happens-before并不以时间作为衡量标准，happens-before的那几个结论才是衡量标准。 <br />不知道这样的解释你理解否，因为我之前有过同样的疑惑(http://www.iteye.com/problems/71027)，但是这关系确实有些绕。</div> <br /><div class="quote_title">asyty 写道</div><div class="quote_div"><div class="quote_title">引用</div><div class="quote_div">"时间上顺序与先行发生原则之间基本没有太大关系，所以我们衡量并发安全问题的时候不要受时间顺序的干扰，一切必须以先行发生原则为准。"</div> <br /> <br />是这样的，它的意思不是说没有关系，是说在不影响happen-before的条件下，我们可以交换指令的顺序。 <br /> <br />也就是说，happen-before的原则还是要成立的，不能被破坏。 <br /> <br />比如有四条指令happen-before关系如下，a发生在b之前 c发生在d之前 <br /><pre name="code" class="java">A - &gt; B
C -&gt; D
</pre> <br />那么 以下的指令顺序都是正确的，因为都不违反happen-before的条件 <br /><pre name="code" class="java">a，b，c，d
a，c，b，d
c，a，b，d
c，d，a，b
</pre> <br /> <br /></div> <br />我的理解是，遵循happens-before法则，所以才能有良好的同步。 happens-before是因，良好同步是果。有确定结论吗？

---

问题补充：<div class="quote_title">asyty 写道</div><div class="quote_div"><div class="quote_title">引用</div><div class="quote_div">"时间上顺序与先行发生原则之间基本没有太大关系，所以我们衡量并发安全问题的时候不要受时间顺序的干扰，一切必须以先行发生原则为准。"</div> <br /> <br />是这样的，它的意思不是说没有关系，是说在不影响happen-before的条件下，我们可以交换指令的顺序。 <br /> <br />也就是说，happen-before的原则还是要成立的，不能被破坏。 <br /> <br />比如有四条指令happen-before关系如下，a发生在b之前 c发生在d之前 <br /><pre name="code" class="java">A - &gt; B
C -&gt; D
</pre> <br />那么 以下的指令顺序都是正确的，因为都不违反happen-before的条件 <br /><pre name="code" class="java">a，b，c，d
a，c，b，d
c，a，b，d
c，d，a，b
</pre> <br /> <br /></div> <br />书中在解释volatile时，引入这样一个例子： <br />线程A: <br />readConfig(); //读取配置 <br />init=true; <br /> <br />线程B: <br />while(init){ <br />&nbsp; useConfig(); //使用配置 <br />} <br /> <br />由于线程A可能会发生指令重排序，所以线程B使用的配置可能尚未加载，所以使用volatile解决此问题。 可见线程A发生的指令重排序破坏了happens-before的程序次序原则，这个怎么理解？ <br />

---

问题补充：<div class="quote_title">asyty 写道</div><div class="quote_div"><div class="quote_title">引用</div><div class="quote_div">线程A: <br />readConfig(); //读取配置 <br />init=true; <br /> <br />线程B: <br />while(init){ <br />&nbsp; useConfig(); //使用配置 <br />} <br /> <br />由于线程A可能会发生指令重排序，所以线程B使用的配置可能尚未加载，所以使用volatile解决此问题。 </div> <br />比如说，在readConfig();里有N多的指令要执行 <br />指令 <br />a <br />b <br />c <br />d <br />init=true; <br /> <br />如果abcd和init变量都没有关系，就是不存在happens-before关系的话，若果被重排，比如说可能变成 <br />a <br />b <br />init=true; <br />c <br />d <br /> <br />此时其实c，d还没有执行 但是b线程里init=true;已经成立了。。。所以就执行 useConfig(); 了 然后会出错 <br /></div> <br />也就是说，指令只关注线程内部指令abcd和变量init是否存在happens-before关系，不会考虑对其他线程的影响，所以指令重排序并没有破坏线程内部的happens-before法则，但是可能会影响其他线程，所以我们使用volatile来保证顺序。 这样理解是否正确？

---

问题补充：<div class="quote_title">asyty 写道</div><div class="quote_div"><div class="quote_title">引用</div><div class="quote_div">也就是说，指令只关注线程内部指令abcd和变量init是否存在happens-before关系，不会考虑对其他线程的影响</div> <br />可以这么认为吧，一般来说每个线程都是有一块独立的内存区域，把共享的变量存一个副本进行操作，对其他线程的顺序是不可见的，使用了volatile相当于禁止了在线程内部内存或者是寄存器操作共享数据，而是直接在共享的主存上进行，相当于每个线程能看见别的线程对主存的操作，所以就能够保证读写顺序 <br /> <br />一般指令顺序的优化都是编译器和cpu干的事情</div> <br />明白，谢谢指导，也谢谢hobitton和zhxinig的回答。