先行发生原则

在JMM规范下，如果一个操作执行的结果需要对另一个操作可见，那么这两个操作之间必须存在happers-before(先行发生)原则