1.Happens-before规则 偏序关系 (存在操作A和操作B不存在happens-before规则那么,JVM可以对它们任意的重排序)程序顺序规则 单线程 always 监视器锁规则volatile变量规则线程启动规则 Thread.start()线程结束规则中断规则终结器规则传递性 如果 A操作happens-before B操作 那么A的所操作的结果对B可见。(是不是有点类似casual-consistency session-consistency)