使用 C++23 从零实现 RISC-V 模拟器（5）：CSR

everystep_2024-02-16 15:53

👉🏻 文章汇总「从零实现模拟器、操作系统、数据库、编译器...」：okaitserrj.feishu.cn/docx/R4tCdk...

RISC-V为每个hart定义了一个独立的控制状态寄存器（CSR）地址空间，提供了4096个独立的寄存器位置。每个hart都可以通过这个独立的CSR地址空间来配置、管理和监控其执行环境，实现对其控制状态的细粒度操作。

接下来讲解什么是 hart ，随后实现 CSR 。

Hart

在RISC-V架构中，"hart"是指硬件线程（Hardware Thread）的缩写。hart 表示在该架构中执行指令的硬件线程或处理器核心。

每个hart都是一个独立的执行单元，包含一套完整的处理器资源，如寄存器文件、执行单元和控制逻辑。RISC-V架构的设计允许多个harts同时存在，从而支持多核处理器。这种设计使得RISC-V在不同系统中可以以不同的方式配置，适应各种应用场景，从嵌入式系统到高性能计算。

让我们通过一个简单的例子来理解RISC-V hart的概念。假设我们有一个双核RISC-V处理器，其中每个核心都是一个独立的hart。在这个双核处理器中，可以同时执行两个不同的程序或任务，每个核心都有自己的寄存器文件、执行单元和缓存。

plaintext 复制代码 
   +--------------------------+
   |      Core 0 (Hart 0)      |
   |                          |
   |   Register File, ALU,    |
   |   Cache, Control Logic   |
   +--------------------------+
               |
   +--------------------------+
   |      Core 1 (Hart 1)      |
   |                          |
   |   Register File, ALU,    |
   |   Cache, Control Logic   |
   +--------------------------+

在这个例子中，我们有两个harts，即两个独立的核心，每个核心都有自己的硬件资源。这允许并行执行两个不同的任务，提高了整个系统的性能。每个hart都有一个唯一的标识符（通常称为hart ID），以区分不同的硬件线程。

总体而言，RISC-V hart的概念体现了RISC-V架构的灵活性，使其能够适应各种不同的系统架构和应用需求，从而促进了RISC-V在各种计算平台上的广泛应用。

Hart 和 CPU 的关系

在RISC-V架构中，"hart"（硬件线程）和"CPU"（中央处理单元）之间存在一种直接关系，但它们并不完全等同。下面解释一下它们之间的关系：

  1. Hart（硬件线程）： Hart是指在RISC-V处理器中独立的硬件执行线程。每个hart都有自己的寄存器文件（包括通用寄存器和特殊寄存器）、执行单元、控制逻辑等硬件资源。Hart的概念强调硬件执行线程的独立性，因此在一个多核RISC-V处理器中，每个核心就是一个独立的hart。

  2. CPU（中央处理单元）： CPU是一个更广泛的术语，通常指整个中央处理单元，包括执行指令的硬件和相关的控制逻辑。在一个多核RISC-V处理器中，每个核心（hart）都有自己的CPU，因为它包含了执行指令所需的全部硬件资源。因此，一个多核RISC-V处理器中有多个CPU，每个CPU对应一个独立的hart。

简而言之，hart是CPU内部的硬件线程，一个多核RISC-V处理器中的每个核心就是一个hart，而每个hart都有自己的CPU。多个harts可以在同一处理器芯片上共存，共享一些系统资源（如内存），但它们是相对独立的硬件执行单元。

一个 CPU 对应一个 hart ？

不一定。在RISC-V架构中，一个CPU可以包含多个harts（硬件线程）。RISC-V的设计允许在一个物理处理器芯片上集成多个独立的hart，这些harts可以共享一些资源（如内存），但它们是相对独立的执行单元。

因此，一个物理CPU上可以有多个harts，每个hart都有自己的寄存器文件、执行单元和控制逻辑。这种设计支持多核处理器，其中每个核心都对应一个独立的hart。在这种情况下，一个物理CPU上的多个harts可以并行执行不同的任务，提高系统的整体性能。

