Java中的volatile变量大体上有3条语义，其中2条是针对volatile变量自身而言，另外1条说的是volatile变量对其它变量可见性的影响。
首先我们来看volatile自身的语义：
1，读volatile变量总是可以读到任何线程最近一次对该变量的写入。这意味着java编译器不会优化volatile变量的读写，每次对volatile变量的写入都会写入主内存，每次读取volatile变量也都会从主内存中读取而不会把该变量暂存在工作内存（寄存器）中。这就可以保证如下代码可以工作：
private volatile boolean flag = false;
//线程1一直执行如下循环等待flag变为true:
while (flag == false) {
doSomething();
}
//线程2在某个时刻执行执行：
flag = true;
也就是说线程2在某时刻设置flag的值为true后，线程1可以立即感知到。如果flag变量没有volatile修饰，则线程1在线程2设置flag为true后不一定能够感知到，这样可能导致线程1永远跳不出那个循环。
2，对volatile变量的单个读或单个写操作都是原子操作。假如有如下代码在两个线程中同时执行：
private volatile long count;
//线程1
count = 0x1234567890abcdef;
//线程2
count = 0x1111111122222222;
由于这两个线程中执行的都是单个写操作，本条语义保证了其原子性，所以count最后的值只可能是0x1234567890abcdef或0x1111111122222222这两者之一，不可能出现诸如0x1234567822222222这样的非法值（如果count变量没有volatile修饰的话，则可能出现这种非法值）。同理，如果不保证读操作是原子性的，则读的时候可能读到非法值，即刚好读了4个字节，然后中间插入了对该变量的写入，然后再读剩下的4个字节。
重要：这条语义只是说明单个读单个写是原子的，并不保证又读又写这种复合操作是原子的。比如 它并不会保证couter++是原子的，因为counter++需要2次访问内存，即首先从内存中读取该值，然后加1，然后把结果写入内存。所以即使是存在volatile修饰的counter变量我们也不能在多个线程中没有同步手段的保护下并发执行counter++。
下面来看volatile变量对其它变量可见性的影响：
3，其它线程在观察到线程A对volatile变量v的修改之时（后），也一定能够观察到线程A对源代码中位于变量v之前的其它变量的修改。文字表达可能有点抽象，看下面的代码：
int a, b;
volatile int c;
//线程1执行：
a = 1;
b = 2;
c = 3;
//线程2执行
if (c == 3) {
//使用a和b
}
这段代码可以保证线程2的if条件为真时，也就是当c等于3时，a一定等于1， b一定等2。如果c不是volatile变量，则上述结论是不一定成立的。
从编程的角度来说，理解上面这几条语义之后就可以写出正确使用volatile变量的代码了。
版权声明：本文为原创文章，如需转载，请注明出处。
网友评论