volatile型变量

        首先需要介绍Java的内存模型，Java内存模型的主要目的是定义程序中各种变量的访问规则，即关注在虚拟机中把变量值存储到内存和从内存中取出变量值这样的底层细节。这里的变量包括实例字段、静态字段、构成数组对象的元素，但不包括线程私有的局部变量与方法参数。需要注意，如果一个局部变量是一个reference类型，即引用类型变量，它引用的对象在java堆中可以被各个线程共享，但reference本身是在java栈的局部变量表中，是线程私有的。

        Java内存模型规定了以上提到的变量都存储在主内存中，此处主内存物理上是JVM内存的一部分。 每个线程还有自己的工作内存，工作内存可以与处理器高速缓存类别。

        处理器的高速缓存很好地解决了处理器与内存之间的速度矛盾，计算机系统通常将运算需要使用的数据复制到缓存中，让运算能快速运行，当运算结束后再从缓存同步回内存中，这样处理器就无需等待缓慢的内存读写了。基于高速缓存的存储交互很好地解决了处理器与内存间的速度矛盾，但也引入的新问题：缓存一致性。比如，一个多处理器系统中，每个处理器都有自己的高速缓存，倘若他们共享同一主存，当多个处理器的运算任务涉及同一块主存区域，将可能导致各自的缓存数据不一致的问题，为此，各个处理器访问缓存时都要遵循一些协议。

        为了获取更好的运算速度，虚拟机可能会让工作内存优先存储于寄存器和高速缓存中，因为线程运行时主要访问的是工作内存。线程的工作内存中保存这被该线程使用的变量的主内存副本，线程对变量的所有操作（读取、赋值等）都必须在工作内存中进行，而不能直接读写主内存中的数据，比如某个线程修改一个对象的某个属性，需要将属性值从主内存中读入（read字节码指令）工作内存再进行修改，最后写回主内存(write字节码指令)，若不写回主内存，修改的值对于其他线程是不可见的，“可见性”是指当一个线程修改了这个变量的值，新值对于其他线程来说可以立即得知。不同的线程之间也无法直接访问对方的工作内存中的变量，线程间的