单线程的as-if-serial语义

单线程的as-if-serial语义

关于指令重排序有个问题不明白的一个问题

int a = 2;
int c = 1 + a;
float b = 3f / 2f;

1. 举个栗子，从CPU的设计者以及编译器的设计者角度来看，上面第3行代码完全可以放到第1行代码之前运行，且不会影响程序的正确性（as-if-serial）。

2. float b = 3f / 2f; 从处理器的角度来看，如果当前处理器在执行第2行代码（CPU处于占用状态），而接下来这第3行代码的运算完全可以交给FPU（FPU处于空闲状态），那么何乐而不为 先把第3行代码提交给FPU（浮点运算器）去执行呢，反正结果出来之后，并不会影响程序的正确性，而且相比一行一行运行代码，闲置的FPU 提前加入运算工作可以明显减少程序运行的总时间，因为FPU跟CPU可以并行。

3. 从多线程的角度来看，下面这行代码就会存疑，因为单线程的as-if-serial 在多线程下运行的时候就会产生意想不到的错误。

if (b == (3f/2f)){
      assert c==3;
}