当我们写一个单线程程序时,总以为计算机会一行行地运行代码,然而事实并非如此。

什么是重排序?

重排序指的是编译器、处理器在不改变程序执行结果的前提下,重新排列指令的执行顺序,以达到最佳的运行效率。

重排序分类

重排序分为:编译器重排序 和 处理器重排序。

数据依赖

编译器和处理器并不会随意的改变指令的执行顺序,因为有些指令之间是有依赖关系的,若改变了他们的执行顺序,就会出现错误的结果。
因此,编译器和处理器只会对没有依赖关系的指令进行重排序。

数据依赖:若相邻的两条指令访问同一个变量,并且其中有一条指令执行写操作,那么这样的两条指令之间存在数据依赖。对于有数据依赖关系的指令,不会发生重排序。

数据依赖关系总结一下为以下三种情况:

读后写a=b;b=1;
写后写a=1;a=2;
写后读a=1;b=a;

as-if-serial

在单线程开发中,程序员不需要知道指令是如何重排序的,只要简单地认为指令是按照顺序依次执行的即可。这就是as-if-serial的语义,即:貌似是串行的。

04-25 23:18