Java指令重排序

  • Java内存模型允许编译器和处理器对指令重排序以提高性能，并且只会对不存在的数据依懒性的指令进行重排序。在单线程下进行重排序可以保证最终执行的结果与程序顺序执行的结果一致。但是在多线程下就会存在问题：下面看一个例子：

    int a=1;
int b=2;
int c=a+b;

  • 下面看一个多线程例子:

    package com.heiye.learn2;

public class ReadThread extends Thread {

    private static int num=0;
    private static boolean ready=false;

    @Override
    public void run() {
        while (!Thread.currentThread().isInterrupted()) {
            if (ready) {
                System.out.println(num + num);
            }

            System.out.println("read thread...");
        }
    }

    static class WriteThread extends Thread{
        @Override
        public void run() {
            num=2;
            ready=true;
            System.out.println("writeThread set over...");
        }
    }

    public static void main(String[] args) throws InterruptedException {
        ReadThread rt=new ReadThread();
        rt.start();
        WriteThread wt=new WriteThread();
        wt.start();
        Thread.sleep(10);
        rt.interrupt();
        System.out.println("main exit");
    }

}

    首先这段代码里面的变量没有被声明为volatile的，也没有使用适合同步措施，所以在多线程下存在共共享变量可见性问题，这里先不谈内存可见性问题，因为通过把变量声明为volatile的本身就可以避免指令重排问题。

  • 重排序在多线程下会导致非预期的程序执行结果，而是用volatile修饰变量就可以避免排序以及内存可见性问题。写volatile变量的时候，可以确保volatile写之前的操作不会被编译器重新排序到写之后，读volatile变量时，可以确保volatile读之后的操作不会被编译器重新排序到volatile读之前。