处理器中的几种hazard

什么是hazard?

• Instructions interact with each other in pipeline ;

Structural Hazard

原因：

• An instruction in the pipeline may need a resource being used by another instruction in the pipeline ;
• Structural hazard occurs when two instructions need same hardware resource at same time
• 因缺乏硬件支持而导致指令不能在预定的时钟周期内执行的情况。

实例：

    例子1：存储器发生结构冒险（存、取冲突）

• 
• 假设图4-27 的流水线结构只有一个存储器而不是两个存储器,那么如果有第四条指令的话,第一条指令在访问存储器的同时第四条指令将会在同一存储器中预取指令,流水线就会发生结构冒险。
• 这种解决方式，是stall older instruction;
• 

   例子2：寄存器发生结构冒险（读、写冲突）

• 
• 如图所示，读寄存器和写寄存器同时发生，产生结构冒险。
• 

如何解决：

• Can resolve in hardware by stalling newer instruction till older instruction finished with resource
• A structural hazard can always be avoided by adding more hardware to design；
  • E.g., if two instructions both need a port to memory at same time, could avoid hazard by adding second port to memory；
  • 
  • 
• 感觉还有另外一种，是通过编译器解决的，就是编译器通过分析，将调整顺序不影响执行结果的指令，如果存在结构冒险，则通过调整顺序的方式，将这种结构冒险给消除掉；

Data Hazard

原因：

• An instruction may depend on something produced by an earlier instruction；
  • Dependence for a data value；
• 发生在由于一条指令必须等待另一条指令的完成而造成流水线暂停的情况下。
• 这种hazard总结起来，就是说：无法提供指令所需数据；
  • 即一条指令的执行需要等待另一条指令执行完成后所产生的数据。

实例：

• 上例中解决方式一：bubbles

• 上例中解决方式二：bypass

如何解决：

• Interlock
  • Wait for hazard to clear by holding dependent instruction in issue stage；
  • 
• Bypass
  • Resolve hazard earlier by bypassing value as soon as available；
  • 
  • 
  • 
• Speculate
  • Guess on value, correct if wrong；
  • So far, only effective in certain limited cases:
    • Branch prediction
    • Stack pointer updates
    • Memory address disambiguation

Control Hazard

原因：

• An instruction may depend on something produced by an earlier instruction；
  • Dependence may be for the next instruction’s address(branches, exceptions);
• 决策依赖于一条指令的结果，而其他指令正在执行中。比如说分支跳转指令，必须等ALU给出结果后才知道该跳转到哪一条语句。
• 因为取到的指令并不是所需要的（或者说指令地址的变化并不是流水线所预期的)而导致指令不能在预定的时钟周期内执行。

实例一：

实例二：What do we need to calculate next PC?

• 对于Unconditional Jumps类型的指令
  • Opcode, PC, and offset
• 对于For Jump Register类型的指令
  • Opcode, Register value, and offset
• 对于Conditional Branches类型的指令
  • Opcode, Register (for condition), PC and offset
• 对于all other instructions
  • Opcode and PC ( and have to know it’s not one of above )
• 

如何解决：

• 加入delay slot；
  • 
  • 如果不能在第二级解决分支问题(这种情况在较长的流水线中经常发生),那么分支结构上的阻塞将导致更大的速度下降。对很多计算机来说,这种阻塞的方法代价太大,因此也就产生了另外一种消除控制冒险的方法；
• 预测
  • 总是预测发生；
  • 或者是分支预测；
  • 这里参考分支预测器的原理和实现；