Java 多线程：volatile关键字

转载自https://github.com/pzxwhc/MineKnowContainer/issues/11

概念

volatile 也是 多线程的解决方案之一。volatile 能够保证 可见性，但是不能保证原子性。它只能作用于变量，不能作用于方法。当一个变量被声明为 volatile 的时候，任何 对该变量的读写都会绕过 高速缓存，直接读取主内存的变量的值。个人理解为，读取的时候保证是最新的值，但是对写入则不保证

如何理解直接读写主内存的值：回到 多线程生成的原因（Java内存模型与i++操作解析） ，在 i＋＋ 操作的时候，当 进行 执行引擎 对 变量 进行 ＋ 1 之后，原来 是应该写入到 本地内存中，再由本地内存写入到主内存中，但是 由于 变量使用了 volatile 的修饰，所以 该值不会经过本地内存，而是直接写入到 主内存中去。 读取也是同样的道理。

使用volatile 有两点需要注意的地方：

1. 运算结果并不依赖于当前值，或者能确保只有单一的线程能够修改变量的值。
2. 变量不需要和其他的状态变量共同参与不变约束

对于第一点的理解：

public class Test {
    public static volatile int i = 0;
    public static void main(String args[]){

        new Thread(new Runnable(){
            public void run(){
                for(int j = 0; j < 10000; j++)
                    i++;
                System.out.println("Thread1 end...");
            }
        }).start();

        new Thread(new Runnable(){
            public void run(){
                for(int j = 0; j < 10000; j++)
                    i++;
                System.out.println("Thread2 end...");
            }
        }).start(); 

        i++;

        try {
            Thread.sleep(500);
        } catch (InterruptedException e) {
            // TODO Auto-generated catch block
            e.printStackTrace();
        }
        System.out.println("i = " + i);
    }
}

对于第二点的理解：

private Date start;      
private Date end;      

public void setInterval(Date newStart, Date newEnd) {      
    // 检查start<end是否成立, 在给start赋值之前不变式是有效的      
    start = newStart;      

    // 但是如果另外的线程在给start赋值之后给end赋值之前时检查start<end, 该不变式是无效的      

    end = newEnd;      
    // 给end赋值之后start<end不变式重新变为有效      
}    

最后，关于什么时候使用 volatile，一般是用来当做标记来使用。比如说，当shutdown() 方法被调用的时候，所有的 doWork() 方法都会停下来。