RV32/64 特权架构 - 特权模式与指令

RV32/64 特权架构 - 特权模式与指令

  • 1 特权模式
  • 2 特权指令
    • 2.1 mret(从机器模式返回到先前的模式)
    • 2.2 sret(从监管模式返回到先前的模式)
    • 2.3 wfi(等待中断)
    • 2.4 sfence.vma(内存屏障)
  • 3 特权模式的切换

本文属于《 RISC-V指令集基础系列教程》之一,欢迎查看其它文章。

1 特权模式

RISC-V 架构定义了三种主要的工作模式,也被称为特权模式
这些模式的主要区别在于,它们的权限级别和所能够执行的操作。

  • 用户模式(User Mode)

权限等级最低。
在这个模式下运行的程序(如应用程序)不能直接访问硬件资源或执行特权操作。
用户模式提供了最基本的程序执行环境,用于隔离和保护操作系统内核和其他程序。
它确保了应用程序的稳定性和安全性,防止它们对系统造成损害。

  • 监管模式(Supervisor Mode,也称为超级用户模式)

权限等级介于用户模式和机器模式之间。
通常用于操作系统内核的运行
在监管模式下,程序可以执行一些特权操作,如访问物理内存、管理设备驱动程序等。
它允许操作系统管理硬件资源,为多个用户模式的程序提供服务和调度。

  • 机器模式(Machine Mode)

权限等级最高。
在这个模式下,程序可以执行所有操作,包括直接访问和修改所有硬件资源。
机器模式通常用于硬件初始化、系统引导、中断和异常处理等关键任务。
由于其高度特权,机器模式通常只允许特定的、受信任的代码运行。

这些模式的优先级顺序为:机器模式 > 监管模式 > 用户模式
机器模式,是最高级特权,也是 RISC-V 硬件平台唯一必须实现的特权级。
处理器通常在最低特权模式下运行,当发生中断和异常时,则将控制权转移到更高特权的模式。

这些模式的存在意义在于提供了一种灵活而安全的计算环境。通过限制不同程序的权限,RISC-V 架构能够防止恶意软件或不受信任的程序对系统造成损害。同时,它也允许操作系统有效地管理硬件资源,确保多个程序能够公平地共享这些资源。

RISC-V 架构的模块化设计使得这些模式可以根据需要进行组合和配置,从而满足不同系统的需求。例如,一些嵌入式系统可能只需要用户模式和机器模式,而不需要监管模式。

2 特权指令

RISC-V 特权架构的指令示意图,如下所示:
在这里插入图片描述
RISC-V具备的特权指令,如下所示:
在这里插入图片描述
特权架构添加的指令非常少,但增加了若干控制状态寄存器(CSR)来实现其新增功能。

2.1 mret(从机器模式返回到先前的模式)

指令形式:mret

在RISC-V架构中,mret(Machine Return)指令用于从异常或中断处理程序返回到先前的执行环境(通常是从机器模式返回到之前的模式,如监管模式或用户模式)。这个指令负责恢复处理器的状态,并确保返回到正确的执行地址。

具体来说,当处理器遇到中断或异常时,它会切换到机器模式(M模式)以处理该中断或异常。在处理完成后,mret指令被用来退出机器模式,并返回到之前的状态和模式

mret指令的执行过程涉及以下几个步骤:

  • 恢复状态:mret指令会从特定的CSR寄存器(如mstatus、mepc等)中恢复处理器的状态。这些寄存器在中断或异常发生时保存了处理器的状态信息。
  • 切换模式:根据mstatus寄存器中的MPP字段的值,mret指令将决定返回到哪个模式(机器模式、监管模式或用户模式)。
  • 跳转到程序计数器:mret指令将mepc寄存器中的值(即中断或异常处理完成后应该返回的程序地址)复制到程序计数器(PC),从而确保处理器从正确的地址开始执行。

需要注意的是,mret指令只能在机器模式下执行,并且只有在软件修改了mstatus寄存器的MPP字段以指定要返回到的模式之后,才能安全地使用该指令进行返回操作。

总的来说,mret指令在RISC-V架构中扮演着从机器模式返回到其他模式的关键角色,确保了处理器在中断或异常处理完成后能够正确地恢复到先前的执行环境。

2.2 sret(从监管模式返回到先前的模式)

指令形式:sret

在RISC-V架构中,sret(Supervisor Return)指令用于从异常或中断处理程序返回到监督模式(Supervisor Mode)。它是RISC-V处理器的一组退出指令之一,专门用于在监督模式下退出异常

