使用 C++23 从零实现 RISC-V 模拟器(6):权限支持

本节内容增加了权限表示,设置了三种权限。当 cpu 初始化时默认的权限为 Machine 模式。接下来实现这三种特权模式,随后实现 sret 和 mret 指令。

RISC-V定义了三种特权等级,分别是用户态(User Mode)、监管态(Supervisor Mode)、和机器态(Machine Mode)。这三种特权等级对应着不同的操作系统和应用场景,提供了不同级别的访问权限。

1. 权限表示

定义下面三个参数来表示不同的权限级别。

// 使用 uint64_t 定义 Mode 类型
using Mode = uint64_t;// 定义 User 模式,二进制表示为 00
constexpr Mode User = 0b00;// 定义 Supervisor 模式,二进制表示为 01
constexpr Mode Supervisor = 0b01;// 定义 Machine 模式,二进制表示为 11
constexpr Mode Machine = 0b11;

在 CPU 类中增加表示权限的成员变量并修改构造函数,最初的级别为 Machine 模式。

class Cpu {
public://...Mode mode;//...   Cpu(const std::vector<uint8_t>& code): pc(DRAM_BASE),bus(code),csr()  // 初始化 Csr{regs.fill(0); // 初始化寄存器为0regs[2] = DRAM_END; // 设置堆栈指针寄存器的初始值mode = Machine;}
}

2. FENCE / SFENCE.VMA

在RISC-V(RV)中,FENCE(Fence)和SFENCE.VMA(Store Fence Virtual Memory Atomic)是两个不同的指令,它们用于控制内存访问和同步。下面是它们的主要区别:

  1. FENCE(Fence):

    • 它是一个轻量级的同步指令,它确保在 FENCE 之前和之后的指令不会重排序,保证了程序的顺序一致性。
    • FENCE 没有特定的参数,因此它执行的同步操作是通用的,对所有处理器和内存操作都生效。
  2. SFENCE.VMA(Store Fence Virtual Memory Atomic):

    • SFENCE.VMA 指令是用于确保内存中原子操作的完成,并对虚拟内存进行同步的指令。
    • 它通常与原子指令(如原子加载-存储指令)一起使用,以确保在 SFENCE.VMA 之前的原子操作完成后,再执行 SFENCE.VMA 之后的指令。
    • 这个指令在多核或多处理器系统中确保对共享内存的原子访问的顺序性。

总体而言,FENCE 主要用于轻量级的指令序列同步,而 SFENCE.VMA 更专注于保障对虚拟内存中原子操作的完成和同步。在实际使用中,程序员需要根据具体情况选择使用哪个指令,以满足程序的同步和顺序一致性需求。

此处的 FENCESFENCE.VMA 都暂时简化处理,直接跳过。

std::optional<uint64_t> executeSFENCE_VMA(Cpu& cpu, uint32_t inst) {// 此时模拟器没有实现虚拟内存或者页表,// 暂时该指令不需要执行任何操作。// 更新程序计数器return cpu.update_pc();
}std::optional<uint64_t> executeFence(Cpu& cpu, uint32_t inst) {return cpu.update_pc();
}

3. SRET(Supervisor Return):

SRET 指令用于从 Supervisor 模式返回到先前的特权级别。在执行异常处理程序时,如果发生了从用户态到 Supervisor 模式的特权级别切换,那么 SRET 会将程序计数器(PC)和一些相关的状态从 sepcsstatus 寄存器中恢复,从而返回到用户态。以下是一个示例:

# Exception or interrupt handler in Supervisor mode
exception_handler:# ... (处理异常的代码)# 返回到用户态sret

在上述示例中,当异常处理完成后,SRET 指令被用来将控制权返回到先前的用户态。

4. MRET(Machine Return):

MRET 指令类似于 SRET,但用于从 Machine 模式返回到先前的特权级别。在执行异常处理程序时,如果发生了从用户态到 Machine 模式的特权级别切换,MRET 会将程序计数器(PC)和一些相关的状态从 mepcmstatus 寄存器中恢复,从而返回到用户态。以下是一个示例:

# Exception or interrupt handler in Machine mode
exception_handler:# ... (处理异常的代码)# 返回到用户态mret

在这个示例中,当异常处理完成后,MRET 指令被用来将控制权返回到先前的用户态。

总体而言,SRETMRET 是在异常处理或中断处理过程中用于恢复先前特权级别的重要指令。这样的特权级别切换机制使得 RISC-V 处理器可以有效地处理不同特权级别下的异常和中断,保持系统的稳定性和安全性。

6. 实现

先编写单元测试,然后增肌对应指令的实现逻辑,例如 sret 代码如下。

