happen-before

    Java内存模型的本地缓存特点以及编译器的重排序和处理器的重排序会使代码的实际执行效果和原生代码的逻辑顺序不一致，如果任由这些操作发生，计算绝大多数情况下是不对的，所以Java内存模型有制定了happen-before原则，happen-before规定了那两个操作之间的影响关系，如果A操作happen-before于B操作，那么，Java虚拟机必须保证A操作对B操作可见，这样通过一定程度上限制重排序，来保证程序的执行结果。

 

    Java保证的原生happen-before特性有：

Each action in a thread happens before every action in that thread that comes later in the program's order.
An unlock on a monitor happens before every subsequent lock on that same monitor.
A write to a volatile field happens before every subsequent read of that same volatile.
A call to start() on a thread happens before any actions in the started thread.

All actions in a thread happen before any other thread successfully returns from a join() on that thread.

上面是英文原文，下面是流传的中文翻译

1、程序顺序规则：一个线程中的每个操作happens before于随后该线程中的任意后续操作
2、锁定规则：对一个锁的解锁happens before于随后对这个锁的获取
3、volatile变量规则：对一个volatile域的写happens before于对这个变量的读
4、线程启动规则：如果线程A执行线程B的start方法，那么线程A的B.start()happens before于线程B的任意操作
5、线程结束规则：如果线程A执行线程B的join方法，那么线程B的任意操作happens before于线程A从B.join()方法成功返回
6、中断规则：对线程interrupt（）方法的调用happen—before发生于被中断线程的代码检测到中断时事件的发生
7、终结器规则：一个对象的初始化完成（构造函数执行结束）happen—before它的finalize（）方法的开始
8、传递性规则：如果操作A happens before操作B，操作B happens before操作C，那么可以得出A happens before操作C

这里需要理解happen的含义，happen不代表执行顺序，他应该是指的一种可见性happen-before，因为程序都是存储在内存上的，只有内存可见性happen-before了，才是真正的happen-before，内存可见happen-before了，执行结果自然和执行上happen-before一致了。