RISC-V 学习篇之特权架构下的中断异常处理

news2024/11/27 8:36:01

RISC-V 学习篇之特权架构下的中断异常处理

  • 控制流和Trap
  • 特权架构
  • 简单的嵌入式系统的机器模式
    • 机器模式下的异常处理
      • mtvec(Machine Trap-Vector Base-Address)
      • mepc(Machine Exception Program Counter)
      • mcause(Machine Cause)
      • mtval(Machine Trap Value )
      • mstatus(Machine Status)
      • mie(Machine Interrupt Enable)
      • mip(Machine Interrupt Pending)
      • mscratch(Machine Scratch)
      • Trap处理流程
        • 注意
        • 图解Trap流程
  • 嵌入式系统中的用户模式和进程隔离
  • 现代操作系统的监管者模式
  • 基于页面的虚拟内存
    • 页表基址寄存器
    • TLB
    • 完整虚拟地址翻译过程
  • 小结


本系列参考: 学习开发一个RISC-V上的操作系统 - 汪辰 - 2021春 整理而来,主要作为xv6操作系统学习的一个前置基础。

本文主要参考: RISC-V手册整理而来。


控制流和Trap

在这里插入图片描述


特权架构

RISC-V支持的特权级模式组合如下所示:
在这里插入图片描述

  • 最简单嵌入式系统只支持Machine模式
  • 安全的嵌入式系统支持Machine模式和User模式
  • 支持虚拟内存概念的类Unix系统,需要支持Machine,User和Supervisor三种模式

在这里插入图片描述

高权限模式通常可以使用权限较低的模式的所用功能,并且它们还有一些低权限模式下不可用的额外功能,例如:

  • 处理中断和执行 I/O 的功能
  • 处理器通常大部分时间都运行在权限最低的模式下
  • 处理中断和异常时会将控制权移交到更高权限的模式

RISC-V 提供的特权指令有如下几个:
在这里插入图片描述

  • sret : 监管者模式下的异常和中断返回
  • mret : 机器模式下的异常和中断返回
  • sfence.vma : 刷新虚拟内存映射(tlb)
  • wfi :使处理器暂停执行,并进入低功耗的等待状态,使处理器暂停执行,并进入低功耗的等待状态

特权架构添加了很少的指令,作为替代,几个新的控制状态寄存器CSR显示了附加的功能。


简单的嵌入式系统的机器模式

机器模式(缩写为 M 模式,M-mode)是 RISC-V 中 hart(hardware thread,硬件线程)可以执行的最高权限模式。

在 M 模式下运行的 hart 对内存,I/O 和一些对于启动和配置系统来说必要的底层功能有着完全的使用权。因此它是唯一所有标准 RISC-V 处理器都必须实现的权限模式。实际上简单的 RISC-V 微控制器仅支持 M 模式。

机器模式最重要的特性是拦截和处理异常(不寻常的运行时事件)的能力

RISC-V 将异常分为两类:

  • 一类是同步异常,这类异常在指令执行期间产生,如访问了无效的存储器地址或执行了具有无效操作码的指令时。
  • 另一类是中断,它是与指令流异步的外部事件,比如鼠标的单击。

在 M 模式运行期间可能发生的同步例外有五种:

  • 访问错误异常: 当物理内存的地址不支持访问类型时发生(例如: 尝试写入 ROM)。
  • 断点异常: 在执行 ebreak 指令,或者地址或数据与调试触发器匹配时发生。
  • 环境调用异常: 在执行 ecall 指令时发生。
  • 非法指令异常: 在译码阶段发现无效操作码时发生。
  • 非对齐地址异常: 在有效地址不能被访问大小整除时发生。
    在这里插入图片描述

中断时 mcause 的最高有效位置 1,同步异常时置 0,且低有效位标识了中断或异常的具体原因。只有在实现了监管者模式时才能处理监管者模式中断和页面错误异常。

有三种标准的中断源:软件、时钟和外部来源。

  • 软件中断通过向内存映射寄存器中存数来触发,并通常用于由一个 hart 中断另一个 hart(在其他架构中称为处理器间中断机制)。
  • 当 hart 的时间比较器(一个名为 mtimecmp 的内存映射寄存器)大于实时计数器mtime 时,会触发时钟中断。
  • 外部中断由平台级中断控制器(大多数外部设备连接到这个中断控制器)引发。

不同的硬件平台具有不同的内存映射并且需要中断控制器的不同特性,因此用于发出和消除这些中断的机制因平台而异。所有 RISC-V 系统的共同问题是如何处理异常和屏蔽中断,这是下一节的主题。


机器模式下的异常处理

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

  • mtvec(Machine Trap Vector)它保存发生异常时处理器需要跳转到的地址。
  • mepc(Machine Exception PC)它指向发生异常的指令。
  • mcause(Machine Exception Cause)它指示发生异常的种类。
  • mie(Machine Interrupt Enable)它指出处理器目前能处理和必须忽略的中断。
  • mip(Machine Interrupt Pending)它列出目前正准备处理的中断。
  • mtval(Machine Trap Value)它保存了陷入(trap)的附加信息:访问地址出错时的地址信息、或者执行非法指令时的指令本身,对于其他异常,它的值为 0。
  • mscratch(Machine Scratch) 暂存一个字大小的数据,例如: 使用该寄存器保存当前hart上运行的task上下文(context)地址。
  • mstatus(Machine Status)它保存全局中断使能,以及许多其他的状态,如: 关闭和打开全局中断。

下图展示了上面八个状态控制寄存器相互配合工作的场景:

在这里插入图片描述

上图描述的是单个Hart内部的中断流程

下面我们来详细解释每个状态寄存器的作用。


mtvec(Machine Trap-Vector Base-Address)

