[笔记]对于关键字volatile的理解

关键字volatile可以说是Java虚拟机提供的最轻量级的同步机制。
在《深入理解Java虚拟机》第2版（周志明著）一书中，作者认为volatile有两个语义/特性：
一是：保证此变量对于所有线程的可见性；
二是：禁止指令重排序优化
下面将分别来解读。
这里的大背景是Java内存模型。
“内存模型”可以理解为在特定的操作协议下，对特定的内存或高速缓存进行读写访问的过程抽象。不同架构的物理机器可以拥有不一样的内存模型。
Java内存模型（Java Memory Model，JMM）的目的是：屏蔽掉各种硬件和操作系统的内存访问差异，以实现让Java程序在各种平台下都能达到一致的内存访问效果。
Java内存模型的主要目标是定义程序中各个变量的访问规则，即在虚拟机中将变量存储到内存和从内存中取出变量这样的底层细节。（此处的变量与Java编程中所说的变量有所区别，它包括了实例字段、静态字段和构成数组对象的元素，但不包括局部变量和方法参数，因为后者是线程私有的，不会被共享，自然就不会存在竞争问题。）
Java内存模型图示如下：

在内存模型中，
1.所有变量都存储在主内存（Main Memory）中。
2.每条线程还有自己的工作内存（Working Memory），工作内存中保存了被该线程使用到的变量的主内存副本拷贝。
3.线程对变量的所有操作（读取、赋值等）都必须在工作内存中进行，不能直接读写主内存中的变量。
4.线程间变量值的传递均需要通过主内存来完成。
备注：这里的主内存、工作内存与Java内存区域中的Java堆、栈、方法区等并不是同一层次的内存划分，两者基本上是没有关系的。勉强对应的话，主内存主要对应于Java堆中的对象实例数据部分，而工作内存则对应于虚拟机栈中的部分区域。
进一步备注：一个对象的内存布局分为3个区域：对象头（Header）、实例数据（Instance Data）和对齐填充（Padding）。其中对象头又分为两部分：Mark Word（对象自身的运行时数据）和Klass Point（指向类元数据的指针）。
关于主内存与工作内存之间具体的交互协议，Java内存模型中定义了8种操作来完成实现细节。
如果要把一个变量从主内存中复制到工作内存，那就要顺序地执行read和load操作，如果要把变量从工作内存同步回主内存，就要顺序地执行store和write操作。注意：Java内存模型只要求上述两个操作必须按顺序执行，而没有保证是连续执行。也就是说，read和load之间，store与write之间是可以插入其他指令的。
volatile变量与普通变量的区别是：立即性。即：虚拟机对volatile的一些特殊规定，保证了新值能立即同步到主内存。以及每次使用前立即从主内存刷新。
实现原理是：有volatile修饰的变量，在赋值后多执行了一个“lock add1 $0x0,(%esp)”操作，意思是把寄存器ESP的值加0。这显然是一个空操作。该动作相当于对Cache中的变量做了次“store和write”操作，它的作用是使得本CPU 的Cache写入了内存，并引起了别的CPU的内核无效化其Cache。就是通过这个空操作，使得改volatile变量的修改对其他CPU立即可见。
号外1：
volatile屏蔽指令重排序的语义在JDK1.5中才被完全修复，此前的JDK中即使将变量声明为volatile也仍然不能完全避免重排序所导致的问题。这点也是在JDK1.5之前的Java中无法安全地使用DCL（双锁检测）来实现单例的原因。
号外2：
Java里面的运算并非原子操作，导致volatile变量的运算在并发下一样是不安全的。
如自增运算（++），在Class文件中是由4条字节码指令构成的。而且即便是只有一条字节码指令，也不意味着执行这条指令就是一个原子操作。
由于volatile变量只能保证可见性，在不符合以下两条规则的运算场景中，我们依然要通过加锁来保证原子性。

• 运算结果并不依赖变量的当前值，或者能够确保只有单一的线程修改变量的值；
• 变量不需要与其他的状态变量共同参与不变约束。