先行先发送原则happen-before

先行发生原则(Happens-Before)是判断数据是否存在竞争、线程是否安全的主要依据。

  • 先行发生是Java内存,模型中定义的两项操作之间的偏序关系,如果操作A先行发生于操作B,那么操作A产生的影响能够被操作B观察到。

一些结论

时间上的先后顺序对先行发生没有太大的关系,所以衡量并发安全问题的时候不要受到时间顺序的影响,一切以先行发生原则为准。

  • 一个操作“时间上的先发生”不代表这个操作先行发生

  • 一个操作先行发生也不代表这个操作在时间上是先发生的(虚拟机对代码的重排序的出现)。