当处理器在执行用户模式的程序时遇到需要由监督模式处理的异常或中断时,它会切换到监督模式来执行相应的异常或中断处理程序。在异常或中断处理程序执行完成后,sret指令被用来从监督模式返回到用户模式,并继续执行原来的程序。

sret指令的执行过程与mret类似,也会恢复处理器的状态并跳转到正确的程序计数器(PC)。它会从特定的CSR寄存器(如sstatus、sepc等)中恢复监督模式的状态信息,并将sepc寄存器中的值复制到程序计数器(PC),从而确保处理器从正确的地址开始执行用户模式的程序。

需要注意的是,sret指令只能在监督模式下执行,并且只有在软件修改了相应CSR寄存器的字段以指定要返回到的模式之后,才能安全地使用该指令进行返回操作。

总之,sret指令在RISC-V架构中用于从监督模式返回到用户模式,确保处理器在异常或中断处理完成后能够正确地恢复到用户模式的执行环境。

2.3 wfi(等待中断)

指令形式:wfi

RISC-V架构中的WFI(Wait For Interrupt)指令是一条特殊的休眠指令。当处理器执行到WFI指令后,它会停止执行当前的指令流,进入一种空闲状态,通常被称为“休眠”状态。处理器会在这个状态下等待,直到接收到一个使能的中断请求,这时处理器会被唤醒并继续执行。

具体来说,WFI指令的作用是将处理器置于低功耗的等待状态,直到下一个中断或触发事件发生。在这个过程中,CPU的功耗会被降到最低水平。这是一种常用于节能和功耗优化的待机指令。

此外,WFI指令也可以被当作一种NOP(无操作)指令来使用,即它不会真正进入休眠模式,但仍然会停止当前的指令执行,直到下一个中断或触发事件发生。

需要注意的是,WFI指令的执行需要满足一些条件,例如中断局部开关必须被打开(由mie寄存器控制),并且全局中断也需要被使能(由mstatus寄存器的MIE域控制)。如果中断被全局关闭,处理器在唤醒后会继续顺序执行之前停止的指令流。

总的来说,WFI指令在RISC-V架构中提供了一种有效的机制来降低处理器的功耗,并在需要时通过中断来唤醒处理器,从而实现了节能和高效的处理器管理。

2.4 sfence.vma(内存屏障)

指令形式:sfence.vma rs1, rs2

在RISC-V架构中,sfence.vma指令是一个同步屏障(Synchronization Fence)指令,用于确保内存操作的顺序性。这条指令在RISC-V的特权模式(Supervisor Mode)中提供内存访问的同步机制。

sfence.vma指令的具体语法是sfence.vma rs1, rs2,其中rs1和rs2是两个寄存器操作数。然而,需要注意的是,尽管sfence.vma指令接受两个寄存器操作数,但这两个操作数并不直接参与指令的功能。实际上,这两个寄存器通常被设置为零,因为sfence.vma指令的行为不依赖于这两个寄存器的具体值。

sfence.vma指令的主要作用是创建一个内存屏障,确保在指令之前的所有内存写操作(Store)在指令执行后对所有后续的内存读操作(Load)都是可见的。换句话说,它确保了在sfence.vma指令之前的所有写操作在指令执行后都已经被刷新到内存中,并且后续的读操作能够读取到这些更新的值

这种内存屏障机制在并发编程和多处理器系统中非常重要,因为它可以防止内存访问的竞态条件(Race Condition)。例如,当多个处理器或线程同时访问和修改共享内存时,如果没有适当的同步机制,就可能出现一个处理器读取到的内存值是另一个处理器尚未写入的旧值的情况,从而导致程序行为的不正确。通过使用sfence.vma指令,可以确保内存访问的顺序性,从而避免这类问题。

需要注意的是,sfence.vma指令只在Supervisor Mode下有效,并且在其他模式下执行该指令将导致未定义行为。此外,该指令的具体行为可能还取决于处理器的具体实现和配置。因此,在使用sfence.vma指令时,建议查阅相关的处理器文档或参考手册以获取准确的信息。

3 特权模式的切换

在 RISC-V 架构中,三种特权模式(用户模式、监管模式、机器模式)之间的切换是通过特定的指令和系统寄存器的配合来实现的。

(1) 指令控制

  • 使用特定的特权切换指令,如 mret(从机器模式返回到先前的模式)、sret(从监管模式返回到先前的模式)和 uret(从用户模式返回到先前的模式)。这些指令用于在完成特权操作后安全地返回到较低权限的模式。