总之，在RISC-V架构中，一个CPU可以包含一个或多个harts，这取决于具体的实现和系统设计。

特权级别

RISC-V架构定义了三种特权等级，这些等级对应于不同的操作系统和应用场景。这三种特权等级分别是：

  1. 用户态（User Mode）： 用户态是RISC-V中最低特权等级。在用户态下，程序运行在用户空间，只能访问被允许的资源和寄存器。用户态是用于执行普通应用程序的特权级别。

  2. 监管态（Supervisor Mode）： 监管态是RISC-V中介于用户态和机器态之间的特权等级。在监管态下，操作系统内核运行，具有更高的特权级别，可以执行特权指令，访问更多的寄存器和资源。监管态用于操作系统的内核代码执行。

  3. 机器态（Machine Mode）： 机器态是RISC-V中最高的特权等级。在机器态下，处理器拥有最大的权限，可以执行所有指令、访问所有寄存器和系统资源。机器态主要用于处理器的初始化、系统的引导和一些底层的系统管理任务。

这些特权等级的引入旨在提供对处理器和系统资源的不同级别的访问权限。用户态提供了最低的权限，限制了对系统资源的直接访问，从而增加了系统的安全性。监管态在用户态和机器态之间提供了一个中间层，用于运行操作系统内核。机器态具有最高的权限，适用于系统的底层管理和初始化。

在RISC-V中，切换不同特权等级是通过特权级别切换的CSR（控制状态寄存器）指令来完成的。这些特权级别的设计使得RISC-V架构灵活适应不同的系统需求，从嵌入式系统到高性能计算。

hart 和特权级别

在RISC-V架构中，每个hart（硬件线程）在任意时刻都会运行在某种特权等级上。特权等级表示了该hart当前操作所拥有的权限级别，可以是用户态、监管态或机器态中的一种。

让我们通过一个简单的例子来理解这个概念。假设我们有一个RISC-V处理器，其中包含一个hart，并且这个处理器支持用户态、监管态和机器态这三种特权等级。

在处理器启动时，该hart可能最初处于机器态，执行一些底层的系统初始化任务。随后，当执行用户程序时，该hart可能切换到用户态，其中它只能访问被允许的资源。当用户程序需要进行某些系统调用或需要执行特权指令时，该hart可能会通过修改CSR（控制状态寄存器）的值来切换到监管态，从而提升其权限级别。在监管态中，hart可以执行一些操作系统内核的任务。

在上述例子中，特权等级的切换通过修改CSR完成，CSR中保存了当前hart所在的特权等级。这样的设计允许系统在运行时动态地切换特权等级，从而灵活地管理和调整系统的运行状态。

总体而言，RISC-V的特权等级概念提供了一种灵活的机制，使得不同任务和系统级别的代码可以在同一个hart上运行，同时确保系统的安全性和稳定性。在后续章节中，对特权等级的更详细讨论可能会涉及到CSR的具体使用和特权级别切换的细节。

CSR

Hart（硬件线程）和CSR（控制状态寄存器）之间的关系在RISC-V架构中非常密切。CSR用于配置、管理和监控每个hart的执行环境，确保对系统行为的细粒度控制。以下是hart和CSR之间关系的一些关键点：

  1. Hart的独立性： 每个hart都有自己独立的CSR空间。这意味着每个硬件线程可以配置和控制其自身的状态，而不会直接影响其他harts。

  2. CSR用于配置和控制： CSR包含一系列寄存器，用于控制和配置hart的各个方面，例如中断使能、时钟设置、异常处理等。通过对CSR的读写，软件可以调整和管理每个hart的执行环境。

  3. 特权级别切换： CSR中的一些寄存器用于管理hart的特权级别。通过修改这些寄存器的值，可以在用户态、监管态和机器态之间切换，提供不同特权级别下的权限和访问控制。

  4. 上下文保存与恢复： CSR中的一些寄存器用于保存和恢复hart的上下文信息。在上下文切换时，处理器会保存当前hart的状态到CSR中，然后加载新任务的状态。

  5. 中断和异常处理： CSR也与中断和异常处理相关。中断使能、中断掩码等设置都通过CSR进行。当发生中断或异常时，相关的状态信息也会被保存到CSR中，以便后续的处理程序能够正确执行。

