JAVA内存模型--volatile内存语义

-->volatile原语

当声明共享变量为volatile后，对这个变量的读/写会很特别。相当于对一个普通变量的读写使用一个同步锁来同步。而volatile本身比synchronized的开销要小很多。

锁的happens-before规则保证释放锁和获取锁的两个线程之间的内存可见性。这就意味着对一个volatile变量的读，总是能看到它的最后一次写入。

锁的语义决定了临界区代码的执行具有原子性。这意味着即使是64位的long型和double型变量，只有它是volatile变量，对该变量的读写就有原子性。

-->volatile读写内存语义：

1. 写：当写一个volatile变量时，JMM会把该线程对应的本地内存中的共享变量值刷新到主内存。

2. 读：当读一个volatile变量时，JMM会把线程对应的本地内存置为无效，从主内存中读取变量。

-->JMM对volatile的语义实现

JMM内存屏障插入策略

1）在每个volatile写操作前面加入一个StoreStore屏障；

2）在每个volatile写操作后面插入一个StoreLoad屏障；

3）在每个volatile读操作后面插入一个LoadLoad屏障和一个LoadStore屏障。