《大话处理器》连载——微架构(14) 去伪相关——让伪军投诚

 

   什么名字前面加个伪总不太好，就像日伪军，虽然不是日本军，但是也是敌军，也需要被消灭。好在伪军很容易投诚，不像日军那样顽固，誓死效忠天皇。在指令相关中，数据相关就是日军，伪相关就是伪军，可以想办法让伪相关投诚，变成不相关。

数据相关和伪相关

   处理器的ISA寄存器数目通常较少，编译器在将程序中的变量映射到寄存器时，会导致多个变量对应同一个寄存器，这样即使是不相关的指令，也会使用同样的寄存器，导致了名字相关。知道了这个病根，我们就能对症下药，将ISA寄存器重新映射到处理器内部的物理寄存器，由于物理寄存器较多，相同的ISA寄存器可以映射到不同的物理寄存器，经过映射后，新的指令就能使用不同的物理寄存器，指令间的相关性也就消除了。

 

引起伪相关的原因以及解决方法举例

       在上面这个图中，2条语句C=A+B和F=D+E本来是不相关的，但是由于ISA寄存器太少，变量映射到同一个寄存器上，采用寄存器重命名，将ISA寄存器映射到新的物理寄存器上，这样新的指令就不再相关了。