为了提供程序执行的效率,编译器和处理器对程序实际执行的过程进行了一系列的优化,从而大大地提高了性能,但是也因此引入了一些问题。
一、编译器和处理器
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;
int