1559 字
8 分钟
RISC-V异常处理机制

riscv 中断模式#

riscv 有三种中断模式:

M 模式S 模式
时钟中断CLINT 的计时器比较mip.STIP
软件中断CLINT 的寄存器mip.SSIP
外部中断PLIC 的中断线PLIC 的中断线或 mip.SEIP

CLINT#

一种较为简单的设备:

寄存器特征
mtime可读可写,以恒定速率增加
mtimecmp可读可写,当 mtime>=mtimecmp 时产生 M 模式中断
msip可读可写,写入 1 则触发 M 模式中断

PLIC#

当有多个设备同时发起外部中断,PLIC 负责从中选择一个,并通过 M 模式外部中断通知 CPU。

CPU 的异常处理过程:#

八个控制状态寄存器(CSR)是 M 模式下异常处理的必要部分:

简称全称作用
mtvecMachine Trap Vector它保存发生异常时处理器需要跳转到的地址。
mepcMachine Exception PC它指向发生异常的指令。
mcauseMachine Exception Cause它指示发生异常的种类。
mieMachine Interrupt Enable它指出处理器目前能处理和必须忽略的中断。
mipMachine Interrupt Pending它列出目前正准备处理的中断。
mtvalMachine Trap Value它保存了陷入(trap)的附加信息:地址例外中出错的地址、发生非法指令例外的指令本身,对于其他异常,它的值为 0。
mscratchMachine Scratch它暂时存放一个字大小的数据。
mstatusMachine Status它保存全局中断使能,以及许多其他的状态。

M 模式的时钟中断有以下几个条件:

  1. 处理器在 M 模式下运行(显然的)
  2. 全局中断使能位 mstatus.MIE = 1(只有在全局中断使能位 mstatus.MIE 置 1 时才会产生中断。)
  3. mie[7] = 1(每个中断在控制状态寄存器 mie 中都有自己的使能位。M 模式下是 mie[7]。)
  4. mip[7] = 1(同上)

如果这些条件同时满足,则可以处理机器的时钟中断。

机器的时钟中断#

当一个 hart 发生异常时,硬件自动经历如下的状态转换:

  • 异常指令的 PC 被保存在 mepc 中,PC 被设置为 mtvec。(对于同步异常,mepc 指向导致异常的指令;对于中断,它指向中断处理后应该恢复执行的位置。)
  • 根据异常来源设置 mcause(如图 10.3 所示),并将 mtval 设置为出错的地址或者其它适用于特定异常的信息字。
  • 把控制状态寄存器 mstatus 中的 MIE 位置零以禁用中断,并把先前的 MIE 值保留到 MPIE 中。
  • 发生异常之前的权限模式保留在 mstatus 的 MPP 域中,再把权限模式更改为 M。(如果处理器仅实现 M 模式,则有效地跳过这个步骤)。

用伪代码来表示:

1. mepc = pc, pc = mtvec;
2. mcause = Exception; // 参见下表
3. MPIE = mstatus.MIE, mstatus.MIE = 0;
4. mstatus.MPP = Mode, Mode = M;
InterruptException CodeDescription
10Reserved
11Supervisor software interrupt
12Reserved
13Machine software interrupt
14Reserved
15Supervisor timer interrupt
16Reserved
17Machine timer interrupt
18Reserved
19Supervisor external interrupt
110Reserved
111Machine external interrupt
112–15Reserved
1≥16Designated for platform use
00Instruction address misaligned
01Instruction access fault
02Illegal instruction
03Breakpoint
04Load address misaligned
05Load access fault
06Store /AMO address misaligned
07Store /AMO access fault
08Environment call from U-mode
09Environment call from S-mode
010Reserved
011Environment call from M-mode
012Instruction page fault
013Load page fault
014Reserved
015Store /AMO page fault
016–23Reserved
024–31Designated for custom use
032–47Reserved
048–63Designated for custom use
0≥64Reserved

为避免覆盖整数寄存器中的内容,中断处理程序先在最开始用 mscratch 和整数寄存器(例如 a0)中的值交换。通常,软件会让 mscratch 包含指向附加临时内存空间的指针,处理程序用该指针来保存其主体中将会用到的整数寄存器。在主体执行之后,中断程序会恢复它保存到内存中的寄存器,然后再次使用 mscratcha0 交换,将两个寄存器恢复到它们在发生异常之前的值。最后,处理程序用 mret 指令(M 模式特有的指令)返回。mretPC 设置为 mepc,通过将 mstatus 的 MPIE 域复制到 MIE 来恢复之前的中断使能设置,并将权限模式设置为 mstatusMPP 域中的值。这基本是前一段中描述的逆操作。

此模式的基本时钟中断处理程序只对时间比较器执行了递增操作,然后继续执行之前的任务。更实际的时钟中断处理程序可能会调用调度程序,从而在任务之间切换。它是非抢占的,因此在处理程序的过程中中断会被禁用。不考虑这些限制条件的话,它就是一个只有一页的 RISC-V 中断处理程序的完整示例! 有时需要在处理异常的过程中转到处理更高优先级的中断。唉,mepcmcausemtvalmstatus 这些控制寄存器只有一个副本,处理第二个中断的时候如果软件不进行一些帮助的话,这些寄存器中的旧值会被破坏,导致数据丢失。可抢占的中断处理程序可以在启用中断之前把这些寄存器保存到内存中的栈,然后在退出之前,禁用中断并从栈中恢复寄存器。 除了上面介绍的 mret 指令之外,M 模式还提供了另外一条指令:wfi(Wait ForInterrupt)。wfi 通知处理器目前没有任何有用的工作,所有它应该进入低功耗模式,直到任何使能有效的中断等待处理,即 mie&mip ≠ 0。RISC-V 处理器以多种方式实现该指令,包括到中断待处理之前都停止时钟。有的时候只把这条指令当作 nop 来执行。因此,wfi 通常在循环内使用。

TIP

wfi 不论全局中断使能有效与否都有用。 如果在全局中断使能有效(mstatus.MIE = 1)时执行 wfi,然后有一个使能有效的中断等待执行,则处理器跳转到异常处理程序。另一方面,如果在全局禁用中断时执行 wfi,接着一个使能有效的中断等待执行,那么处理器继续执行 wfi 之后的代码。这些代码通常会检查控制状态寄存器 mip,以决定下一步该做什么。与跳转到异常处理程序相比,这个策略可以减少中断延迟,因为不需要保存和恢复整数寄存器。

RISC-V异常处理机制
https://clo91eaf.github.io/posts/riscv异常处理/
作者
Clo91eaf
发布于
2023-01-01
许可协议
CC BY-NC-SA 4.0