std::optional<uint64_t> executeSRET(Cpu& cpu, uint32_t inst) {// 从 CSR 寄存器加载 sstatus 的值uint64_t sstatus = cpu.csr.load(SSTATUS);// 根据 SPP 位设置权限级别,SPP 位是 sstatus 的第 8 位cpu.mode = (sstatus & MASK_SPP) >> 8;// SPIE 位是 sstatus 的第 5 位uint64_t spie = (sstatus & MASK_SPIE) >> 5;// 将 SIE 位设置为 SPIE 位的值,SIE 位是 sstatus 的第 1 位sstatus = (sstatus & ~MASK_SIE) | (spie << 1);// 将 SPIE 位设置为 1sstatus |= MASK_SPIE;// 将 SPP 位设置为最低权限模式(U-mode)sstatus &= ~MASK_SPP;// 将修改后的 sstatus 值存回 sstatus 寄存器cpu.csr.store(SSTATUS, sstatus);// 将程序计数器(PC)设置为 sepc 寄存器的值// 当 IALIGN=32 时,sepc[1] 位在读取时被屏蔽,使其看起来像是 0。这种屏蔽也发生在 SRET 指令的隐式读取中uint64_t new_pc = cpu.csr.load(SEPC) & ~0b11;// 返回新的程序计数器(PC)的值return new_pc;
}

mret 指令的解析代码没有列出来,完整代码可以参考该分支:https://github.com/weijiew/crvemu/tree/lab6-pm

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

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

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

相关文章

Linux-系统资源管理的命令

目录 查看CPU&#xff1a;more /proc/meminfo 查看内存数据&#xff1a;free -m / free -h 查看系统版本&#xff1a;more /etc/issue 查看操作系统的类型&#xff1a;uname -a 查看主机名称&#xff1a;hostname 查看磁盘空间&#xff1a;df -h 查看某个目录空间…

【解决(几乎)任何机器学习问题】:处理分类变量篇(上篇)

这篇文章相当长&#xff0c;您可以添加至收藏夹&#xff0c;以便在后续有空时候悠闲地阅读。 本章因太长所以分为上下篇来上传&#xff0c;请敬请期待 很多⼈在处理分类变量时都会遇到很多困难&#xff0c;因此这值得⽤整整⼀章的篇幅来讨论。在本章中&#xff0c;我将 讲述不同…

快速搞懂时间序列数据平稳检验

在对时间序列数据进行分析预测时&#xff0c;平稳时间序列数据预测效果更好。所以首先要检测数据是否平稳&#xff0c;没有趋势的时间序列数据&#xff0c;我们称为平稳的&#xff0c;即随着时间的推移&#xff0c;表现出恒定的方差&#xff0c;具有恒定的自相关结构。本文介绍…

Linux 虚拟机在线热扩容分区

介绍 本教程是用于Linux虚拟机在调整虚拟硬盘大小后&#xff0c;进行在线不重启热扩容分区大小。 适用于RHEL 7以上的版本及衍生发行版。&#xff08;如Centos、Rocky Linux、Alma Linux等&#xff09; 硬盘分区在线热扩容 刷新硬盘容量 echo 1 > /sys/block/sda/device…

GIS利用不舒适指数绘制地区的生物气候舒适度图

生物气候舒适度定义了最适宜的气候条件,在这种条件下,人们感到健康和充满活力。生物气候舒适度地图对城市规划研究特别有用。温度、相对湿度和风速等要素对评估生物气候舒适度非常重要。[1] 人们已经得出了许多不同的指数来确定生物气候舒适度。在本博文中,我们将使用广泛使…

C++基于多态的职工管理系统完整代码

1.头文件.h 部分&#xff1a; 1.1 Worker.h /*这是一个抽象的职工父类&#xff0c;以下类都继承自该类&#xff1a;1.Employee类 2.Manager类 3.Boss类 */#pragma once #include<iostream> #include<string> using namespace std; //使用标准命名空间 class W…

Elcomsoft 取证工具包系列:Advanced Office Password Recovery

天津鸿萌科贸发展有限公司是 Elcomsoft 系列软件授权代理商。 Advanced Office Password Recovery 是 Elcomsoft 取证工具包中的密码破解软件之一。它可以恢复、删除或规避使用各种 Office 套件创建的文档的密码。可以对 WordPerfect&#xff0c;Lotus&#xff0c;OpenOffice&…

[晓理紫]每日论文分享(有中文摘要,源码或项目地址)--大模型、扩散模型等

专属领域论文订阅 VX关注{晓理紫}&#xff0c;每日更新论文&#xff0c;如感兴趣&#xff0c;请转发给有需要的同学&#xff0c;谢谢支持 如果你感觉对你有所帮助&#xff0c;请关注我&#xff0c;每日准时为你推送最新论文。 为了答谢各位网友的支持&#xff0c;从今日起免费为…

