如果我写的文章对你能有些许帮助,说明我做的事还算有点意义,欢迎留个赞哦~
有问题恳请指出,也欢迎探讨qq815506713
专栏其他文章链接:
从零开始写riscv处理器(零)写在前面
从零开始写riscv处理器(一)指令集
从零开始写riscv处理器(二)简单数据通路
从零开始写riscv处理器(三)全部指令数据通路
从零开始写riscv处理器(四)流水线结构
从零开始写riscv处理器(五)数据冒险:停顿与前递
从零开始写riscv处理器(六)控制冒险:流水线冲刷
从零开始写riscv处理器(七)cache基础
从零开始写riscv处理器(八)cache进阶
-----------------------------分割线-----------------------------
1. 控制冒险
1.1 定义
控制冒险:也叫分支冒险,决策依赖于一条指令的结果,而其他指令正在执行中。比如说分支跳转指令,必须等ALU给出结果后才知道该跳转到哪一条语句。
1.2 引例
![](https://i-blog.csdnimg.cn/blog_migrate/87edba6b4672e84290261e87eecb0f75.png)
按照已有的硬件设计,分支指令在EX阶段决定是否跳转,分支指令后续的两条指令都将被取值并且开始执行。如果不进行干预,这两条条后续指令会在 beq 指令跳转之前就开始执行,这样就是我们不期望的。
所以,在BEQ指令的EX阶段,后两条指令分别进入取指和译码阶段,如果要跳转,则需要将后两条指令清理掉,否则放任两条指令继续执行会改变寄存器的值从而导致错误的结果,这就是后面要讲的流水线冲刷机制。
2. 流水线冲刷
将前两级流水线寄存器冲刷掉可以通过插入nop指令(气泡)来实现,当BEQ指令的EX阶段判断要跳转时,给IF_ID、ID_EX流水线寄存器一个clear信号,使得它们在下一周期输出为0。同时,也要将ID_EX流水线寄存器中的控制信号清零。为便于理解,以下链接是流水线冲刷机制的动画示意图(求赞aaa)。
流水线冲刷机制动画_哔哩哔哩_bilibili
3. 流水线冲刷的硬件实现
3.1 多路选择器
为清除ID_EX阶段的控制信号,在控制信号的产生路径上添加一个二选一多选器如图所示,多选器选择信号为1时,多选器输出为0达到清除控制信号的目的。
![](https://i-blog.csdnimg.cn/blog_migrate/d8b6aa91b632be2da542d8a21571e549.png)
3.2 跳转控制单元
跳转控制单元输入为jump信号,即跳转指令发生信号;输出有PC_sel、IF_ID_clear、ID_EX_clear、Ctrl_clear,分别是PC跳转地址选择信号,IF_ID流水线寄存器清空信号、ID_EX流水线寄存器清空信号、主控单元清空信号。
![](https://i-blog.csdnimg.cn/blog_migrate/71ddec0e60f9d31b7abbe1e0cb4ceb08.png)
将这几个单元添加进已有的硬件架构中如下图所示:
![](https://i-blog.csdnimg.cn/blog_migrate/ccfad55c3f0e2f7ac063c517e8405b63.png)
至此,RISCV处理器核基础版本已全部实现,得到最终的硬件架构图如下图所示:
![](https://i-blog.csdnimg.cn/blog_migrate/ccfad55c3f0e2f7ac063c517e8405b63.png)
建议将代码搭配最终硬件架构图食用效果更佳hhh
终于整理得差不多了,挺累的,后续有空再继续更新…