mtvec指向trap处理函数的入口地址:
在这里插入图片描述


mepc(Machine Exception Program Counter)

当发生trap时,会跳转到异常控制流处执行,而mepc负责保存异常控制流函数的返回地址:

  • 如果发生的是异常,那么mepc指向的是发生异常的指令地址
  • 如果发生的是中断,那么mepc指向的是发生中断的指令的下一条指令地址
    在这里插入图片描述

mcause(Machine Cause)

在这里插入图片描述
在这里插入图片描述


mtval(Machine Trap Value )

在这里插入图片描述
一般情况下,mtval 寄存器的用途如下:

  • 异常原因:对于异常,mtval 寄存器存储导致异常的具体原因或异常代码。
    • 对于页故障(Page Fault)异常,mtval 可以存储导致页故障的虚拟地址;
    • 对于未对齐访问(Misaligned Access)异常,mtval 可以存储引发异常的内存访问地址。
  • 中断原因:对于中断,mtval 寄存器可能存储与中断相关的具体信息。
    • 对于外部中断,mtval 可以存储中断源的标识符或其他相关数据。
  • 自定义用途:在某些情况下,mtval 寄存器可以由操作系统或处理器实现者自定义,并用于特定目的。这取决于具体的 RISC-V 实现和特权级别。

mstatus(Machine Status)

在这里插入图片描述
mstatus是RISC-V架构中的一个机器级别(M-Mode)的CSR寄存器,用于管理和控制处理器的状态。

mstatus寄存器是一个32位的寄存器,包含了多个位字段,每个位字段都有特定的含义和功能。以下是mstatus寄存器中一些常见的位字段:

  1. MIE(Machine Interrupt Enable):该位控制是否允许处理器接受中断。当MIE为1时,处理器可以响应中断请求;当MIE为0时,处理器将禁止中断。

  2. MPIE(Machine Previous Interrupt Enable):该位记录上一级特权级别(S-Mode或U-Mode)的中断使能状态。在特权级别切换时,这个位的值会被保存和恢复。

  3. MPP(Machine Previous Privilege):该位字段指示上一级特权级别,用于保存处理器从异常或中断返回时的特权级别。可能的值包括M-Mode(3’b11)、S-Mode(3’b01)和 U-Mode(3’b00)。

  4. MIE(Machine Exception Enable):该位用于控制是否允许处理器接受异常。当MIE为1时,处理器可以响应异常;当MIE为0时,处理器将禁止异常。

mstatus寄存器还包含其他位字段,用于管理处理器的特权级别、虚拟化、调试模式等。具体的位字段定义和功能可以在RISC-V的官方规范中找到。

通过读取和写入mstatus寄存器,可以控制和监控处理器的状态,例如启用或禁用中断、设置特权级别、处理异常等。这对于操作系统、异常处理程序和其他特权级别的软件非常重要。


mie(Machine Interrupt Enable)

mie是RISC-V架构中的一个机器级别(M-Mode)的CSR寄存器,用于控制和管理处理器的中断使能状态。

mie寄存器是一个32位的寄存器,每个位对应一个特定类型的中断。以下是mie寄存器中一些常见的位字段:

  1. MSIE(Machine Software Interrupt Enable):该位控制是否允许处理器接受机器级别软件中断(MSI)。当MSIE为1时,处理器可以接受并响应MSI;当MSIE为0时,处理器将禁止MSI。

  2. MTIE(Machine Timer Interrupt Enable):该位控制是否允许处理器接受机器级别定时器中断。当MTIE为1时,处理器可以接受并响应定时器中断;当MTIE为0时,处理器将禁止定时器中断。

  3. MEIE(Machine External Interrupt Enable):该位控制是否允许处理器接受机器级别外部中断。当MEIE为1时,处理器可以接受并响应外部中断;当MEIE为0时,处理器将禁止外部中断。

通过读取和写入mie寄存器,可以控制处理器接受和屏蔽不同类型的中断。中断发生时,处理器会根据mie寄存器中相应的位来决定是否触发中断处理程序。

需要注意的是,mie寄存器的设置可能会受到其他控制寄存器(如mstatus寄存器)中相关位字段的影响。例如,如果mstatus寄存器的MIE位为0,即使mie寄存器中某个中断使能位为1,该中断也不会触发。

中断处理和中断控制是处理器中重要的功能,它们可以用于处理异步事件、外部设备的输入、定时器等。mie寄存器在这个过程中起到了关键的作用,它允许软件控制中断的使能和屏蔽,以适应特定的需求和应用场景。


mip(Machine Interrupt Pending)

mip是RISC-V架构中的一个机器级别(M-Mode)的CSR寄存器,用于表示和管理处理器的中断请求状态。

mip寄存器是一个32位的寄存器,每个位对应一个特定类型的中断请求。以下是mip寄存器中一些常见的位字段:

  1. MSIP(Machine Software Interrupt Pending):该位表示机器级别软件中断(MSI)的中断请求状态。当MSIP为1时,表示有一个MSI中断请求待处理;当MSIP为0时,表示没有MSI中断请求。

  2. MTIP(Machine Timer Interrupt Pending):该位表示机器级别定时器中断的中断请求状态。当MTIP为1时,表示有一个定时器中断请求待处理;当MTIP为0时,表示没有定时器中断请求。

  3. MEIP(Machine External Interrupt Pending):该位表示机器级别外部中断的中断请求状态。当MEIP为1时,表示有一个外部中断请求待处理;当MEIP为0时,表示没有外部中断请求。

通过读取mip寄存器,可以查询处理器当前的中断请求状态,以了解是否有中断待处理。在处理器响应中断时,处理器会根据mip寄存器中相应的位来确定中断的来源。

