RISC-V机器模式下mret与ret指令的差异是什么？

当RISC-V内核运行在机器模式时，mret和ret指令的核心差异主要体现在以下几个方面：

• 设计用途与适用场景

  • ret是通用函数返回指令，用于从常规函数调用中返回，它将ra（返回地址寄存器）的值加载到pc，恢复函数调用后的执行流，适用于所有特权模式下的函数调用场景，和异常/中断处理无关。
  • mret是特权模式专用的异常返回指令，仅用于从机器模式的异常、中断或陷阱处理程序中返回，它将mepc（机器异常程序计数器）的值加载到pc，恢复进入异常前的执行上下文，是特权模式下异常处理流程的关键收尾指令。

• 状态恢复范围

  • ret仅负责恢复程序计数器pc，不会修改任何特权状态寄存器，函数调用过程中需要保存/恢复的其他寄存器（如通用寄存器）完全由软件自行处理。
  • mret除了恢复pc外，还会根据mstatus寄存器的配置自动恢复之前的特权级（通过MPP位）和中断使能状态（通过MPIE位）。比如进入异常前是用户态且中断已使能，mret会自动切换回用户态并重新开启中断。

• 依赖的寄存器

  • ret依赖通用寄存器ra，该寄存器的值由call指令在函数调用时自动写入，或由软件手动保存设置。
  • mret依赖特权寄存器mepc和mstatus，这两个寄存器的值是硬件在触发异常/中断时自动填充的，异常处理程序需要确保它们的值未被错误修改，否则mret会导致执行流异常。

• 执行权限限制

  • ret可以在任何特权模式（机器态、监督态、用户态）下执行，无权限限制。
  • mret仅允许在机器模式下执行，若在其他特权模式下执行会触发非法指令异常。

内容的提问来源于stack exchange，提问作者RRON