Java volatile关键字实例

　　一旦一个共享变量（类的成员变量、类的静态成员变量）被volatile修饰之后，那么就具备了两层语义：
　　1）保证了不同线程对这个变量进行操作时的可见性，即一个线程修改了某个变量的值，这新值对其他线程来说是立即可见的。
　　2）禁止进行指令重排序。

volatile关键字能保证可见性和有序性，但是不保证原子性。因此并不能保证线程安全。

看一个相关的例子：双重校验锁实现的单例模式：

public class DoubleCheckSymbol {    private static volatile DoubleCheckSymbol d;    private DoubleCheckSymbol() {}    public static DoubleCheckSymbol getSymbol() {        if (d == null) {            synchronized(DoubleCheckSymbol.class) {                if (d == null) {                    d = new DoubleCheckSymbol();                }            }        }        return d;    }}

这个单例模式中为什么要加volatile关键字呢？

如果不加volatile的话，会有如下隐患：

d = new DoubleCheckSymbol()这句，这并非是一个原子操作，事实上在 JVM 中这句话大概做了下面 3 件事情。
1， 给d分配内存。
2， 调用 DoubleCheckSymbol的构造函数来初始化成员变量。
3， 将d对象指向分配的内存空间（执行完这步 d就为非 null 了）。

但是在 JVM 的即时编译器中存在指令重排序的优化。也就是说上面的第二步和第三步的顺序是不能保证的，最终的执行顺序可能是 1-2-3 也可能是 1-3-2。如果是后者，则在 3 执行完毕、2 未执行之前，被线程二抢占了，这时 instance 已经是非 null 了（但却没有初始化），所以线程二会直接返回 instance，然后使用，但是由于它并未初始化，所以就可能发生错误。

此例中，synchronized关键字已经解决了原子性问题。同时也解决了可见性问题，因为synchronized能保证同一时刻只有一个线程获取锁然后执行同步代码，并且在释放锁之前会将对变量的修改刷新到主存当中。

然而有序性问题并没有解决，所以，这就是在这里使用volatile的目的，即为了防止指令顺序的重排序。

另外，如果在JDK1.5之前这样用volatile的话，可能会出现异常结果。此前的JDK中即使将变量声明为volatile也不能完全避免重排序导致的问题（主要是volatile变量前后的代码仍然存在重排序问题）。

再看一个例子：

package com.lwc.test;import java.util.concurrent.CountDownLatch;public class Counter {    private static volatile int value;    private static CountDownLatch countDownLatch = new CountDownLatch(10000);    public static void main(String[] args) throws Exception{        for (int i=0;i<10000;i++){            new Thread(){                @Override                public void run() {                    increment();                    countDownLatch.countDown();                }            } .start();        }        countDownLatch.await();        System.out.println(getValue());    }    public static int increment(){        return value ++;    }    public static int getValue(){        return value;    }}

输出：可能是10000,也可能是小于10000的数，同样是因为volatile不能保证原子性（value ++并不是原子性操作，所以会出现两个线程同时取得了相同的value值，然后分别+1，然后各自写入内存，结果value只增加了1的情况）。

更详细的解释，可以参考前人总结：
http://www.cnblogs.com/dolphin0520/p/3920373.html