诡异的volatile
2016-05-27
今天看到一个关于线程可见性的问题，发现一个奇怪的现象
如我有以下程序：
public class Littlehow{
private static boolean flag = true;
public static void main(String[] strs){
new Thread(){
public void run(){
//该变量不是volatile修饰
while(flag){
try{
System.out.println(123);
}catch(Exception e){
System.out.println(e.getMessage());
}
}
}
}.start();
try{
TimeUnit.SECONDS.sleep(1);
}catch(Exception e){
e.printStackTrace();
}
new Thread(){
public void run(){
flag = false;
}
}.start();
}
}
执行程序后的预期结果是死循环，结果程序正常退出。
//System.out.println(123);
结果发现如果注释掉输出语句，则程序进入死循环，这是为什么呢？
查了资料有个大胆的猜测，那就是因为在输出语句中出现了对volatile变量的读或写，
这时候我将程序改成下面这样：
public class Littlehow{
private static boolean flag = true;
public static volatile int i = 0;
public static void main(String[] strs){
new Thread(){
public void run(){
while(flag){
try{
i++;
//System.out.println(123);
}catch(Exception e){
System.out.println(e.getMessage());
}
}
}
}.start();
try{
TimeUnit.SECONDS.sleep(1);
}catch(Exception e){
e.printStackTrace();
}
new Thread(){
public void run(){
flag = false;
}
}.start();
}
}
发现程序果然和预期的一样正常退出了，因为在程序中我对具有volatile变量的i进行了读写，所以cache被刷新，对flag的更改也被第一个线程所见。
public
static int i = 0;
如果将i变量的volatile属性去掉，程序又进入死循环。
结果就是如果程序中有对volatile变量的读写操作，那么就算线程中访问的变量不是用volatile修饰的共享变量也将被刷新到cache中，这在jdk1.3以上的版本都适合。
特别的：在不同操作系统版本上的表现形式可能不同，如在mac上的jdk，对volatile变量进行了读写，也不会及时刷新cache的非volatile变量