(2) 系统寄存器

  • RISC-V 架构使用了一组称为 Control and Status Registers (CSRs) 的特殊寄存器来管理特权级别的切换。其中,mstatus 寄存器是机器状态寄存器,包含了关于机器模式状态的信息。
  • mstatus.mpp 字段用于指示当前特权级别。当需要切换特权级别时,软件会修改 mstatus.mpp 字段的值,并通过执行相应的返回指令来实际执行切换。

(3) 中断和异常处理

  • 当发生中断或异常时,处理器会根据中断或异常的类型自动切换到相应的特权级别。例如,处理器接收到一个中断时,可能会切换到机器模式来处理该中断。
  • 中断和异常处理完成后,处理器会根据 mstatus.mpp 寄存器的值返回到先前的特权级别。

(4) 硬件支持

  • RISC-V 架构的硬件设计支持这些模式的切换。处理器在执行特权切换指令时,会检查当前的特权级别和目标特权级别,并执行必要的状态保存和恢复操作。

需要注意的是,具体的切换机制和步骤可能会因具体的 RISC-V 实现和系统配置而有所不同。上述描述提供了一般的概述,但具体的实现细节可能会因处理器微架构、操作系统和硬件平台而异。

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

什么是负载均衡集群?

目录 1、集群是什么? 2、负载均衡集群技术 3、负载均衡集群技术的实现 4、实现效果如图 5、负载均衡分类 6、四层负载均衡(基于IP端口的负载均衡) 7、七层的负载均衡(基于虚拟的URL或主机IP的负载均衡) 8、四层负载与七层…

C语言————结构体

接下来我们来了解C语言中很重要的内容:结构体。虽然到现在我们可以创建常量,变量,数组,但是存储的都是相同类型的数据,如果我们需要写入不同数据类型的信息怎么办,例如常见的身份证上的信息,有身…

进程间通信,无名管道pipe,有名管道mkfifo,信号的基础概念,signal函数

我要成为嵌入式高手之2月28日Linux高编第十一天&#xff01;&#xff01; 学习笔记 进程间通信 总共6种通信方法&#xff0c;主要是前五种方式 第一种方式&#xff1a;管道 一、无名管道 只能用于具有亲缘关系的进程间通信 pipe #include <unistd.h> int pipe(i…

ETH开源PPO算法学习

前言 项目地址&#xff1a;https://github.com/leggedrobotics/rsl_rl 项目简介&#xff1a;快速简单的强化学习算法实现&#xff0c;设计为完全在 GPU 上运行。这段代码是 NVIDIA Isaac GYM 提供的 rl-pytorch 的进化版。 下载源码&#xff0c;查看目录&#xff0c;整个项目…

2024年3月5-7日第12届生物发酵技术装备展-奥博仪表

参观企业介绍 潍坊奥博仪表科技发展有限公司成立于2002年3月&#xff0c;注册资金1000万元&#xff0c;已有20多年的发展历程&#xff0c;是一家专业从事流量仪表开发、生产与测控系统集成的高新技术企业和双软认证企业。 目前公司以仪表、通讯产品、自控系统、软件的研发、生…

DVWA 靶场之 Command Injection(命令执行)middlehigh

