多线程编程之指令重排与屏障

为了提供程序执行的效率，编译器和处理器对程序实际执行的过程进行了一系列的优化，从而大大地提高了性能，但是也因此引入了一些问题。

一、编译器和处理器

1. 编译器的代码优化

编译器为了提升程序的性能，在编译阶段会对程序员编写的源代码进行分析和优化，比如，

// 程序员编写的代码
static bool flag = false;
void f(){
   
  while(!flag){
   ...};
}

// 经过编译器优化后
static bool flag = false;
void f(){
   
  if(!flag){
   
    while(1){
   ...}; 
  }
}

在程序是单线程运行时，编译器的优化是正确的，但是如果有其他线程修改了flag的值，会导致执行f()的线程无法正确地读到flag的值，从而产生了错误的结果。

2. 处理器的指令优化

处理器会将编译后的指令通过电路进一步变为μops，并且每个μops具有fetch/issue/execute/commit四个阶段，为了提升指令执行的效率，处理器把 没有依赖关系 的指令调整顺序执行，以最大化地并行所有指令。
如下图，指令2依赖于指令1的结果，但是指令3、4与指令1、2没有依赖关系，所以处理器有可能会将指令3、4提前到指令2之前执行，以提高处理器的使用率，减少4个指令占用的处理器资源。

但是这将会产生某些在代码编写时未预见的结果，比如两个线程并发地分别执行f1和f2，

int x = 0