另外,可以通过写入mip寄存器的特定位,手动触发或清除中断请求,以模拟中断的发生或结束。这在某些调试或测试场景下可能很有用。

需要注意的是,mip寄存器的状态可能会受到其他控制寄存器(如mie寄存器)中相关位字段的影响。例如,如果mie寄存器的相应位为0,即使mip寄存器中某个中断请求位为1,该中断也不会被触发。

中断请求和处理是处理器中重要的功能,它们用于异步事件的处理、外部设备的输入、定时器的触发等。mip寄存器提供了一种机制,使软件能够检查和处理中断请求,以响应相关的事件和中断源。


mscratch(Machine Scratch)

mscratch 是 RISC-V 架构中的一个控制和状态寄存器(Control and Status Register),用于保存机器模式下的临时数据或上下文相关的信息。它的作用是提供一个通用的、临时的存储位置,供软件使用。

具体而言,mscratch 寄存器通常用于以下情况:

  1. 上下文切换:当处理器从一个上下文切换到另一个上下文时,可以将当前的 mscratch 寄存器的值保存到保存的上下文中。在切换到新的上下文后,可以将先前保存的 mscratch 寄存器的值恢复,以便继续使用其中的数据。

  2. 异步事件处理:当处理器在处理中断或异常时,可能需要保存一些临时数据,以便在恢复正常执行后继续使用。mscratch 寄存器提供了一个方便的位置来存储这些临时数据,以避免污染其他重要的寄存器。

  3. 调试和跟踪:在调试和跟踪应用程序时,mscratch 寄存器可以用于存储调试器或跟踪工具的临时数据,例如断点信息、调试状态等。

需要注意的是,mscratch 寄存器的使用是由软件决定的,它没有特定的预定义用途。软件可以根据需要将 mscratch 寄存器用于临时存储和处理数据。然而,由于 mscratch 寄存器的值可能会被上下文切换或其他操作修改,因此软件在使用 mscratch 寄存器时应注意保存和恢复其中的数据。

总结:mscratch 寄存器是 RISC-V 架构中的一个控制和状态寄存器,用于保存机器模式下的临时数据或上下文相关的信息。它可以用于上下文切换、异步事件处理、调试和跟踪等情况,提供一个通用的临时存储位置供软件使用。


Trap处理流程

处理器在 M 模式下运行时,只有在全局中断使能位 mstatus.MIE 置 1 时才会产生中断。

此外,每个中断类型在控制状态寄存器 mie 中都有自己的使能位:

  • 例如: mie[7]对应于 M 模式中的时钟中断。控制状态寄存器mip 具有相同的布局,并且它指示当前待处理的中断。
  • 将所有三个控制状态寄存器合在一起考虑,如果 mstatus.MIE = 1,mie[7] = 1,且 mip[7] = 1,则可以处理机器的时钟中断。

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

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

下面以一个时钟中断处理程序为例,进行讲解:

  • 该时钟中断处理程序只对时间比较器执行了递增操作,然后继续执行之前的任务
  • 更实际的时钟中断处理程序可能会调用调度程序,从而在任务直接进行切换
  • 我们这个时钟中断处理程序是非抢占的,因此在处理程序的过程中中断会被禁用

在这里插入图片描述

  • 第一部分保存了五个寄存器,把 a0 保存在 mscratch 中,a1 到 a4 保存在内存中
    在这里插入图片描述

函数调用过程中,有关寄存器使用的编程约定如下:
在这里插入图片描述

在这里插入图片描述

  • 上面这段汇编的作用:
    • 检查 mcause 来读取异常的类别。
    • 检查trap陷入是否是一个中断(通过 bgez 指令), 如果 mcause<0 则是中断,反之则是同步异常
    • 通过使用掩码(0x3f)和按位与操作,从mcause中取出中断的种类。
    • 与预期的中断类型进行比较,以确定是否是特定类型的中断。如果不是特定类型的中断,则可以跳转到其他处理逻辑(otherInt)。
    • 检查 mcause 的低位是否等于 7,如果是,就是 M 模式的时钟中断。

在这里插入图片描述

  • 上面这段汇编的作用:
    • 如果确定是时钟中断,就给时间比较器加上 1000 个时钟周期,于是下一个时钟中断会发生在大约 1000 个时钟周期之后。

注意:

  • mtimecmp 是 RISC-V 架构中的一个特殊寄存器,用于设置定时器中断比较值。
  • 在 RISC-V 架构中,mtimecmp 是一个 64 位的计时器比较寄存器,用于与 mtime 寄存器进行比较。mtime 是一个 64 位的计时器寄存器,用于存储系统的时钟计数值。
  • 通过设置 mtimecmp 的值,可以实现定时器中断的触发。当 mtime 的计数值达到或超过 mtimecmp 的值时,会触发定时器中断。
  • 具体使用方式如下:
    • 将定时器中断的触发时间设定为一个期望的时刻,将该时刻的计数值存储到 mtimecmp 寄存器中。
    • 系统会持续运行,并且 mtime 寄存器会不断递增。
    • 当 mtime 的计数值达到或超过 mtimecmp 的值时,定时器中断会被触发。
    • 在中断处理程序中,可以执行相应的中断处理逻辑。
  • 通过设置不同的 mtimecmp 值,可以实现不同的定时器中断触发时机,从而实现定时任务或周期性的中断处理。

在这里插入图片描述

  • 最后一段恢复了 a0 到 a4 和 mscratch,然后用 mret 指令返回。

注意

  • 为避免覆盖整数寄存器中的内容,中断处理程序先在最开始用 mscratch 和整数寄存器(例如 a0)中的值交换。
  • 通常,软件会让 mscratch 包含指向附加临时内存空间的指针,处理程序用该指针来保存其主体中将会用到的整数寄存器。

