对于happens before的理解

最近复习下happens before相关概念，记录下自己的一些理解。

概念

happens before是一种指令可见性的规则，它指的是如果A happens before B，那么A操作产生的结果对于B是可见的，并且happends before包含传递性。

jvm中的happens before

jvm中的同步、volatile等机制满足了happens before规则，可以根据happens before对多线程中指令的可见性进行相应推导。

对于指令重排的理解

指令重排后的执行结果与指令重排前程序按照happens before规则的执行结果一致。