並べ替えバッファが

Question

をコミット、私はROBのコミットを実行したまでは変更が行われていないことを理解しています。

機能ユニット（のFU）の結果は、上の彼らの結果は、共通データバス（CDB）を言うと実行が終了ROBにでき書き込みます。その後、ROBはブランチが正常に予測されたかどうかを判断し、そうでない場合はROBをフラッシュします。私は理解していない何

はのFUのCDB放送から来たリザベーションステーションの更新に何が起こるかである、彼らはフラッシュすべきではない/何とかロールバック？

私は

$ S3が0に初期化され

addi $s1, $zero, 8 
addi $s2, $zero, 9 

addi $s3, $zero, 0 
bneq $s1, $s2, L1 
addi $s3, $s3, 1  // first increment 
L1: 
addi $s3, $s3, 2  // second increment 

、 （おそらく最高ではない）と、その後の枝のミス予測が結果が1増加すると$ S3の原因となることができます例RSにブロードキャストされる。

$ s3は、2の2番目のインクリメントで実行を開始する準備ができています。同時に分岐ミス予測が検出され、ROBがフラッシュされますが、加算器のRSは変更されません。間違った価値を持ち、ROBにフラッシュされることはありませんでした。

これはどのように解決されますか？

私は修正しながら、私は卒業し、これを思い付いた、私は重要な何かをしないのです、私は非常に経験豊富ではないよと思われます。分岐が取られるように、$s3の更新（最初の増分）は、データをリオーダバッファにバッファリングされることを、実際のレジスタ$s3を更新しないであろうと予測される

Answer 1

。誤予測が検出されると、並べ替えバッファがフラッシュされます。とにかく私の知る限りでは、元のレジスタは分岐が解決されるまで更新されないため、並べ替えバッファが使用されます。私はそれを理解

Answer 2

として、少なくともIntelのCPU上で、ROBは、すべての飛行中に実行するために待機しているRSに残っているものも含めて、パイプラインのアウトオブオーダー一部の内部命令を追跡します。命令がコアのアウト・オブ・オーダー・パートに発行されると、ROBとRSの両方に命令が追加されます。

私はこのデザインがほぼ普遍的だと思います。あなたは何とか投機的であるすべての命令を追跡できる必要があることは間違いありません。

---

また、すべての命令がはされて誤推測する必要がフラッシュされていることが発見さ命令に依存していること。あなたが説明するようにROB全体をフラッシュし、最後の非投機的な状態に戻すことは確かに簡単です。

したがって、2番目の追加がまだ実行される必要があるにもかかわらず、誤った推測はその入力が間違っている可能性があることを意味します。それで、あなたが話している問題を正確に避けるために、それを洗い流す必要があります。