总体而言，CSR为每个hart提供了一个独立的、可编程的控制接口，用于管理和配置其执行环境。这种设计允许系统在运行时动态地调整每个hart的状态，提供了对系统行为更细粒度的控制。在多核处理器中，每个hart都可以通过CSR实现对自身的独立配置和控制。

设计 CSR

Csr类是一个用于处理RISC-V架构中的控制和状态寄存器（CSR）的类。在RISC-V架构中，CSR是一种特殊类型的寄存器，用于控制处理器的各种功能，包括中断处理、异常处理、性能监视等。下面是 CSR 对应的头文件。

cpp 复制代码 
class Csr {
public:
  Csr();  // 构造函数
  void dump_csrs() const;  // 打印所有的CSR
  uint64_t load(size_t addr) const;  // 加载指定地址的CSR
  void store(size_t addr, uint64_t value);  // 存储值到指定地址的CSR
  bool is_medelegated(uint64_t cause) const;  // 检查是否有机器异常委托
  bool is_midelegated(uint64_t cause) const;  // 检查是否有机器中断委托

private:
  std::array<uint64_t, NUM_CSRS> csrs;  // 存储CSR的数组
};

在 Cpu.h 中增加 Csr 成员变量，并且更新构造函数，增加 Csr 对应的成员构造函数。

Csr::load

下面代码是Csr类中的load方法的实现。Csr类表示控制状态寄存器（CSR）。

load方法接受一个地址作为参数，然后返回该地址的CSR的值。这个方法使用了一个switch语句来处理不同的地址。

  • 当地址是SIE时，它返回MIE寄存器和MIDELEG寄存器的位与结果。这表示获取中断使能状态。
  • 当地址是SIP时，它返回MIP寄存器和MIDELEG寄存器的位与结果。这表示获取中断挂起状态。
  • 当地址是SSTATUS时，它返回MSTATUS寄存器和MASK_SSTATUS的位与结果。这表示获取特权级状态。
  • 对于其他地址，它直接返回该地址的CSR的值。

这个方法的返回类型是uint64_t，表示它返回一个64位的无符号整数。

cpp 复制代码 
uint64_t Csr::load(size_t addr) const {
  switch (addr) {
    case SIE:
      return csrs[MIE] & csrs[MIDELEG];
    case SIP:
      return csrs[MIP] & csrs[MIDELEG];
    case SSTATUS:
      return csrs[MSTATUS] & MASK_SSTATUS;
    default:
      return csrs[addr];
  }
}

在这段代码中，SIE，SIP和SSTATUS是控制状态寄存器（CSR）的地址。这些地址对应的CSR有特殊的含义和用途。

  • SIE（Supervisor Interrupt Enable）：这是一个控制寄存器，用于控制在Supervisor模式下哪些中断是被允许的。在这段代码中，csrs[MIE] & csrs[MIDELEG]表示获取在MIE（Machine Interrupt Enable）寄存器中被允许并且在MIDELEG（Machine Interrupt Delegation）寄存器中被委托到Supervisor模式的中断。

  • SIP（Supervisor Interrupt Pending）：这是一个状态寄存器，用于表示在Supervisor模式下哪些中断是挂起的。在这段代码中，csrs[MIP] & csrs[MIDELEG]表示获取在MIP（Machine Interrupt Pending）寄存器中被挂起并且在MIDELEG寄存器中被委托到Supervisor模式的中断。

  • SSTATUS（Supervisor Status）：这是一个状态寄存器，用于保存和恢复Supervisor模式下的状态。在这段代码中，csrs[MSTATUS] & MASK_SSTATUS表示获取MSTATUS（Machine Status）寄存器中的Supervisor模式的状态。