mscratch通常用来执行当前执行线程的环境上下文空间,如果是linux可能就是task_struct结构体在内存中的位置了。

  • 在主体执行之后,中断程序会恢复它保存到内存中的寄存器,然后再次使用 mscratch 和 a0 交换,将两个寄存器恢复到它们在发生异常之前的值。
  • 最后,处理程序用 mret 指令(M 模式特有的指令)返回。
  • mret 将 PC 设置为 mepc,通过将 mstatus 的 MPIE 域复制到 MIE 来恢复之前的中断使能设置,并将权限模式设置为 mstatus 的 MPP 域中的值。
  • 这基本是前一段中描述的逆操作。

有时需要在处理异常的过程中转到处理更高优先级的中断。mepc,mcause,mtval 和 mstatus 这些控制寄存器只有一个副本,处理第二个中断的时候,如果软件不进行一些帮助的话,这些寄存器中的旧值会被破坏,导致数据丢失。

可抢占的中断处理程序可以在启用中断之前把这些寄存器保存到内存中的栈,然后在退出之前,禁用中断并从栈中恢复寄存器。

除了上面介绍的 mret 指令之外,M 模式还提供了另外一条指令:

  • wfi(Wait For Interrupt): wfi 通知处理器目前没有任何有用的工作,它应该进入低功耗模式,直到任何使能有效的中断等待处理,即mie&mip ≠ 0
  • RISC-V 处理器以多种方式实现该指令,包括到中断待处理之前都停止时钟。
  • 有的时候只把这条指令当作 nop 来执行。
  • 因此,wfi 通常在循环内使用。

图解Trap流程

给出一个简单的Trap处理Demo:
在这里插入图片描述

  • Trap Handler初始化阶段
void trap_init(){
	/*
	 * 设置mtvec寄存器指向我们写好的trap handler处理函数地址处
	 * set the trap-vector base-address for machine-mode
	 */
	w_mtvec((reg_t)trap_vector);
}

/* Machine-mode interrupt vector */
static inline void w_mtvec(reg_t x){
    //"csrw"指令用于将一个通用寄存器的值写入到指定的CSR(控制和状态寄存器)中
    //在这里,我们将给定的值x写入到mtvec寄存器中。
	asm volatile("csrw mtvec, %0" : : "r" (x));
}

trap_vector处理函数是写在汇编中的一段逻辑:
在这里插入图片描述

  • trap处理的上半部分(上下文的保存)
    在这里插入图片描述

发生异常后,操作系统会给我们一次机会,让异常处理程序尝试解决异常,然后重新执行因发生异常而执行失败的指令。


  • trap handler处理函数调用(下半部分)
  1. 保存(save)当前控制流的上下文信息到mscratch指向的当前进程在内存中的Context空间
  2. 调用c语言的trap handler
  3. 从trap handler函数返回,mepc的值需要调整
  4. 恢复(restore)上下文信息
  5. 执行MRET指令返回到trap之前的状态
    在这里插入图片描述
    几个问题解答一下:
  • 为什么非要交换mscratch和t6呢?不能直接将mscratch传入reg_save宏吗?

在这里插入图片描述

  • reg_save宏定义怎么保存通用寄存器(GP)的值保存到上下文中的呢?
# save all General-Purpose(GP) registers to context
# struct context *base = &ctx_task;
# base->ra = ra;
# ......
.macro reg_save base
	sw ra, 0(\base)
	sw sp, 4(\base)
	sw gp, 8(\base)
	sw tp, 12(\base)
	sw t0, 16(\base)
	sw t1, 20(\base)
	sw t2, 24(\base)
	sw s0, 28(\base)
	sw s1, 32(\base)
	sw a0, 36(\base)
	sw a1, 40(\base)
	sw a2, 44(\base)
	sw a3, 48(\base)
	sw a4, 52(\base)
	sw a5, 56(\base)
	sw a6, 60(\base)
	sw a7, 64(\base)
	sw s2, 68(\base)
	sw s3, 72(\base)
	sw s4, 76(\base)
	sw s5, 80(\base)
	sw s6, 84(\base)
	sw s7, 88(\base)
	sw s8, 92(\base)
	sw s9, 96(\base)
	sw s10, 100(\base)
	sw s11, 104(\base)
	sw t3, 108(\base)
	sw t4, 112(\base)
	sw t5, 116(\base)
	# we don't save t6 here, due to we have used
	# it as base, we have to save t6 in an extra step
	# outside of reg_save
.endm

在这里插入图片描述

  • reg_restore怎么恢复上下文的呢?
# restore all General-Purpose(GP) registers from the context
# struct context *base = &ctx_task;
# ra = base->ra;
# ......
.macro reg_restore base
	lw ra, 0(\base)
	lw sp, 4(\base)
	lw gp, 8(\base)
	lw tp, 12(\base)
	lw t0, 16(\base)
	lw t1, 20(\base)
	lw t2, 24(\base)
	lw s0, 28(\base)
	lw s1, 32(\base)
	lw a0, 36(\base)
	lw a1, 40(\base)
	lw a2, 44(\base)
	lw a3, 48(\base)
	lw a4, 52(\base)
	lw a5, 56(\base)
	lw a6, 60(\base)
	lw a7, 64(\base)
	lw s2, 68(\base)
	lw s3, 72(\base)
	lw s4, 76(\base)
	lw s5, 80(\base)
	lw s6, 84(\base)
	lw s7, 88(\base)
	lw s8, 92(\base)
	lw s9, 96(\base)
	lw s10, 100(\base)
	lw s11, 104(\base)
	lw t3, 108(\base)
	lw t4, 112(\base)
	lw t5, 116(\base)
	lw t6, 120(\base)
