Java详解之JMM

JMM：

1、JMM是一种抽象的概念并不真实存在，它描述的是一组规则或规范，通过这组规范定义了程序中各个变量的访问方式。

2、JMM关于同步的规定：

线程解锁前，必须把共享变量的值刷新回主内存

线程加锁前，必须读取主内存的最新值到自己的工作内存

加锁解锁是同一把锁

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

3、JMM对线程安全性的规范：

满足可见性、原子性、有序性这三个规范，才能保证线程安全

线程安全性获得保证：

       工作内存与主内存同步延迟现象导致的可见性问题，可以使用synchronized或volatile关键字解决，他们都可以使一个  线程修改后的变量立即对其他线程可见。

       对于指令重排导致的可见性问题和有序性问题，可以使用volatile关键字解决，因为volatile的另一个作用就是禁止指令 重排。

接下来详细讲解volatile关键字以及JMM规定的三种规范