RISC-V(五):xceptions, Traps, and Interrupts介绍

一、核心术语定义

表格

术语 定义
Exception(异常) 运行时与当前指令直接相关的异常情况,例如非法指令、地址错误。
Interrupt(中断) 来自外部的异步事件,可能导致控制流意外跳转,例如外设中断、定时器中断。
Trap(陷阱) 由异常或中断引发的,控制流跳转到陷阱处理程序的行为

补充:这里对 "exception" 和 "trap" 的定义与 IEEE-754 浮点标准兼容。


二、Trap对软件的四种影响类型

根据软件的可见性和执行环境的处理方式,陷阱分为四类:

1. Contained Trap(容器内陷阱)

  • 特点:陷阱对软件是可见的,由当前执行环境处理。
  • 例子 :用户态程序执行ECALL系统调用,控制流跳转到同一 Hart 上的监管态处理程序;中断处理程序也在同一 Hart 上运行。
  • 软件视角:软件知道陷阱发生了,并主动或被动地处理它。

2. Requested Trap(请求式陷阱)

  • 特点:这是一种同步异常,是软件向执行环境发出的显式请求。
  • 例子:系统调用。执行环境处理请求后,程序可能继续运行,也可能被终止(如进程退出)。
  • 软件视角:软件主动发起请求,执行环境按需响应。

3. Invisible Trap(透明陷阱)

  • 特点:陷阱由执行环境透明处理,软件完全感知不到。
  • 例子
    • 模拟缺失的指令(如软件实现的指令集扩展);
    • 处理虚拟内存的页缺失;
    • 多道程序中为其他任务处理中断。
  • 软件视角:程序正常运行,不知道发生了陷阱。

4. Fatal Trap(致命陷阱)

  • 特点:表示致命错误,导致执行环境终止执行。
  • 例子:虚拟内存页保护检查失败、看门狗定时器超时。
  • 软件视角:程序被终止,无法继续执行。

三、陷阱类型特征对照表

表格

陷阱类型 程序是否终止 软件是否知晓 执行环境是否处理
Contained No No Yes
Requested No¹ No Yes
Invisible No Yes Yes
Fatal Yes Yes² Yes

注:

  1. Requested Trap 的终止是可选的(由请求决定)。
  2. Fatal Trap 的终止对软件是可见的。

四、其他关键说明

  • 陷阱的精确性 :执行环境定义陷阱是否被精确处理。ContainedRequested陷阱可能被软件观察为不精确;Invisible陷阱定义上无法被软件判断为精确或不精确;Fatal陷阱也可能被软件观察为不精确。
  • 非特权指令的文档范围 :由于本文档描述的是非特权指令,陷阱很少被提及。处理Contained陷阱的架构方法在特权架构手册中定义。仅为引起Requested陷阱的非特权指令(如ECALL)会在此处说明。
  • 指令编码 :未定义的指令编码可能导致Fatal Trap

一句话总结

本节清晰界定了 RISC-V 中异常、中断和陷阱的概念,并根据软件可见性和处理方式将陷阱分为四类,其中ContainedRequestedInvisibleFatal分别描述了陷阱对程序执行的不同影响。

相关推荐
m0_747124532 天前
RISC-V 基础知识扫盲
risc-v
W_LuYi1854 天前
手撸极简zkEVM验证器:RISC-V电路实践
java·risc-v
大唐游子13 天前
MIT 6.1810 开发环境搭建(Xv6)
risc-v
nvd1114 天前
绝地求生:如何在 2026 年把 OpenAI Codex 强行交叉编译到 RISC-V 架构
架构·risc-v
Eloudy15 天前
可在开源 RISC-V 上的裸机操作系统
开源·risc-v
hai31524754315 天前
RISC-V核E203核前向旁路的架构性顽疾
驱动开发·架构·硬件架构·硬件工程·risc-v
时光飞逝的日子15 天前
基于 RISC-V 架构的边缘 AI 推理引擎优化设计
risc-v·模型量化·推理引擎·边缘 ai·向量扩展·低功耗优化
国科安芯16 天前
基于RISC-V架构的商业航天级MCU国产化技术路径与产业生态研究
网络·分布式·单片机·嵌入式硬件·架构·risc-v·安全性测试
国科安芯16 天前
AS32S601商业航天级抗辐照MCU芯片:架构设计与技术特性研究
单片机·嵌入式硬件·算法·安全·架构·risc-v