happens-before原则

如果ActionA和ActionB属于同一个线程，那么就说明ActionA happens-before ActionB。

 

如果ActionA是unlock操作，而ActionB是lock操作，那么ActionA happens-before ActionB。  

 

 如果A是对volatile变量的写操作，ActionB是对同一个变量的读操作，那么ActionA happens-before ActionB。

 

线程的启动Action happens-before 该线程上的其他动作。 

 

线程中任何Action都 happens-before 任何其他线程检测到该线程已经结束、Thread.join调用成功返回，Thread.isAlive返回false。

 

一个线程调用另一个线程的interrupt一定发生在另一个线程中断之前。 

 

一个对象的构造函数结束一定发生在兑现finalizer之前。

 

ActionA发生在ActionB之前，ActionB发生在ActionC之前，则ActionA一定发生在ActionC之前。 ActionA happends-before ActionB，记作hb（ActionA，ActionB）。