深入浅出 Python 函数:编写、使用与高级特性详解

引言 在 Python 编程的世界中,函数堪称构建复杂逻辑和模块化程序的基础砖石。它能够帮助程序员组织代码、避免重复,并通过封装逻辑提高代码的可读性和可维护性。本文旨在全方位解析 Python 函数的核心概念,包括基础定义、文档化、默认参数、可选参数、解包参数、关键字仅参…

普中51单片机学习(七)

LED闪烁 delay函数 延时函数 void delay(unsigned int i)//大约延时10us {while(i--); }实验代码 #include "reg52.h" typedef unsigned char u8; typedef unsigned int u16;void delay(u16 i) {while(i--); } sbit ledP2^0;void main(){while(1){led0;delay(10…

深入解析域名短链接生成原理及其在Python/Flask中的实现策略:一篇全面的指南与代码示例

为了构建一个高效且用户友好的域名短链服务&#xff0c;我们可以将项目精简为以下核心功能板块&#xff1a; 1. 用户管理 注册与登录&#xff1a;允许用户创建账户并登录系统。 这部分内容可以参考另一片文章实现&#xff1a; 快速实现用户认证&#xff1a;使用Python和Flask…

【c++设计模式03】创建型1:简单工厂模式(Simple Factory Pattern)

【c设计模式03】创建型1&#xff1a;简单工厂模式&#xff08;Simple Factory Pattern&#xff09; 一、工厂模式二、简单工厂模式三、UML类图四、demo五、使用多态的简单工厂模式1、UML类图——使用多态2、demo——使用多态 原创作者&#xff1a;郑同学的笔记 原创地址&#x…

GAN:“左右互搏”的卷积网络,不断优化性能中

hello宝子们...我们是艾斯视觉擅长ui设计和前端开发10年经验&#xff01;希望我的分享能帮助到您&#xff01;如需帮助可以评论关注私信我们一起探讨&#xff01;致敬感谢感恩&#xff01; 在一个名为“卷王”的世界里&#xff0c;有一个传奇般的存在——生成对抗网络&#xff…

解释器设计模式

解释器设计模式&#xff08;Interpreter Pattern&#xff09;是一种行为型设计模式&#xff0c;它定义了一种语言的文法&#xff0c;并建立一个解释器来解释该语言中的句子。这种模式通常用于需要解释或执行一种特定类型的语言的场景&#xff0c;例如编程语言的编译器或解释器、…

17. 【Linux教程】查看文件内容

前面小节介绍了文件和目录相关的操作&#xff0c;本小节介绍如何使用 file、cat、more、tail 命令在不同场景下去查看文件相关信息和内容。 1. file 查看文件类型 file 命令可以用来查看文件类型&#xff0c;还能查看文件的编码格式&#xff0c;下面列举一些 file 命令的参数&…

文件上传漏洞--Upload-labs--Pass04--.htaccess绕过

一、什么是 .htaccess 文件 1、官方解释&#xff1a; .htaccess文件主要用于控制Web服务器&#xff08;如Apache&#xff09;的配置&#xff0c;使得无需修改主服务器配置文件即可对特定目录进行访问控制和功能设置。 2、通俗解释&#xff1a; 现有一份 写有恶意代码的 .ph…

[力扣 Hot100]Day28 两数相加

题目描述 给你两个 非空 的链表&#xff0c;表示两个非负的整数。它们每位数字都是按照 逆序 的方式存储的&#xff0c;并且每个节点只能存储 一位 数字。 请你将两个数相加&#xff0c;并以相同形式返回一个表示和的链表。 你可以假设除了数字 0 之外&#xff0c;这两个数都…

计算机网络-数据通信基础

目录 前言 一、数据通信基本概念 二、数据通信相关知识1 总结 前言 正在学习计算机网络体系&#xff0c;把每日所学的知识梳理出来&#xff0c;既能够当作读书笔记&#xff0c;又能分享出来和大家一同学习讨论。 一、数据通信基本概念 基本概念&#xff1a;信源、信道、信宿&…

【LeetCode: 589. N 叉树的前序遍历 + DFS】

&#x1f680; 算法题 &#x1f680; &#x1f332; 算法刷题专栏 | 面试必备算法 | 面试高频算法 &#x1f340; &#x1f332; 越难的东西,越要努力坚持&#xff0c;因为它具有很高的价值&#xff0c;算法就是这样✨ &#x1f332; 作者简介&#xff1a;硕风和炜&#xff0c;…

NBA2K24 精品蔡徐坤面补

NBA2K24 精品蔡徐坤面补 NBA2K23-NBA2K24通用 精品蔡徐坤面补 下载地址&#xff1a; https://www.changyouzuhao.cn/13072.html