对volatile的理解

JMM——Java内存模型（Java Memory Model）

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

 

JMM关于同步的规定：

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

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

3）加锁解锁是同一把锁

 

由于JVM运行程序的实体是线程，而每个线程创建时JVM都会为其创建一个工作内存（或称为栈空间），工作内存是每个线程的私有数据区域。

而Java内存模型中规定所有变量都存储在主内存，主内存是共享内存区域，所有线程都可以访问，但线程对变量的操作（读取、赋值等）必须在工作内存中进行

i.首先将变量从主内存拷贝到自己的工作内存空间

ii.然后对变量进行操作

iii.操作完成后将变量写回主内存

不能直接操作主内存中的变量,各个线程中的工作内存中存储着主内存中的变量副本拷贝，因此不同的线程间无法访问对方的工作内存，线程间的通信（传值）必须通过主内存来完成

 

JMM三大特性：

1）可见性

2）原子性

3）有序性

 

 

volatile可见性的代码验证说明

<