.endm

在这里插入图片描述
我们这里采用的是Direct模式,即由一个统一的异常处理函数作为入口地址:

reg_t trap_handler(reg_t epc, reg_t cause)
{
	reg_t return_pc = epc;
	reg_t cause_code = cause & 0xfff;
	//处理中断
	if (cause & 0x80000000) {
		/* Asynchronous trap - interrupt */
		switch (cause_code) {
		case 3:
			uart_puts("software interruption!\n");
			break;
		case 7:
			uart_puts("timer interruption!\n");
			break;
		case 11:
			uart_puts("external interruption!\n");
			break;
		default:
			uart_puts("unknown async exception!\n");
			break;
		}	
	} else {
	     //处理异常
		/* Synchronous trap - exception */
		printf("Sync exceptions!, code = %d\n", cause_code);
		panic("OOPS! What can I do!");
		//return_pc += 4;
	}

	return return_pc;
}

在这里插入图片描述


  • trap返回
    在这里插入图片描述

  • 调试

具体调试过程可以参考: 第10章 Trap and Exception


嵌入式系统中的用户模式和进程隔离

虽然机器模式对于简单的嵌入式系统已经足够,但它仅适用于那些整个代码库都可信的情况,因为 M 模式可以自由地访问硬件平台。

更常见的情况是,不能信任所有的应用程序代码,因为不能事先得知这一点,或者它太大,难以证明正确性。

因此,RISC-V 提供了保护系统免受不可信的代码危害的机制,并且为不受信任的进程提供隔离保护。

必须禁止不可信的代码执行特权指令(如 mret)和访问特权控制状态寄存器(如 mstatus),因为这将允许程序控制系统。这样的限制很容易实现,只要加入一种额外的权限模式:用户模式(U 模式)

  • 这种模式拒绝使用这些功能,并在尝试执行 M 模式指令或 访问 CSR 的时候产生非法指令异常

其它时候,U 模式和 M 模式的表现十分相似。通过将 mstatus.MPP 设置为 U,然后执行 mret 指令,软件可以从 M 模式进入 U 模式。如果在 U 模式下发生异常,则把控制移交给 M 模式。

这些不可信的代码还必须被限制只能访问自己那部分内存:

  • 实现了 M 和 U 模式的处理器具有一个叫做物理内存保护(PMP,Physical Memory Protection)的功能,允许 M 模式指定 U 模式可以访问的内存地址。
  • PMP 包括几个地址寄存器(通常为 8 到 16 个)和相应的配置寄存器。这些配置寄存器可以授予或拒绝读、写和执行权限。
  • 当处于 U 模式的处理器尝试取指或执行 load 或 store 操作时,将地址和所有的 PMP 地址寄存器比较。
  • 如果地址大于等于 PMP 地址 i,但小于 PMP 地址 i+1,则 PMP i+1 的配置寄存器决定该访问是否可以继续,如果不能将会引发访问异常。

此部分内容详细可以参考RISC-V手册的10.4章节


现代操作系统的监管者模式

上一节中描述的 PMP 方案对嵌入式系统的实现很有吸引力,因为它以相对较低的成本提供了内存保护,但它的一些缺点限制了它在通用计算中的使用:

  • 由于 PMP 仅支持固定数量的内存区域,因此无法对它进行扩展从而适应复杂的应用程序。
  • 而且由于这些区域必须在物理存储中连续,因此系统可能产生存储碎片化的问题。
  • 另外,PMP 不能有效地支持对辅存的分页。

更复杂的 RISC-V 处理器用和几乎所有通用架构相同的方式处理这些问题:

  • 使用基于页面的虚拟内存。这个功能构成了监管者模式(S 模式)的核心,这是一种可选的权限模式,旨在支持现代类 Unix 操作系统,如 Linux,FreeBSD 和 Windows。
  • S 模式比 U 模式权限更高,但比 M 模式低。与 U 模式一样,S 模式下运行的软件不能使用 M 模式的 CSR 和指令,并且受到 PMP 的限制。

默认情况下,发生所有异常(不论在什么权限模式下)的时候,控制权都会被移交到 M 模式的异常处理程序。但是 Unix 系统中的大多数异常都应该进行 S 模式下的系统调用。

M 模式的异常处理程序可以将异常重新导向 S 模式,但这些额外的操作会减慢大多数异常的处理速度。因此,RISC-V 提供了一种异常委托机制。通过该机制可以选择性地将中断和同步异常交给 S 模式处理,而完全绕过 M 模式。

mideleg(Machine Interrupt Delegation,机器中断委托)CSR 控制将哪些中断委托给 S 模式。与 mip 和 mie 一样,mideleg 中的每个位对应于mip和mie中相同的异常。
在这里插入图片描述

例如:

  • mideleg[5]对应于 S 模式的时钟中断,如果把它置位,S 模式的时钟中断将会移交 S 模式的异常处理程序,而不是 M 模式的异常处理程序。

委托给 S 模式的任何中断都可以被 S 模式的软件屏蔽。sie(Supervisor Interrupt Enable,监管者中断使能)sip(Supervisor Interrupt Pending,监管者中断待处理)CSR是 S 模式的控制状态寄存器,他们是 mie 和 mip 的子集。

  • 它们有着和 M 模式下相同的布局,但在 sie 和 sip 中,只有与由 mideleg 委托的中断对应的位才能读写。
  • 那些没有被委派的中断对应的位始终为零

M 模式还可以通过 medeleg CSR 将同步异常委托给 S 模式

  • 该机制类似于刚才提到的中断委托,但 medeleg 中的位对应的不再是中断,而是同步异常编码。
  • 例如,置上 medeleg[15]便会把 store page fault(store 过程中出现的缺页)委托给 S 模式。

