Java Memory Model（JMM）关于同步的规定

JMM是一种抽象的概念，它描述的是一组规范，通过这组规范定义了程序中各个变量（实例字段，静态字段，构成数组对象的元素）的访问方式。

JMM关于同步的规定：
1.线程解锁前，必须把共享变量的值刷新到主内存
2.线程加锁前，必须读取主内存的最新的值到工作内存
3.加锁解锁是同一把锁

由于JVM运行程序的实体是线程，而每个线程创建时JVM都会为其创建一个工作内存（有的成为栈空间），工作内存是每个线程的私有数据区域，而java内存模型中规定所有变量都存储在主内存，主内存是共享的内存区域，所有线程都可以访问，但线程对变量的操作（读取赋值等）必须在工作内存中进行。
首先需要将变量从主内存拷贝到自己的工作内存空间，然后对变量进行操作，操作完成后再将变量写回主内存，不能直接操作主内存中的变量，各个线程中的工作内存中存储着主内存的变量副本拷贝，因此不同的线程件无法访问对方的工作内存，线程间的通信（传值）必须通过主内存来完成。

JMM是围绕着在并发过程中如何处理原子性、可见性和有序性这三个特征来建立的。

原子性：我们大致可以认为基本数据类型的访问读写是具备原子性的。另外，synchronized块之间的操作也具备原子性。

可见性：JMM是通过在变量修改后将新值同步回主内存，在变量读取前从主内存刷新变量值这种依赖主内存作为传递媒介的方式来实现可见性的。除了volatile之外，synchronized和final关键字也实现了可见性。final修饰的字段在构造器中一旦初始化完成，那在其他线程中就能看到final字段的值。

有序性：线程内表现为串行的语义，不同线程之间存在指令重排序，工作内存和主内存存在同步延迟。Java中提供了volatile和synchronized两个关键字来保证线程之间操作的有序性。