这些寄存器在处理中断和异常，以及在不同的特权级之间切换时非常重要。

CSR 指令

CSR 指令是 RISC-V 架构中的 CSR（Control and Status Register）指令，用于对控制和状态寄存器进行读取、写入和修改。以下是每个指令的简要说明：

  1. csrrw（CSR Read and Write）:

    • 格式：csrrw rd, csr, rs1

    • 作用：将控制和状态寄存器（CSR）csr 的当前值读取到寄存器 rd 中，并将 rs1 中的值写入到 CSR csr。

    • 示例汇编代码：

      assembly 复制代码 
      csrrw x3, mstatus, x1

  2. csrrs（CSR Read and Set）:

    • 格式：csrrs rd, csr, rs1

    • 作用：将控制和状态寄存器（CSR）csr 的当前值读取到寄存器 rd 中，并将 rs1 中的值设置为 CSR csr 的位。

    • 示例汇编代码：

      assembly 复制代码 
      csrrs x5, mstatus, x2

  3. csrrc（CSR Read and Clear）:

    • 格式：csrrc rd, csr, rs1

    • 作用：将控制和状态寄存器（CSR）csr 的当前值读取到寄存器 rd 中，并将 rs1 中的值清零 CSR csr 的相应位。

    • 示例汇编代码：

      assembly 复制代码 
      csrrc x7, mstatus, x3

  4. csrrwi（CSR Read and Write Immediate）:

    • 格式：csrrwi rd, csr, zimm

    • 作用：将控制和状态寄存器（CSR）csr 的当前值读取到寄存器 rd 中，并将立即数 zimm 写入到 CSR csr。

    • 示例汇编代码：

      assembly 复制代码 
      csrrwi x9, mstatus, 5

  5. csrrsi（CSR Read and Set Immediate）:

    • 格式：csrrsi rd, csr, zimm

    • 作用：将控制和状态寄存器（CSR）csr 的当前值读取到寄存器 rd 中，并将立即数 zimm 设置为 CSR csr 的位。

    • 示例汇编代码：

      assembly 复制代码 
      csrrsi x11, mstatus, 2

  6. csrrci（CSR Read and Clear Immediate）:

    • 格式：csrrci rd, csr, zimm

    • 作用：将控制和状态寄存器（CSR）csr 的当前值读取到寄存器 rd 中，并将立即数 zimm 清零 CSR csr 的相应位。

    • 示例汇编代码：

      assembly 复制代码 
      csrrci x13, mstatus, 1

这些指令允许程序在运行时操作控制和状态寄存器，从而改变处理器的行为和状态。在示例中，mstatus 是一个控制和状态寄存器的例子，实际使用时会根据具体的需求选择不同的 CSR。

使用场景

RISC-V 中的 CSR（Control and Status Register）指令主要用于处理器内部的控制和状态寄存器的读取、写入和修改。这些寄存器用于管理和监控处理器的运行状态。以下是一些 CSR 指令的使用场景：

  1. 系统控制和状态管理：

    • csrrw、csrrs 和 csrrc 指令允许程序读取、设置和清除系统控制和状态寄存器，例如 mstatus 寄存器，以控制系统的运行状态。

  2. 中断和异常处理：

    • CSR 指令用于配置和管理中断、异常和处理器的状态。通过读写 mie（Machine Interrupt Enable）、mip（Machine Interrupt Pending）等寄存器，可以启用或禁用中断，检查中断状态等。

  3. 性能计数器：

    • RISC-V 架构中的 CSR 指令允许程序读取和配置性能计数器，例如 cycle 和 time，以用于性能分析和优化。

  4. 用户模式切换：

    • CSR 指令可用于切换处理器的执行模式，例如从用户模式到特权模式。mstatus 中的相关位可以通过 CSR 指令进行设置或清除。

  5. 随机数生成：

    • 一些 CSR 指令可以用于生成随机数，例如 misa（Machine ISA Register）。

  6. 访存权限管理：

    • 一些 CSR 寄存器用于管理访存权限，例如 satp（Supervisor Address Translation and Protection）寄存器，它用于设置虚拟内存地址转换和内存保护。

  7. 环境保存和恢复：

    • CSR 指令可用于保存和恢复处理器的上下文环境，例如通过 mepc（Machine Exception Program Counter）保存异常处理程序的返回地址。

  8. 系统调试：

    • CSR 指令还可以用于系统调试，例如通过 dcsr（Debug Control and Status Register）进行调试模式的配置。

