java面试题之happens before原则

　　JSR-133使用happens-before的概念来指定两个操作之间的执行顺序。由于这两个操作可以在一个线程内，也可以在不同线程之间。因此，JMM可以通过happens-before关系向程序员提供跨线程的内存可见性保证（如果A线程的写操作a与B线程的读操作b之间存在happens-before关系，尽管a操作与b操作在不同的线程中执行，但JMM向程序员保证a操作将对操作b可见）。

　　happens-before关系的定义：

　　　　1、如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作执行顺序排在第二个操作之前。

这是JMM对程序员的承诺。从程序员的角度来说，可以这样理解happens-before关系：如果A happens-before B，那么Java内存模型将向程序员保证——A操作的结果将对B可见，且A的执行顺序排在B之前。注意！这是Java内存模型向程序员做出的保证。

　　　　2、两个操作之间存在happens-before关系，并不意味着Java平台的具体辉县必须要按照happens-before关系指定的顺序孩子来执行。如果重排序之后的执行结果，与按happens-before关系来执行的顺序结果一致，那么这种重排序是合法的（也就是说JMM允许这种重排序）。

这是JMM对编译器和处理器重排序的约束原则。JMM其实遵循一个基本原则：只要不改变程序的执行结果，编译器和处理器怎么优化都行。