概念

在JMM中，如果一个操作的结果需要对另外一个操作可见，那么这两个操作之间必须要存在happens-before关系（操作可以实在一个线程内，也可以在不同线程之间）。

程序中相关的happens-before规则如下

1、单个线程的每个操作，happens-beofer 于该线程的任意后续操作

2、对一个锁的解锁，happens-beofer于随后对这个锁的加锁操作

2、对volatile变量只要修改写入了该值，读取的时候一定能够读取到最新的值