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