并发编程实战15-重排序、happens-before

本文主要是介绍并发编程实战15-重排序、happens-before，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

指令重排序
为了优化CPU的运行效率，在条件允许的情况下，直接运行当前有能力立即执行的后续指令，避开获取下一条指令所需数据时造成的等待3。通过乱序执行的技术，处理器可以大大提高执行效率。
比如：对于如下代码

int a = 10 // 1 
int b = 100 // 2
int c = a // 3

实际的执行过程可能会是：1-3-2，而不是：1-2-3；因为第一步获取a的值后，第三部仍然需要使用，此时，由于第二步并不会干扰单线程下程序了逻辑，将会直接执行3，再执行2.避免二次读取a值。（只是说明可能的原理，例子并不一定正确）

数据依赖性（as-if-serial）
- As-if-serial语义的意思是，所有的动作(Action)5都可以为了优化而被重排序，但是必须保证它们重排序后的结果和程序代码本身的应有结果是一致的。
  即
- 即如果后续逻辑计算需要依赖之前的某个值a，那么a这个值的计算步骤不能跳过。如上代码：第3步，c的值需要使用a，所以不能跳过1直接执行3
happens-before 规则
语义：如果A先发生于B，那么A所做的所有改变都能被B看到
Happens-before是用来指定两个操作之间的执行顺序。提供跨线程的内存可见性。在Java内存模型中，如果一个操作执行的结果需要对另一个操作可见，那么这两个操作之间必然存在happens-before关系。

遵循的规则：
* 程序顺序规则：一个线程中的每个操作，happens- before 于该线程中的任意后续操作。
* 监视器锁规则：对一个监视器锁的解锁，happens- before 于随后对这个监视器锁的加锁。
* volatile变量规则：对一个volatile域的写，happens- before 于任意后续对这个volatile域的读。
* 传递性：如果A happens- before B，且B happens- before C，那么A happens- before C。