多线程(七):并发编程的三大特性之有序性

单线程是存在乱序的

int x = 1;
int y = 2;

大家来看两行代码，思考：上面一定会按照从上到下的顺序执行吗？

答案是：不一定，原因下面再说。

再来看一个小demo：

public class Demo01 {

    private static int x = 0,y = 0;
    private static int a = 0,b = 0;

    public static void main(String[] args) throws InterruptedException {

        for(long i = 0; i<Long.MAX_VALUE;i++){
            x = 0;
            y = 0;
            a = 0;
            b = 0;
            CountDownLatch cd = new CountDownLatch(2);

            Thread one = new Thread(new Runnable() {
                @Override
                public void run() {
                    a = 1;
                    x = b;
                    cd.countDown();
                }
            });

            Thread two = new Thread(new Runnable() {
                @Override
                public void run() {
                    b = 1;
                    y = a;
                    cd.countDown();
                }
            });

            one.start();
            two.start();
            cd.await();
            String result = "第"+i+"次"+"("+x+")"+","+"("+y+")";
            if(x==0 && y==0){
                System.out.println(result);
                break;
            }
        }
    }
}

思考：以上代码会打印result并终止循环吗？

运行一下发现会打印并终止循环

 如果按照顺序执行的话，是不可能打印result并终止循环的，只有两种情况，才会打印result。

1.先执行x=b,y=a,a=1,b=1

2.先执行y=a,x=b,b=1,a=1

只有先执行x=b,y=a之后，再给a和b赋值，才会打印result

得出结论：说明以上代码不一定是按照顺序执行的。当然这种概率出现的并不高。

原因是每条语句在底层都是好几条汇编指令，比如说a=1在底层是好几条汇编指令，x=b在底层是好几条汇编指令。只有在x=b的几条汇编指令全部跑在a=1的汇编指令前面，才会发生乱序的现象，所以这种概率并不高。

那为什么会存在乱序这种现象呢？

简单来说就是为了提高效率。大家看张图

 cpu现在要执行两条指令，指令1去内存读数据，指令2对一个变量进行++的操作。我们大家要知道，cpu的执行效率大概是内存的100倍。大家想一下，如果一定是按照顺序执行的话，必须等指令1返回之后在执行指令2。这样就必须等待内存返回，效率是不是会慢呢？答案是会的。就好比我们现在要做饭，做饭要烧水，洗菜，切菜。烧水就必须等水烧开之后在洗菜切菜吗？这样是不是太浪费时间了呢？我们可以在等待水烧开的时间洗菜切菜。这两我们的效率就快了。

结论：从底层来讲，cpu为了提高效率进行的一个优化机制。所以才有乱序这件事情存在。当然乱序这件事情也不是随随便便存在，如果指令2是要用指令1从内存中读出来的这个数据，比如:指令1读出来数据之后指令2在对这个数据进行递增，那这个时候这两条指令的顺序就不可以交换。所以，前后两条指令没有依赖关系的时候，这两条语句有可能会换顺序。

乱序的原则：在不影响单线程的最终一致性的情况下，有可能发生乱序。

比如说 int x=1，int y=1这两个操作不会影响单线程的最终一致性，所以可能发生乱序。

比如说int x=1，x++这两个操作，就不可能乱序，因为如果先执行x++这个操作在会报错，影响到了单线程的最终一致性，所以这两个操作就不可能乱序。