如果前一个操作的执行结果必须对后一个操作可见,那就不允许这两个操作进行重排序,且happen-befor具有传递性