单线程的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 提前加入运算工作可以明显减少程序运行的总时间。

单线程的as-if-serial语义

原文：https://www.cnblogs.com/richard-winters/p/14295949.html