诡异的volatile

今天看到一个关于线程可见性的问题，发现一个奇怪的现象

如我有以下程序：

 

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变量