对于Dest = Srel op Src2这样的指令来说,寄存器重命名的过程如下。
(1) 从重命名映射表(RAT)中找到Srcl和Src2对应的物理寄存器Psrcl和Psrc2;
(这里会不会存在找不到的场景?一定会先load再使用?
----不会,因为cpu一复位,就会有一个默认的映射关系,比如,x0->p0, x1->p1, x2->p2....., 此时,如果src1, src2进来,是可以找到对应的关系的)

(2) 从空闲列表(free list)中找到一个空闲的物理寄存器Pdest,将其作为指令的目的寄存器Dest对应的物理寄存器;

(3)将逻辑寄存器Dest和物理寄存器Pdest 的映射关系写到重命名映射表(RAT)中,这样在之后使用Dest作为源寄存器的指令就可以查找到这个映射关系了;

指令相关性对重命名的影响

存在如下相关性:RAW,WAW,WAR;
不存在相关性时
- 源寄存器:从RAT中找对应的物理寄存器;
- 目的寄存器:
- 从RAT中找之前的映射关系;
- 从free list中,找空闲的物理寄存器编号;
- 将最新的映射关系,写入RAT中;
解决RAW相关性

- 如图,对于R5=R6XR1, R1查询RAT结果为P25;
- 本时钟周期内,R1又被重新分配到P31;
- 此时,不能使用P25,应该使用P31;
- 因此,需要有一种检查机制,专门对一个周期内,重命名的所有指令进行RAW相关性检查;
- 重命名阶段,指令仍然是in-order的,因此只需要将每条指令的源寄存器标号,与之前指令的目的寄存器编号进行比较即可;
解决WAW相关性
分为两部分,需要对RAT和ROB的写入过程进行处理;
- 写RAT进行检查
- 规则:只有最新的那条指令的映射关系,才允许写入到RAT;
- 实现:对一个周期内进行rename的所有指令,进行WAW相关性检查

- 对于每条指令来说,都要将它的目的寄存器和后面所有指令的目的寄存器进行比较,如果发现存在相等的情况,则说明本条指令不应该更新RAT,通过这种方法就可以完成WAW相关性的检查。
- 写ROB进行检查
- 规则:如果有WAW相关,那么新指令对应的旧的物理寄存器,不再是RAT中查询得到的,而是来自于旧的指令;

- 第一条指令(inst0)之前已经没有指令,所以这条指令对应的旧的映射关系只能是来自于 RAT;
- 第二条指令(inst1)的目的寄存器(dst1)需要和它之前的目的寄存器(dst0)进行比较,如果相等,则这个目的寄存器对应的旧的物理寄存器不是来自于RAT输出的值,而是来自于它之前的指令中的目的寄存器(FLO);
- 第三条指令(inst2)的目的寄存器(dst2)需要和它之前的目的寄存器(dst0、dstl)进行比较,如果存在相等的情况,则这个目的寄存器对应的旧的物理寄存器不是来自于RAT输出的值,而是来自于它之前的指令中的某个目的寄存器(FLO或FL1);
- 最后一条指令(inst3)的目的寄存器(dst3)需要和它之前的所有目的寄存器(dst0、dstl、dst2)进行比较,如果存在相等的情况,则这个目的寄存器对应的旧的物理寄存器不是来自于RAT输出的值,而是来自于它之前的指令中的某个目的寄存器(FLO,FL1或FL2)。
需要考虑一个问题:同一个cycle, 需要对SRAM进行读写,如果地址相同怎么办?
- 在写优先(Write First)的模式中,写入到SRAM中某个地址的内容在写入完成后,可以马上在读端口被获得,也就是在当前周期就可以读取到刚才写入的内容;
- 而在读优先(Read First)的模式,写入到SRAM中某个地址的内容只有在下个周期才可以被读取,在当前周期读取这个地址的内容,只能读取到在本周期这个地址被写入之前的内容。
- 对于RAT来说,要选择读优先(Read First)的模式,这样即使在一个周期内对一个地址同时发生了读和写的操作,读操作仍能够得到写之前的内容,这对于指令的目的寄存器读取 RAT 来说是必需的,因为目的寄存器读取 RAT 的真正原因,就是为了获得这个目的寄存器之前对应的物理寄存器;
- 然而,对于源寄存器读取RAT来说,并不希望读取到旧的映射关系,而是希望得到最新的,因此,如果读取RAT的源寄存器和写入 RAT 的目的寄存器之间存在相等的情况,也就是存在先写后读(RAW)的相关性,那么源寄存器对应的物理寄存器应该是此时正在被写入到RAT当中的物理寄存器,这个需求在读优先(Read First)模式的SRAM中是无法满足的,需要使用之前讲述过的RAW相关性的检查和处理电路才可以得到上述的效果。
文章详细描述了CPU寄存器重命名过程,包括RAT查找、物理寄存器分配,以及RAW、WAW相关性的解决策略,强调了在处理指令相关性时RAT和ROB的操作规则,以及SRAM读写优先级对重命名的影响。
2575

被折叠的 条评论
为什么被折叠?



