主内存与工作内存 定义程序中各个变量的访问规则。 规定JVM必须遵循的小保证。 定义操作的偏序关系。Happens-Before规则:发布共享对象与另一线程访问对象。 说明了某个线程的内存操作,在哪些情况下对其他线程是可见的。 之前发生:Happens-Before 一代码块在其他开始前完成。 同步约束:Synchronized-with 把对象视图与主内存同步 【规则】 1.解锁与后续锁操作存在同步约束。 2.volatile变量写入和读取存在同步约束。 3.若A受到B的同步约束,则A在B之前发生。 4.程序中A出现在B之前,