对于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规则的执行结果一致。