对于 middle 难度的 我们直接先看源码 <?phpif( isset( $_POST[ Submit ] ) ) {// Get input$target $_REQUEST[ ip ];// Set blacklist$substitutions array(&& > ,; > ,);// Remove any of the characters in the array (blacklist).$target str_rep…

Pytest教程:一种利用 Python Pytest Hook 机制的软件自动化测试网络数据抓包方法

随着计算机技术的发展&#xff0c;使得网络应用的数量不断增加&#xff0c;因此网络数据抓包成为了网络应用开发和测试中非常重要的一部分。目前&#xff0c;已有许多网络数据抓包工具可供使用&#xff0c;例如 Wireshark、Tcpdump、Fiddler 等&#xff0c;但这些工具需要手动配…

5G网络频谱划分与应用

频率越大&#xff0c;波长越短。补充&#xff1a;微波频段&#xff1a;300MHZ~3000GHZ。 5G网络工作频带与带宽配置 &#xff08;1&#xff09; FR1:410MHZ~7125MHZ。 FR2&#xff1a;24250MHZ~52600MHZ 注&#xff1a;早期将6GHZ已下频段作为FR1&#xff0c;但是最新的频段…

Python打发无聊时光:10.用flask创造按键控制的网页小游戏

游戏介绍: 《秦蓝大冒险》是一款简单而紧张的追逐游戏。在这个游戏中&#xff0c;玩家将控制一名名叫“吕千”的角色&#xff0c;试图在一个封闭的空间内逃避一个名为“秦蓝”的追逐者。随着时间的推移&#xff0c;“秦蓝”会不断追踪玩家的位置&#xff0c;努力捕捉到他。 游…

C语言中如何进行内存管理

主页&#xff1a;17_Kevin-CSDN博客 收录专栏&#xff1a;《C语言》 C语言是一种强大而灵活的编程语言&#xff0c;但与其他高级语言不同&#xff0c;它要求程序员自己负责内存的管理。正确的内存管理对于程序的性能和稳定性至关重要。 一、引言 C 语言是一门广泛使用的编程语…

2.1_6 线程的实现方式和多线程模型

文章目录 2.1_6 线程的实现方式和多线程模型&#xff08;一&#xff09;线程的实现方式&#xff08;1&#xff09;用户级线程&#xff08;2&#xff09;内核级线程 &#xff08;二&#xff09;多线程模型&#xff08;1&#xff09;一对一模型&#xff08;2&#xff09;多对一模…

stable diffusion webUI之赛博菩萨【秋葉】——工具包新手安裝与使用教程

stable diffusion webUI之赛博菩萨【秋葉】——工具包新手安裝与使用教程 AI浪潮袭来&#xff0c;还是学习学习为妙赛博菩萨【秋葉】简介——&#xff08;葉ye&#xff0c;四声&#xff0c;同叶&#xff09;A绘世启动器.exe&#xff08;sd-webui-aki-v4.6.x&#xff09;工具包安…

VirtualBox虚拟机配置双网卡

安装完后Linux后。下一步需要设置Linux的网络。为了便于学习测试&#xff0c;通常我们需要虚拟机能通宿主机和外网。类似达到下面的效果。虚拟机跟宿主本机和外网&#xff0c;及另外一台同网段的虚拟机也是相通 解决思路是-->配置双网卡&#xff0c;网卡1使用NAT网络模式&a…

vue组件中data为什么必须是一个函数

查看本专栏目录 关于作者 还是大剑师兰特&#xff1a;曾是美国某知名大学计算机专业研究生&#xff0c;现为航空航海领域高级前端工程师&#xff1b;CSDN知名博主&#xff0c;GIS领域优质创作者&#xff0c;深耕openlayers、leaflet、mapbox、cesium&#xff0c;canvas&#x…

fiddler抓包工具使用(一)

一、fiddler简介 1. 简介 fiddler是一款强大的抓包工具&#xff0c;它的原理以web代理服务器的形式进行工作fiddler是好用的web调试工具之一 能记录所有客户端和服务器的http和https请求修改输入、输出数据包数据允许监视设置断点弱网测试 2. 工作原理 代理就是在客户端和服…

QT C++实战:实现用户登录页面及多个界面跳转

主要思路 一个登录界面&#xff0c;以管理员Or普通用户登录管理员&#xff1a;一个管理员的操作界面&#xff0c;可以把数据录入到数据库中。有返回登陆按钮&#xff0c;可以选择重新登陆&#xff08;管理员Or普通用户普通用户&#xff1a;一个主界面&#xff0c;负责展示视频…

java动态代理面试题,java反射原理面试题

01 并发宝典&#xff1a;面试专题 面试专题分为四个部分&#xff0c;分别如下 Synchronized 相关问题 可重入锁 ReentrantLock 及其他显式锁相关问题 Java 线程池相关问题 Java 内存模型相关问题 1.1 Synchronized 相关问题&#xff08;这里整理了八问&#xff09; 问题一…

揭示预处理中的秘密!(二)

目录 ​编辑 1. #运算符 2. ##运算符 3. 命名约定 4. #undef 5. 命令行定义 6. 条件编译 7. 头文件的被包含的方式 8.嵌套文件包含 9. 其他预处理指令 10. 完结散花 悟已往之不谏&#xff0c;知来者犹可追 …

【Go-Zero】测试API查询信息无法返回数据库信息与api、rpc文件编写规范

【Go-Zero】测试API查询信息无法返回数据库信息与api、rpc文件编写规范 大家好 我是寸铁&#x1f44a; 总结了一篇测试API查询信息无法返回数据库信息与api、rpc文件编写规范的文章✨ 喜欢的小伙伴可以点点关注 &#x1f49d; 问题背景 大家好&#xff0c;我是寸铁&#xff01…

C++——基础语法(2):函数重载、引用

4. 函数重载 函数重载就是同一个函数名可以重复被定义&#xff0c;即允许定义相同函数名的函数。但是相同名字的函数怎么在使用的时候进行区分呢&#xff1f;所以同一个函数名的函数之间肯定是要存在不同点的&#xff0c;除了函数名外&#xff0c;还有返回类型和参数两部分可以…
最新文章