从虚拟机层面学习volatile关键字

提到多线程就容易联想到java中volatile 关键字，经常听到对volatile 的描述是“对读可见，对写不可见”。

volatile 表现出两种语义，一是表现为可见性，二是表现为禁止指令重排序(有序性)。

可见性指的是，当一个线程修改了变量以后，新的值能够立即被其他线程得知。这里的“得知”（use）仅仅指的是其他线程读取到该变量的值是最新的，但如果修改（assign）此变量值得时候，变量的值可能又被其他线程修改过了。

被volatile修饰的变量 ，是如何做到可见性的呢？

先看一下java多线程环境下的工作机制。

每个线程都有一个自己的工作内存，对变量进行操作的时候需要从主内存中加载到自己的工作内存中，各个线程的工作内存是互相不可见的。

java每个线程的工作内存与主内存的交互有以下8个行为：

lock(锁定):作用于主内存的变量，标记变量为线程独享。

unlock(解锁):作用于主内存的变量，解除变量的lock(锁定)状态，让其他线程可以对变量锁定。

read(读取):作用于主内存的变量，将主内存的变量读取到工作线程内。

load(载入):将read到工作内存的变量值放入工作内存的变量副本中。

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

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

store(存储):作用于工作内存的变量，将工作内存中变量值传到主内存，以便后面的write操作。

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

对于任何一个线程来说，如果想把变量从主内存复制到工作内存中，就需要顺序的执行read->load操作。如果想把变量从工作内存写入到主内存，就需要顺序的执行store->write操作。注意，以上说的顺序执行不是连续执行。

java内存模型对以上的8中操作还规定了一下几种规则：

1、不允许read和load、store和write其中的操作单独出现。也就是执行read之后，最终一定会执行load操作。store和write也是如此。

2、不允许线程丢弃最近的一次assign操作。即变量在工作内存中改变了之后必须把该变化同步回主内存。

3、不允许线程再未执行assign的情况下，将变量同步回主内存中。

4、 一个新的变量只能在主内存中“诞生”，不允许在工作内存中直接使用一个未被初始化（load或assign）的变量，换句话说就是对一个变量实施use和store操作之前，必须先执行过了assign和load操作。

5、如果对一个变量执行了lock操作，那么就会清空工作内存中的此变量的值，在执行引擎使用这个变量前，需要重新执行load或assign操作初始化变量的值。

6、如果一个变量事先没有被lock操作锁定，则不允许对它执行unlock操作；也不允许去unlock一个被其他线程锁定住的变量。

7、一个变量在同一个时刻只允许一条线程对其进行lock操作，但lock操作可以被同一条线程重复执行多次，多次执行lock后，只有执行相同次数的unlock操作，变量才会被解锁。

8、对一个变量执行unlock操作之前，必须先把此变量同步回主内存中（执行sotre和write操作）。

对volatile变量的特殊规则：

假定T表示一个线程，V和W分别表示两个volatile型变量，那么在进行read、load、use、assign、store和write操作时需要满足如下的规则：

 1、只有当线程T对变量V执行的前一个动作是load的时候，线程T才能对变量V执行use动作；并且，只有当线程T对变量V执行的后一个动作是use的时候，线程T才能对变量V执行load动作。线程T对变量V的use动作可以认为是与线程T对变量V的load和read动作相关联的，必须一起连续出现。（这条规则要求在工作内存中，每次使用V前都必须先从主内存刷新最新的值，用于保证能看见其他线程对变量V所做的修改后的值）

2、只有当线程T对变量V执行的前一个动作是assign的时候，线程T才能对变量V执行store动作；并且，只有当线程T对变量V执行的后一个动作是store的时候，线程T才能对变量V执行assign动作。线程T对变量V的assign动作可以认为是与线程T对变量V的store和write动作相关联的，必须一起连续出现（这条规则要求在工作内存中，每次修改V后都必须立刻同步回主内存中，用于保证其他线程可以看到自己对变量V所做的修改）。

3、假定动作A是线程T对变量V实施的use或assign动作，假定动作F是与动作A相关联的load或store动作，假定动作P是与动作F相应的对变量V的read或write动作；类似地，假定动作B是线程T对变量W实施的use或assign动作，假定动作G是与动作B相关联的load或 store动作，假定动作Q是与动作G相应的对变量W的read或write动作。如果A先于B，那么P先于Q（这条规则要求volatile修饰的变量不会被指令重排序优化，保证代码的执行顺序与程序的顺序相同）。

1和2解释了多线程环境下，对volatile变量的可见性（synchronized和final关键字也可以保证可见性）。3解释了禁止指令重排序（保证线程之间的有序性）。synchronized关键字也能保证代码的有序性（单线程环境下，执行顺序都是按照“代码的顺序”）。

关于有序性，需要了解“先行发生原则”。

Java程序中天然的有序性可以总结为一句话：如果在本线程内观察，所有的操作都是有序的；如果在一个线程中观察另一个线程，所有的操作都是无序的。前半句是指“线程内表现为串行的语义”，后半句是指“指令重排序”现象和“工作内存与主内存同步延迟”现象。

jvm中天然的先行发生关系，不需要任何同步手段协助。

1、程序次序规则（Program Order Rule）：在一个线程内，按照程序代码顺序，书写在前面的操作先行发生于书写在后面的操作。准确地说应该是控制流顺序而不是程序代码顺序，因为要考虑分支、循环等结构。

2、管程锁定规则（Monitor Lock Rule）：一个unlock操作先行发生于后面对同一个锁的lock操作。这里必须强调的是同一个锁，而“后面”是指时间上的先后顺序。

3、volatile变量规则（Volatile Variable Rule）：对一个volatile变量的写操作先行发生于后面对这个变量的读操作，这里的“后面”同样是指时间上的先后顺序。

4、线程启动规则（Thread Start Rule）：Thread对象的start()方法先行发生于此线程的每一个动作。

5、线程终止规则（Thread Termination Rule）：线程中的所有操作都先行发生于对此线程的终止检测，我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值等手段检测到线程已经终止执行。

6、 线程中断规则（Thread Interruption Rule）：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生，可以通过Thread.interrupted()方法检测到是否有中断发生。

7、对象终结规则（Finalizer Rule）：一个对象的初始化完成（构造函数执行结束）先行发生于它的finalize()方法的开始。□ 传递性（Transitivity）：如果操作A先行发生于操作B，操作B先行发生于操作C，那就可以得出操作A先行发生于操作C的结论。

8、传递性（Transitivity）：如果操作A先行发生于操作B，操作B先行发生于操作C，那就可以得出操作A先行发生于操作C的结论。

参考书籍：《深入理解java虚拟机》