Java中Volatile变量小结

在多线程程序中，采用同步机制来协同对对象可变状态的访问。

关于Java内存模型的一些规定

1、所有的变量都存储在主内存中（Main Memory）中。

2、每条线程有自己的工作内存（Working Memory），该部分保存了被该线程使用到的变量的主内存副本拷贝。

3、线程对变量的所有操作（读取，赋值等等）都必须在工作内存中进行，而不能直接读写主内存中的变量。

4、不同线程之间不能直接访问对方工作内存中的变量，线程之间的变量值的传递均需要主内存来完成。

线程，主内存，工作内存之间的关系如图（图来自网上，侵删）

相关名词：

原子操作与复合操作：

原子操作共有8种：

lock（锁定）：作用于主内存的变量，它把一个变量标识为一条线程独占（锁定）的状态。

unlock（解锁）：作用于主内存的变量，它把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定。

read（读取）：作用于主内存的变量，它把一个变量的值从主内存传输到线程的工作内存中，以便随后的load动作使用。

load（载入）：作用于工作内存的变量，它把read操作从主内存中得到的变量值放入工作内存的变量副本中。

use（使用）：作用于工作内存的变量，它把工作内存中一个变量的值传递给执行引擎，每当虚拟机遇到一个需要使用到变量的值的字节码指令时将会执行这个操作。

assign（赋值）：作用于工作内存的变量，它把一个从执行引擎接收到值赋给工作内存的变量，每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作。

store（存储）：作用于工作内存的变量，它把工作内存中一个变量的值从传送到主内存中，以便随后的write操作使用。

write（写入）：作用于主内存的变量，它把从store操作从工作内存中得到的变量的值放入主内存的变量中。

举个例子：count++；就是一个复合操作，①、首先读取到count的值，②、将count的值加1，③、将count的值写入主内存中，前面这句换个说法就是，线程先从主内存中读取count的值到自己的工作内存，然后在自己的工作内存中将count的值加1，最后将count加1后的值写入主内存中。由此可以看出count++就是一个复合操作。

可见性：

当一个线程A修改一个普通变量的值，然后向主内存进行会写，另一个线程B在A线程回写完成了之后再从主内存进行读取操作，然后该变量的新值才会对线程B可见。

指令重排序：

cpu和编译器在保证输出结果不变的情况下，对指令重新排序从而使性能得到优化。关于指令重排序可参考该文章（http://blog.csdn.net/pzxwhc/article/details/48984209

）

同步机制之Volatile变量

在多线程程序中必须使用同步机制来保证对操作的可见性，其中一种就是使用Volatile关键字修饰变量。它具备两种特性

1、保证该变量对所有的线程都是立即可见的，即当一个线程修改某个变量的值，新值对于其它线程来说就是可以立即得知的。

2、禁止指令重排序优化。

特性1：Volatile变量对所有线程是立即可见的，对Volatile变量所有的写操作都是都能立刻反应到其他线程之中。怎么实现的呢？首先无论是普通变量还是Volatile变量都是通过在变量修改后将新值同步回主内存，在变量读取前从主内存刷新变量值这种依赖主内存作为传递媒介的方式来实现可见性的。但是Volatile变量与普通变量的区别就是：Volatile变量立即将新值同步到主内存中，每次使用（use操作）前立即从主内存刷新（更深的说法就是通过内存屏障（CPU指令）强制把新值同步到主内存中）。这样其他线程就能立即得知这个新值了。

特性2：禁止指令重排序优化，怎么实现的呢？通过插入内存屏障（一种CPU指令，对没错就是CPU指令）从而保证先于这条命令之前的命令先执行，后于这条指令的命令后执行。

注意：使用Volatile修饰变量并不能保证在并发程序中是安全的。同步机制中包含①加锁机制，②使用Volatile变量。其中①加锁机制既保证了原子性又确保了可见性。而②使用Volatile变量只保证了可见性。举个例子：

使用Volatile变量的一种典型用法就是：

Volatile boolean  asleep;
……
while(!asleep){
doSomeThing();
}