这些使用场景展示了 CSR 指令在处理器内部控制和状态管理中的多样性和重要性。不同的 CSR 寄存器提供了对处理器不同方面的控制和监控。

指令解析及对应的单元测试

下面是 CSRRW 指令对应的解析代码及其单元测试。没有完全列出，完整代码可以去对应分支 github.com/weijiew/crv... 查看。

cpp 复制代码 
std::optional<uint64_t> executeCSR_RW(Cpu& cpu, uint32_t inst) {
  auto [rd, rs1, rs2] = unpackInstruction(inst);
  auto csr_addr = (inst & 0xfff00000) >> 20;

  // Load the value from the CSR register
  uint64_t t = cpu.csr.load(csr_addr);

  // Store the value from the rs1 register into the CSR register
  cpu.csr.store(csr_addr, cpu.regs[rs1]);

  // Store the original CSR value into the rd register
  cpu.regs[rd] = t;

  // Update the program counter
  return cpu.update_pc();
}

// Test csrrw instruction
TEST(RVTests, TestCsrrw) {
  {
    std::string code = start +
    "addi x2, x0, 5 \n"    // Load 5 into x2
    "csrrw x1, mstatus, x2 \n";  // x1 = mstatus; mstatus = x2;
    Cpu cpu = rv_helper(code, "test_csrrw", 2);

    // Verify if MSTATUS register has the correct value
    EXPECT_EQ(cpu.getRegValueByName("mstatus"), 5) << "Error: mstatus should be 5 after CSRRW instruction";
  }
}

总结

这部分内容增加了 CSR 相关的寄存器，通过 CPU 可以直接读取，此外增加了六个 CSR 相关的指令解析及其对应的单元测试。

相关推荐
追逐时光者1 小时前
精选 4 款基于 .NET 开源、功能强大的 Windows 系统优化工具
后端·.net
TF男孩1 小时前
ARQ：一款低成本的消息队列，实现每秒万级吞吐
后端·python·消息队列
AAA修煤气灶刘哥2 小时前
别让Redis「歪脖子」！一次搞定数据倾斜与请求倾斜的捉妖记
redis·分布式·后端
AAA修煤气灶刘哥2 小时前
后端人速藏！数据库PD建模避坑指南
数据库·后端·mysql
你的人类朋友3 小时前
什么是API签名？
前端·后端·安全
昵称为空C5 小时前
SpringBoot3 http接口调用新方式RestClient + @HttpExchange像使用Feign一样调用
spring boot·后端
架构师沉默5 小时前
设计多租户 SaaS 系统，如何做到数据隔离 & 资源配额？
java·后端·架构
RoyLin6 小时前
TypeScript设计模式：适配器模式
前端·后端·node.js
该用户已不存在6 小时前
Mojo vs Python vs Rust: 2025年搞AI，该学哪个？
后端·python·rust
Moonbit6 小时前
MoonBit 正式加入 WebAssembly Component Model 官方文档 !
前端·后端·编程语言
热门推荐
01GitHub 镜像站点02UV 工具安装与国内镜像源配置指南03UV安装并设置国内源04Claude Code 平替：OpenAI发布 Codex CLI ，GPT-5 国内直接使用0546个Nano-banana 精选提示词，持续更新中06A股预测还能更准？开源大模型Kronos带你跑通预测+回测全流程07conda中设置镜像地址（附所有可换的地址）08保姆级教程：手把手教你用Dify实现完美多轮对话（附Chatflow和提示词）09KGG转MP3工具|非KGM文件|解密音频10突破百度网盘的下载限速，两种方法教会你【超详细】