请注意,无论委派设置是怎样的,发生异常时控制权都不会移交给权限更低的模式。在 M 模式下发生的异常总是在 M 模式下处理。在 S 模式下发生的异常,根据具体的委派设置,可能由 M 模式或 S 模式处理,但永远不会由 U 模式处理。

S 模式有几个异常处理 CSR:sepc、stvec、scause、sscratch、stval 和 sstatus,它们执行与 上面描述的 M 模式 CSR 相同的功能。

下图显示了 sstatus 寄存器的布局:
在这里插入图片描述

监管者异常返回指令 sret 与 mret 的行为相同,但它作用于 S 模式的异常处理 CSR,而不是 M 模式的 CSR。

S 模式处理异常的行为已和 M 模式非常相似。如果 hart 接受了异常并且把它委派给了S 模式,则硬件会原子地经历几个类似的状态转换,其中用到了 S 模式而不是 M 模式的 CSR:

  • 发生异常的指令的 PC 被存入 sepc,且 PC 被设置为 stvec。
  • scause 根据异常类型设置,stval 被设置成出错的地址或者其它特定异常的信息字。
  • 把 sstatus CSR 中的 SIE 置零,屏蔽中断,且 SIE 之前的值被保存在 SPIE 中。
  • 发生异常时的权限模式被保存在 sstatus 的 SPP 域,然后设置当前模式为 S 模式。

基于页面的虚拟内存

S 模式提供了一种传统的虚拟内存系统,它将内存划分为固定大小的页来进行地址转换和对内存内容的保护。

  • 启用分页的时候,大多数地址(包括 load 和 store 的有效地址和 PC 中的地址)都是虚拟地址。
  • 要访问物理内存,它们必须被转换为真正的物理地址,这通过遍历一种称为页表的高基数树实现。
  • 页表中的叶节点指示虚地址是否已经被映射到了真正的物理页面,如果是,则指示了哪些权限模式和通过哪种类型的访问可以操作这个页。
  • 访问未被映射的页或访问权限不足会导致页错误例外(page fault exception)。

RISC-V 的分页方案以 SvX 的模式命名,其中 X 是以位为单位的虚拟地址的长度。

  • RV32 的分页方案 Sv32 支持 4GiB 的虚址空间,这些空间被划分为 2^10个 4 MiB 大小的巨页。每个巨页被进一步划分为 2^
    10个 4 KiB 大小的基页(分页的基本单位)。
  • 因此,Sv32 的 页表是基数为 2^10的两级树结构。
  • 页表中每个项的大小是四个字节,因此页表本身的大小是 4 KiB。
  • 页表的大小和每个页的大小完全相同,这样的设计简化了操作系统的内存分配。

在这里插入图片描述
上图显示了 Sv32 页表项(page-table entry,PTE)的布局,从左到右分别包含如下所述的域:

  • V 位决定了该页表项的其余部分是否有效(V = 1 时有效)。若 V = 0,则任何遍历到此页表项的虚址转换操作都会导致页错误。
  • R、W 和 X 位分别表示此页是否可以读取、写入和执行。如果这三个位都是 0,那么这个页表项是指向下一级页表的指针,否则它是页表树的一个叶节点。
  • U 位表示该页是否是用户页面。若 U = 0,则 U 模式不能访问此页面,但 S 模式可以。若 U = 1,则 U 模式下能访问这个页面,而 S 模式不能。
  • G 位表示这个映射是否对所有虚址空间有效,硬件可以用这个信息来提高地址转换的性能。这一位通常只用于属于操作系统的页面。
  • A 位表示自从上次 A 位被清除以来,该页面是否被访问过。
  • D 位表示自从上次清除 D 位以来页面是否被弄脏(例如被写入)。
  • RSW 域留给操作系统使用,它会被硬件忽略。
  • PPN 域包含物理页号,这是物理地址的一部分若这个页表项是一个叶节点,那么 PPN 是转换后物理地址的一部分否则 PPN 给出下一节页表的地址

RV64 支持多种分页方案,但我们只介绍最受欢迎的一种,Sv39:

  • Sv39 使用和 Sv32 相同的 4 KiB 大的基页。
  • 页表项的大小变成 8 个字节,所以它们可以容纳更大的物理地址。
  • 为了保证页表大小和页面大小一致,树的基数相应地降到 2^9,树也变为三层。
  • Sv39 的 512 GiB 地址空间划分为 2^9个 1 GiB 大小的吉页。
  • 每个吉页被进一步划分为 2^9 个巨页。
  • 在Sv39 中这些巨页大小为 2 MiB,比 Sv32 中略小。
  • 每个巨页再进一步分为 2^9个 4 KiB 大小的基页。

图 10.11 显示了 Sv39 页表项的布局。它和 Sv32 完全相同,只是 PPN 字段被扩展到了44 位,以支持 56 位的物理地址,或者说 2^
26 GiB 大小的物理地址空间。


页表基址寄存器

一个叫 satp(Supervisor Address Translation and Protection,监管者地址转换和保护)的 S 模式控制状态寄存器控制了分页系统。如下图所示,satp 有三个域:

  • MODE 域可以开启分页并选择页表级数,图 10.13 展示了它的编码。
  • ASID(Address Space Identifier,地址空间标识符)域是可选的,它可以用来降低上下文切换的开销。
  • 最后,PPN 字段保存了根页表的物理地址,它以 4 KiB 的页面大小为单位。

在这里插入图片描述

通常 M 模式的程序在第一次进入 S 模式之前会把零写入 satp 以禁用分页,然后 S 模式的程序在初始化页表以后会再次进行satp 寄存器的写操作。


