多线程之volatile关键字

volatile的特性：
1.保证了变量在线程之间的可见性。
2.通过内存屏障阻止了指令重排。

分析
问题：多个线程获取同一个变量并改变值，怎么保证变量的值是最新的？
首先讲一下内存模型：java的内存模型分为3部分，线程的工作内存，主内存，他们之间的IO操作。
主内存有一个static变量a，线程1获取了这个变量，但是还没给他赋值，线程2就已经获取并且返回了新值，那么线程1返回的a会覆盖主内存的值，这不是我们想要的结果。而用volatile修饰 static int a, 它保证了a一旦变化就会立刻同步到主内存，其他线程就会获取到最新的值。这就是变量的可见性。

jvm在编译java代码或者cpu在执行jvm字节码的时候会对现有的指令顺序进行重新排序已优化效率。如果线程1中先定义一个变量，然后定义一个条件，这个条件是线程2判断是否引用线程1的变量，如果重排序，先定义了条件，那么线程2满足条件调用变量，然而此时线程1还没有定义这个变量，程序就会出错。这时候要用到内存屏障，它是一种CPU指令，它使CPU或编译器对屏障指令之前或之后发出的内存操作执行一个排序约束。volatile修饰的变量会在写操作之间加入一个storestore屏障，之后加入storeload屏障，在读操作之前加入loadload屏障，之后加入loadstore屏障，这样就保证了顺序。