您好，問題如下:
Instruction sequence
1. add $1, $5, $3
2. sw $1, 0($2)
3. lw $1, 4($2)
4. add $5, $5, $1
5. sw $1, 0($2)
所以上列的程式碼有Data hazard指令間為(1, 2)、(3, 4)、(3, 5)。
其中(3, 4)指令之間為load-use hazard。
(lw指令的"下一個指令"需要"lw指令寫入的暫存器value")
假設Machine是
5-stage pipeline with forwarding unit 和 hazard detection unit
根據課本上面的Forwarding中EX HAZARD偵測碼如下:
if(EX/MEM.RegWrite
and (EX/MEM.RegRd != 0)
and (EX/MEM.RegRd = ID/EX.RegRs)) Forward_A = 10;
if(EX/MEM.RegWrite
and (EX/MEM.RegRd != 0)
and (EX/MEM.RegRd = ID/EX.RegRt)) Forward_B = 10;
根據課本上面的Forwarding中MEM HAZARD偵測碼如下:
if(MEM/WB.RegWrite
and (MEM/WB.RegRd != 0)
and not (EX/MEM.RegWrite and (EX/MEM.RegRd != 0)
and (EX/MEM.RegRd = ID/EX.RegRs)) // NOT EX_HAZARD
and (MEM/WB.RegRd = ID/EX.RegRs)) Forward_A = 01;
if(MEM/WB.RegWrite
and (MEM/WB.RegRd != 0)
and not (EX/MEM.RegWrite and (EX/MEM.RegRd != 0)
and (EX/MEM.RegRd = ID/EX.RegRs)) // NOT EX_HAZARD
and (MEM/WB.RegRd = ID/EX.RegRt)) Forward_B = 01;
// Forward_A是ALU輸入Rs的選擇多工器
// Forward_B是ALU輸入Rt的選擇多工器
圖示:
https://imgur.com/a/cdtXdvS
Instruction sequence
1. add $1, $5, $3
2. sw $1, 0($2) # $1需要add的計算結果
3. lw $1, 4($2)
4. add $5, $5, $1 # $1需要lw的載入結果
5. sw $1, 0($2) # $1需要lw的載入結果
依照上面程式碼畫出
(第4個clock)
IF || ID || EX || MEM || WB
add || lw || sw || add ||
根據上面的EX HAZARD程式碼
第一個指令add會forward計算結果給sw，
所以Forward_A = 00(default) Forward_B = 10。
(第5個clock)
IF || ID || EX || MEM || WB
sw || add || lw || sw || add
根據上面的EX HAZARD程式碼
第二個sw指令不會forward計算結果給sw，
沒有data dependency而且sw的RegWrite = 0。
根據上面的MEM HAZARD程式碼
第一個指令add會forward計算結果給lw，
所以Forwarding_A = 00(default) Forward_B = 01。
問題就來了。
第一個指令add和第三個指令lw沒有data hazard，
可是根據程式碼Forwarding Unit卻作用了。
我在想是我想錯了嗎? 想問一下大家的想法。
更新一下:
我在stackflow找到這圖片。
https://image.ibb.co/dneMhv/obrazek.png
Forwarding unit中Rt的MUX後面再一層ALUSrc Mux。
所以意思是說Forwarding Unit依樣照跑，
反正前面的ALUSrc的MUX會選擇immediate16(4)的輸入，
lw $1, 4($2) 中的immediate16 == 4。
這個說法應該可以解釋了嗎[email protected]@再問一下意見