当在 satp 寄存器中启用了分页时,S 模式和 U 模式中的虚拟地址会以从根部遍历页表的方式转换为物理地址。图 10.14 描述了这个过程:

在这里插入图片描述

  • satp.PPN 给出了一级页表的基址,VA[31:22]给出了一级页号,因此处理器会读取位于地址(satp. PPN × 4096 + VA[31: 22] × 4)的页表项。
  • PTE 包含二级页表的基址,VA[21:12]给出了二级页号,因此处理器读取位于地址(PTE. PPN × 4096 + VA[21: 12] × 4)的叶节点页表项。
  • 叶节点页表项的 PPN 字段和页内偏移(原始虚址的最低 12 个有效位)组成了最终结果:物理地址就是(LeafPTE. PPN × 4096 + VA[11: 0])

注意: stap中存放的页表基址和页表项中存放的页表基址都是物理地址,而非虚拟地址。

随后处理器会进行物理内存的访问。Sv39 的转换过程几乎和 Sv32 相同,区别在于其具有较大的 PTE 和更多级页表。


TLB

如果所有取指,load和 store 操作都导致多次页表访问,那么分页会大大地降低性能!所有现代的处理器都用地址转换缓存(通常称为 TLB,全称为 Translation Lookaside Buffer)来减少这种开销。

为了降低这个缓存本身的开销,大多数处理器不会让它时刻与页表保持一致。这意味着如果操作系统修改了页表,那么这个缓存会变得陈旧而不可用。

S 模式添加了另一条指令来解决这个问题。这条 sfence.vma 会通知处理器,软件可能已经修改了页表,于是处理器可以相应地刷新转换缓存。

它需要两个可选的参数,这样可以缩小缓存刷新的范围:

  • 一个位于rs1,它指示了页表哪个虚址对应的转换被修改了;
  • 另一个位于 rs2,它给出了被修改页表的进程的地址空间标识符(ASID)。
  • 如果两者都是 x0,便会刷新整个转换缓存

补充说明:

  • 多处理器中的地址转换缓存一致性sfence.vma 仅影响执行当前指令的 hart 的地址转换硬件。
  • 当 hart 更改了另一个 hart 正在使用的页表时,前一个 hart 必须用处理器间中断来通知后一个 hart,他应该执行 sfence.vma
    指令。
  • 这个过程通常被称为 TLB 击落

完整虚拟地址翻译过程

前提说明:

  • va是输入的虚拟地址
  • pa是输出的物理地址
  • PAGESIZE是常数2^12
  • Sv32中,LEVELS=2 且 PTESIZE=4 字节
  • Sv39中,LEVELS=3 且 PTESIZE=8 字节

虚地址到物理地址转换的完整算法:

在这里插入图片描述


小结

RISC-V 特权架构的模块化特性满足了各种系统的需求。

十分精简的机器模式以低成本的特征支持裸机嵌入式应用。附加的用户模式和物理内存保护功能共同支持了更复杂的嵌入式系统中的多任务处理。

最后,监管者模式和基于页面的虚拟内存提供了运行现代操作系统所必需的灵活性。


本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/607989.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

Erlang/OTP 26 正式发布

导读Erlang 是一种通用的并发函数式程序设计语言。Erlang 也可以指 Erlang/OTP 的通称&#xff0c;开源电信平台 (OTP) 是 Erlang 的常用执行环境及一系列标准组件。 Erlang/OTP 26.0 已正式发布。这是一个重要版本更新&#xff0c;包含许多新特性、改进和不兼容的变化。 主要…

C++11右值

C11右值 类型与值类别左值纯右值将亡值内置类型类类型 左值引用和右值引用内置类型右值引用&#xff1a;具有右值引用自身为左值。右值引用与函数重载函数返回值 自定义类型右值引用构造函数的隐式转换右值引用与函数重载类类型作为函数的返回值 右值引用与函数模板泛化版本&am…

Java005——idea编写和运行第一个Java程序HelloWorld

1、首相需要了解什么是IDE&#xff08;集成开发环境&#xff09;&#xff1f; 2、了解Java有哪些主流的开发工具&#xff1f; 一、创建一个文件夹用来存放Java项目 二、创建一个空项目 点击idea首页新建项目按钮 创建一个空项目 这样空项目就创建好了 三、在空项目中新建一…

leetcode 数据库题 584,585,586,595,596,601,602,607,608,610

leetcode 数据库题 第三弹 584. 寻找用户推荐人585. 2016年的投资586. 订单最多的客户595. 大的国家596. 超过5名学生的课601. 体育馆的人流量602. 好友申请 II &#xff1a;谁有最多的好友607. 销售员608. 树节点610. 判断三角形小结 584. 寻找用户推荐人 https://leetcode.cn…

<数据结构>NO7.二叉树(附Oj练习题)

&#x1f447;二叉树的完整代码在&#x1f447; syseptember的gitee仓库&#xff1a;二叉树https://gitee.com/syseptember/data-structure/tree/1513789167062c75dc172366199ce7a6b0577cc7/BinaryTree2/BinaryTree2 目录 树的概念及结构 0x01.树的概念 0x02.树的相关概念 …

快速定位接口问题,JMeter方法论,跨线程组接口关联测试!

目录 【前言】 【步骤】 1. 准备工作 2. 创建线程组 3. 创建HTTP请求 4. 添加正则表达式提取器 5. 添加HTTP请求关联控制器 6. 设置断言和验证器 7. 运行测试 【代码】 【结论】 【前言】 在进行接口测试时&#xff0c;接口之间的关联经常是我们需要重点测试的点之…

如何手写网络协议栈

