以下内容摘自《步步惊芯——软核处理器内部设计分析》一书
为了便于说明,在进行具体指令分析之前,给出在异常处理类指令执行过程中涉及到的主要模块连接关系,如图7.1所示,图中的大部分模块在前几章分析指令的时候都有所涉及。但在本章会使用不同的输入输出接口。该图仍然采用模块左边是输入接口,右边是输出接口的绘制方式,这样做的好处是一目了然知道哪些接口是输入,哪些接口是输出。
图7.1 异常处理过程涉及到的主要模块的局部连接关系
新增加的模块有lsu、exception,其中exception模块虽然在第6章有所涉及,但只是使用了其中一小部分功能,所以也将其算作新增加的模块。lsu模块主要用在加载/存储数据过程中。exception模块从名字上也可以知道该模块主要用在异常处理,实际上exception模块是异常处理的关键模块,因此本节将提前对其进行说明,以便读者朋友能够对其在异常处理类指令执行过程中的作用有一个大概了解。
从图7.1中观察exception的输入接口,发现有很多接口名称是以“sig_”开始的,这些都是异常声明信号,当异常发生时,相应的信号置为1,比如:计时器中断异常发生时,exception的输入sig_tick就为1。exception有很多异常声明信号,来自不同的功能模块,从信号名称上就可以知道该信号代表的是哪种异常。lsu模块主要是加载/存储数据,所以其可能产生的异常就是:对齐异常、dtlb失靶、数据页失效、数据总线错误,相应的exception输入接口分别是sig_align、sig_dtlbmiss、sig_dmmufault、sig_dbuserr。if模块主要是取指,所以其可能产生的异常就是:itlb失靶、指令页失效、指令总线错误,相应的exception输入接口分别是sig_itlbmiss、sig_immufault、sig_ibuserr。
exception模块收到异常声明信号后,会进入异常处理过程,输出一系列的控制信号,这一系列控制信号除了完成在7.2节中提到的设置epcr、eear、保存sr、设置新的sr、跳转到异常处理例程等工作外,还有一项很重要的工作——清空流水线,比如:处理器在指令l.sys进入流水线的执行阶段时才会知道这是一个系统调用异常,但此时在流水线上已经有了其余的指令位于译码、取指阶段,所以处理器必须要清空流水线。以下摘要exception模块中的主要代码,可以清晰的明白exception的工作过程。
exception模块的代码还有很多,上面只是其中一部分,而且对这一部分笔者也没有做详细的解释,因为此处给出代码的目的是为了读者朋友对异常处理的步骤有一个全局性的认识,在后面分析具体指令的时候还会详细解释。从代码中可以明白变量except_trig收集各种异常信号,当其不为0时就表示有异常发生,然后会设置except_flushpipe,该值为1时就会进入异常处理过程,从这个变量的名称也可以知道异常处理过程中需要刷新流水线(flushpipe)。从exception模块的代码中还可以发现异常处理过程使用了一个有限状态机,其状态转移如图7.2所示。
图7.2 异常处理过程状态转移图(米里型)
共有六个状态,一般情况下处于or1200_exceptfsm_idle状态(以下对所有的状态都只使用状态名的最后一个单词表示,例如or1200_exceptfsm_idle就简称为idle状态),说明如下:
在idle状态,当except_flushpipe为1时,表示异常发生,开始异常处理过程,会依据异常类型设置except_type的值,同时设置epcr、esr的值,进入flu1状态,需要注意的是使用指令l.mtspr写npc寄存器也会进入flu1状态(此时pc_we为1),因为一旦写了npc寄存器,那么同样需要刷新流水线
在flu1状态下,当icpu_ack_i、icpu_err_i、genpc_freeze其中有一个为1时会进入flu2状态
在flu2状态下,如果异常类型是自陷异常,那么会直接回到idle状态,表示异常处理结束,反之进入flu3状态
在flu3状态下,会在下一个时钟周期直接进入flu4
在flu4状态下,设置extend_flush、extend_flush_last为0,进入下一状态flu5
在flu5状态下,当if_stall、id_freeze都为0时,会回到idle状态,异常处理过程结束