java中的volatile关键字

含义

Java语言是支持多线程的，为了解决线程并发的问题，在语言内部引入了同步块和volatile关键字机制。

synchronized

所有加上synchronized的方法和块语句，在多线程访问的时候，同一时刻只能有一个线程能够用

synchronized修饰的方法或者代码块。

并发编程的三个问题

1.原子性:即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断，
要么就都不执行。

    Java内存模型只保证了基本读取和赋值是原子性操作，如果要实现更大范围操作的原子性，
    可以通过synchronized和Lock来实现。由于synchronized和Lock能够保证任一时刻只有一个
线程执行该代码块，那么自然就不存在原子性问题了，从而保证了原子性。

2.可见性:指当多个线程访问同一个变量时，一个线程修改了这个变量的值，其他线程能
够立即看得到修改的值。

    对于可见性，Java提供了volatile关键字来保证可见性。
　　当一个共享变量被volatile修饰时，它会保证修改的值会立即被更新到主存，
当有其他线程需要读取时，它会去内存中读取新值。

　　而普通的共享变量不能保证可见性，因为普通共享变量被修改之后，什么时候被写入主存是不确定的，当其他线程去读取时，此时内存中可能还是原来的旧值，因此无法保证可见性。

　　另外，通过synchronized和Lock也能够保证可见性，synchronized和Lock能保证同一时刻
只有一个线程获取锁然后执行同步代码，并且在释放锁之前会将对变量的修改刷新到主存当中。因此
可以保证可见性。

3.有序性：即程序执行的顺序按照代码的先后顺序执行。

在Java里面，可以通过volatile关键字来保证一定的“有序性”。另外可以通过synchronized
和Lock来保证有序性，很显然，synchronized和Lock保证每个时刻是有一个线程执行同步代码，
相当于是让线程顺序执行同步代码，自然就保证了有序性。

分析

    java内存中一个内存区域是jvm虚拟机栈，每一个线程运行时都有一个
线程栈，线程栈保存了线程运行时候变量值信息。当线程访问某一个
对象时候值的时候，首先通过对象的引用找到对应在堆内存的变量的值，
然后把堆内存变量的具体值load到线程本地内存中，建立一个变量副本，
之后线程就不再和对象在堆内存变量值有任何关系，而是直接修改副本变量的值。
    在修改完之后的某一个时刻（线程退出之前），自动把线程变量副本的值回写到对象在堆中变量。这样在堆中的对象的值就产生变化了。

read and load 从主存复制变量到当前工作内存
use and assign  执行代码，改变共享变量值 
store and write 用工作内存数据刷新主存相关内容
其中use and assign 可以多次出现
但是这一些操作并不是原子性，也就是 在read load之后，如果主内存count变量发生修改之后，线程工作内存中的值由于已经加载，不会产生对应的变化，所以计算出来的结果会和预期不一样。
对于volatile修饰的变量，jvm虚拟机只是保证从主内存加载到线程工作内存的值是最新的。

voliate 关键字场景

使用volatile必须具备以下2个条件：
　　1）对变量的写操作不依赖于当前值
　　2）该变量没有包含在具有其他变量的不变式中

参考

http://blog.csdn.net/eff666/article/details/67640648
http://www.cnblogs.com/dolphin0520/p/3920373.html
http://www.cnblogs.com/aigongsi/archive/2012/04/01/2429166.html
http://www.infoq.com/cn/articles/java-memory-model-4/