哈喽&#xff0c;我是子牙&#xff0c;一个很卷的硬核男人。喜欢研究底层&#xff0c;聚焦做那些大家想学没地方学的课程&#xff1a;手写操作系统、手写虚拟机、手写编程语言…目前做了两门课&#xff1a;手写OS、手写JVM 今天想跟大家聊一个黑科技&#xff1a;手写网络协议栈…

Python的编码规范

目录 1、每个 import 语句只导入一个模块&#xff0c;尽量避免一次导入多个模块&#xff0c; 2、不要在行尾添加分号&#xff0c;也不要用分号将两条命令放在同一行&#xff0c; 3、建议每行不超过 80 个字符&#xff0c; 4、使用必要的空行可以增加代码的可读性 5、通常情…

让百万大学生崩溃的在线OJ,如何破局?

目录 一、在线OJ的的原理 二、在线OJ的使用规则 三、注意事项 1.关于作弊 2.如何防止作弊 3.输入输出格式 4.换行问题 四、经典在线OJ坑人题目以及博主被坑经历 五、提交不成功及解决方法 六、如何得心应手的拿下OJ系统 七、在线OJ的骗分技巧 在线OJ&#xff08;Onl…

OpenGL简介

1.简介 一般它被认为是一个API&#xff0c;包含了一系列可以操作图形、图像的函数。然而&#xff0c;OpenGL本身并不是一个API&#xff0c;它仅仅是一个由Khronos组织制定并维护的规范(Specification)。OpenGL规范严格规定了每个函数该如何执行&#xff0c;以及它们的输出值。…

为何要用分布式锁Redis实现分布式锁

为何要用分布式锁 一、为什么要使用分布式锁 为了保证一个方法在高并发情况下的同一时间只能被同一个线程执行&#xff0c;在传统单体应用单机部署的情况下&#xff0c;可以使用Java并发处理相关的API(如ReentrantLcok或synchronized)进行互斥控制。但是&#xff0c;随着业务…

《论文阅读》连续前缀提示Prompt:table-to-text和摘要生成 ACL2021

《论文阅读》连续前缀提示Prompt:table-to-text和摘要生成 ACL2021 前言相关知识Table-to-Text Generation自编码语言模型自回归语言模型简介任务定义部分参数更新代码实验结果前言 你是否也对于理解论文存在困惑? 你是否也像我之前搜索论文解读,得到只是中文翻译的解读后…

高级算法工程师的工作职责(合集)

高级算法工程师的工作职责1 职责&#xff1a; 1、调研跟踪智能穿戴产品相关算法&#xff0c;为公司产品决策提供参考; 2、设计开发智能穿戴产品的计步、睡眠、心率、血氧饱和度、血压、心率变异性等相关参数的提取算法; 3、撰写算法开发文档&#xff0c;包括算法流程、测试方案…

小黑西安归来,政审完毕,眼睛手术做完一直在家躺着第5天的leetcode之旅:852. 山脉数组的峰顶索引

小黑代码 class Solution:def peakIndexInMountainArray(self, arr: List[int]) -> int:# 数组长度n len(arr)# 寻求山峰for i in range(n-1):if arr[i1] < arr[i]:return ireturn -1小黑二分模版 class Solution:def peakIndexInMountainArray(self, arr: List[int])…

Linux——内存和DMA

目录 本章目标&#xff1a; 一、内存组织 二、按页分配内存 三、slab分配器 四、不连续内存页分配 五、per-CPU变量 本章目标&#xff1a; 在前面的所有例子中&#xff0c;我们使用的都是全局变量或在栈上分配的内存。本章我们将先讨论如何动态分配内存和per-CPU变量。类…

实战-k8s中部署tomcat(四)

先下载资源&#xff1a;k8s中安装Tomcat 测试 k8s 集群中部署 tomcat 服务 #把 tomcat.tar.gz 上传到 k8s-node1&#xff0c;手动解压 [rootk8s-node1 ~]# ctr images import tomcat.tar.gz [rootk8s-master ~]# kubectl apply -f tomcat.yaml apiVersion: v1 #pod属于k8…

Augmentation Matters:一种简单而有效的半监督语义分割方法(CVPR2023)

文章目录 Augmentation Matters: A Simple-yet-Effective Approach to Semi-supervised Semantic Segmentation摘要本文方法Random Intensity-based AugmentationsAdaptive Label-aided CutMix 实验结果 Augmentation Matters: A Simple-yet-Effective Approach to Semi-superv…

迅为RK3568开发板2800页手册+220集视频

iTOP-3568开发板采用瑞芯微RK3568处理器&#xff0c;内部集成了四核64位Cortex-A55处理器。主频高达2.0Ghz&#xff0c;RK809动态调频。集成了双核心架构GPU&#xff0c;ARM G52 2EE、支持OpenGLES1.1/2.0/3.2OpenCL2.0、Vulkan 1.1、内高性能2D加速硬件。 内置NPU 内置独立NP…

港联证券|AI概念股继续活跃 科创50指数逆势走高

周三&#xff0c;A股市场出现极致分化态势。得益于存储芯片为代表的硬科技股的强势&#xff0c;科创50指数逆势走高。但创业板指、深证成指等主要股指仍然跌跌不休&#xff0c;沪指险守3200点关口。AI概念股继续逆势活跃&#xff0c;国资云、数据方向领涨&#xff0c;算力概念股…

坂田杨美自然村旧改,已立项,直接签约。

这个将由佳兆业与信义地产联合改造的坂田杨美自然村城市更新&#xff0c;已立项测绘&#xff0c;也公布了草案和村屋认定范围&#xff0c;正启动签约收楼中。名校附近的改造&#xff0c;深圳实验学校坂田校区附近&#xff0c;项目地处杨美地铁附近&#xff0c;还有佳兆业上品雅…