数据冒险与数据相关

相关是程序中的一种属性，某种给定相关是否会导致检测到实际冒险，这一冒险又是否会实际导致停顿，这都属于流水线结构的性质——计算机体系结构第五版 p112

三种冒险

在计算机体系结构当中，五级流水线当中有三种冒险

1 控制冒险：现在应该执行哪条指令由上面的指令执行结果才能得出，现在PC中的值并不一定正确。
2 数据冒险：现在需要的数据其结果来源于之前指令，而前面的指令还未将结果给出。
3 结构冒险：现在需要的资源正在被占用。也就是说因为计算机本身硬件不够而导致的
这里主要说明一下控制冒险与数据冒险的区别。控制冒险是针对于PC而言的，而数据冒险主要针对于寄存器。

数据冒险的例子（RAW）

控制冒险示例：

sub $r0, $t1, $t2
beq $r0, $zero, Exit

这里就存在控制冒险

关于数据冒险的三种类型RAW、WAW、WAR具体可查看Data Hazard Classification写的很详细

对其中举的WAR例子的解释

sw r1, 0(r2)
add r2, r3, r4

这个的确是一个WAR的例子，sw是我要读取r2中的地址，根据这个地址读取对应存储器的位置，再把r1存到这个地方，所以sw是在读取r2

数据相关

对于数据相关，体系结构中给的定义——如果下面任一条件成立，则说指令j先相于指令i

• 指令i生成的结果可能被指令j用到
• j相关于k，k相关于i

我的理解就是数据冒险的那三种类型，我觉得对数据相关与数据冒险的联系与区别很重要就是对文章开头摘录的那句话的理解。
存在数据相关如

add r1, r2, r3
sub r1, r5, r6

当然这也是一个WAW的数据冒险，但不会造成流水线暂停，因为并不会产生真正的数据冲突。