自己动手写CPU之第五阶段（1）——流水线数据相关问题

将陆续上传本人写的新书《自己动手写CPU》（尚未出版），今天是第15篇，我尽量每周四篇

      上一章建立了原始的OpenMIPS五级流水线结构，但是只实现了一条ori指令，从本章开始，将逐步完善。本章首先讨论了流水线数据相关问题，然后修改OpenMIPS以解决该问题，并在5.3节验证了解决效果。接着对逻辑、移位操作与空指令的指令格式、用法、作用进行了一一说明，在5.5节通过扩展OpenMIPS实现了这些指令，最后编写测试程序，对实现效果进行了检验。

5.1 流水线数据相关问题

      我们在第4章实现的五级流水线结构很简单，如果按照“简单即美（Simple is Beautiful）的标准，那么我们的流水线是美的，但是不完美，因为现实往往是复杂的，一个简单的流水线是解决不了如此多的现实问题的，本节探讨的数据相关问题就是其中一个问题。在我们实现逻辑、移位操作等其它指令之前，必须先讨论这个问题，因为这个问题已经影响到测试程序的编写了。

      流水线中经常有一些被称为“相关”的情况发生，它使得指令序列中下一条指令无法按照设计的时钟周期执行，这些“相关”会降低流水线的性能。流水线中的相关分为三种类型。

      （1）结构相关：指的是在指令执行的过程中，由于硬件资源满足不了指令执行的要求，发生硬件资源冲突而产生的相关。比如：指令和数据都共享一个存储器，在某个时钟周期，流水线既要完成某条指令对存储器中数据的访问操作，又要完成后续的取指令操作，这样就会发生存储器访问冲突，产生结构相关。

      （2）数据相关：指在流水线中执行的几条指令中，一条指令依赖于前面指令的执行结果。

      （3）控制相关：指流水线中的分支指令或者其他需要改写PC的指令造成的相关。

      结构相关、控制相关将在后续指令分析中讨论，本节重点讨论数据相关的问题。流水线数据相关又分为三种情况：RAW、WAR、WAW。

•  RAW：Read After Write，假设指令j是在指令i后面执行的指令，RAW表示指令i将数据写入寄存器后，指令j才能从这个寄存器读取数据。如果指令j在指令i写入寄存器前尝试读出该寄存器的内容，将得到不正确的数据。
•  WAR：Write After Read，假设指令<