重排序

顺序一致性

happens-before

as-if-serial

JMM的内存可见性保证