观察到volatile效果的例子

 

Java中要停止一个线程通过协作的方式，具体过程是这样，当想要停止线程时，调用线程的某个方法来设置某个标志变量，线程运行时会不断地检查这个变量，当它的值为true时就退出。需要注意的是这个标志变量必须设置为volatile，这应该属于常识了。书上都讲到，如果不设置为volatile，则该线程可能永远都不会退出，可是在实际程序中很少会观察到这类现象。“你只要记住就行了”，这个理由并不是对所有人都那么有说服力。我这里的例子就是要说明volatile的确是不可缺少的。

 

这个例子其实来自于《Effective Java》：

 

import java.util.concurrent.*;

public class Test {
    private static /*volatile*/ boolean stop = false;
    public static void main(String[] args) throws Exception {
        Thread t = new Thread(new Runnable() {
            public void run() {
                int i = 0;
                while (!stop) {
                    i++;
//                    System.out.println("hello");
                }
            }
        });
        t.start();

        Thread.sleep(1000);
        TimeUnit.SECONDS.sleep(1);
        System.out.println("Stop Thread");
        stop = true;
    }
}

 

编译：

javac Test.java

 

运行：

C:>java Test
Stop Thread

C:>

 

程序退出了，似乎有没有volatile都一样，接着用下面命令运行：

 

C>java -server Test
Stop Thread

 

这时就永远不会退出了。"-server"参数会启动server虚拟机，我的机器上默认启动的是client虚拟机，默认启动哪种虚拟机依赖于机器的配置，配置高的机器可能就会默认启动server虚拟机。server虚拟机会对程序做更多优化，对于上面的程序，它会将：

 

                int i = 0;
                while (!stop) {
                    i++;
                }

 

优化成：

                int i = 0;
                while (true) {
                    i++;
                }

 

因为stop在整个线程中没有不会改变，这样程序就永不退出了。关于server虚拟机和client虚拟机的区别可以参看这篇文章 。如果你声明stop为volatile的，就可以禁止编译器做这种优化。

 

我将while循环中的打印hello的语句取消注释，stop不声明为volatile，使用server虚拟机，这时程序仍然可以退出。why?