关于Java里面volatile关键字的重排序
Java里面volatile关键字主要有两个作用：
（1）可见性
（2）禁止指令重排序
第一条可见性比较容易理解，就是使用volatile修饰的共享变量，如果有一个线程修改了值，其他的线程里面是立即可见的。原理是对volatile变量的读写，都会强制线程操作从主内存。
第二条禁止指令重排序，能够保证局部的代码执行的顺序。假设我们现在有如下的一段代码：
int a=2;
int b=1;从顺序上看a应该先执行，而b会后执行，但实际上却不一定是，因为cpu执行程序的时候，为了提高运算效率，所有的指令都是并发的乱序执行，如果a和b两个变量之间没有任何依赖关系，那么有可能是b先执行，而a后执行，因为不存在依赖关系，所以谁先谁后并不影响程序最终的结果。这就是所谓的指令重排序。 ok，接着我们继续分析下面稍加改动后的代码：
int a=2;
int b=1;
int c=a+b;这段代码里，不管a和b如何乱序执行，c的结果都是3，因为c变量依赖a和b变量，所以c变量是不会重排序到a或者b之前，a和b也不会重排到c之后，这其实是由happens-before关系里面的单线程下的as-if-serial语义限制的。
这里面还有一种特殊情况，需要注意一下：
int a = 1;
int b = 2;
try {
a = 3; //A
b = 1 / 0; //B
} catch (Exception e) {
} finally {
System.out.println("a = " + a);
}上面的例子中a和b变量，虽然没有依赖关系，但是在try-catch块里面发生了重排，b先执行，然后发生了异常，那么a的值最终还是3，由JVM保证在重排序发生异常的时候，在catch块里面作相关的特殊处理。这一点需要注意。
在单线程环境下，指令重排序是不会影响程序的最终执行结果的，但是重排序如果发生多线程环境下，就有可能影响程序正常执行，看下面的代码：
public class ReorderDemo1 {
private int count=2;
private boolean flag=false;
private volatile boolean sync=false;
public void write1() {
count=10;
flag=true;//没有volatile修饰，实际执行顺序，有可能是flag=true先执行
}
public void read1() {
if(flag){
System.out.print(count); // 有些jvm会打印10，有些jvm会打印2，这是不确定的
}
}
public void write2() {
count=10;
sync=true;// 由于出现了volatile，所以这里禁止重排序
}
public void read2() {
if(sync){
System.out.print(count); // 在jdk5之后，由volatile保证，count的值总是等于10
}
}
public static void main(String[] args) {
for(int i=0;i<300;i++){
//实例化变量
ReorderDemo1 reorderDemo1=new ReorderDemo1();
//写线程
Thread t1=new Thread(()-> { reorderDemo1.write1();});
//读线程
Thread t2=new Thread(()-> { reorderDemo1.read1(); });
t1.start();
t2.start();
}
}
}上面的代码里面，有三个成员变量，其中最后一个是用volatile修饰的，有2对方法：
第一对方法里面：
private int count=2;
private boolean flag=false;
private volatile boolean sync=false;
public void write1() {
count=10;
flag=true;//没有volatile修饰，实际执行顺序，有可能是flag=true先执行
}
public void read1() {
if(flag){
System.out.print(count); // 有些jvm会打印10，有些jvm会打印2，这是不确定的
}
}上面的代码，由于指令会重排序，当线程一里面执行write1方法的flag=true的时候，同时线程2执行了read1方法，那么count的值是不确定的，可能是10，也可能是2，这个其实和操作系统有很大关系，如果cpu不支持指令重排，那么就不会出现问题，比如在X86的CPU上运行代码测试，可能不会出现多个值，但这不能说明其他的操作系统也不会出现。指令重排序在多线程环境下会带来不确定性，想要正确的使用，需要理解JMM内存模型。
第二对方法里面：
private int count=2;
private boolean flag=false;
private volatile boolean sync=false;
public void write2() {
count=10;
sync=true;// 由于出现了volatile，所以这里禁止重排序
}
public void read2() {
if(sync){
System.out.print(count); // 在jdk5之后，由volatile保证，count的值总是等于10
}
}注意这里的sync变量是加了volatile修饰，意味着禁止了重排序，第一个线程调用write2方法时候，同样第二个线程在调用read2方法时候，如果sync=true，那么count的值一定是10，有朋友可能会说count变量没有用volatile修饰啊，如何保证100%可见性呢？ 确实在jdk5之前volatile关键字确实存在这种问题，必须都得加volatile修饰，但是在jdk5及以后修复了这个问题，也就是在jsr133里面增强了volatile关键字的语义，volatile变量本身可以看成是一个栅栏，能够保证在其前后的变量也具有volatile语义，同时由于volatile的出现禁止了重排序，所以在多线程下仍然可以得到正确的结果。
总结：
在Java里面除了volatile有禁止重排序的功能，内置锁synchronized和并发包的Lock也都有同样的语义。同步手段解决的主要问题是要保证代码执行的原子性，有序性，可见性。内置锁和J.U.C的锁同时具有这三种功能，而volatile不能保证原子性，所以在必要的时候还需要配合锁一起使用，才能编写出正确的多线程应用。
jsr133详细介绍：http://www.cs.umd.edu/~pugh/java/memoryModel/jsr-133-faq.html#volatile