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://xiahunao.cn/news/2814680.html

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

相关文章

高级语言期末2011级A卷(软件学院)

1.编写函数&#xff0c;判定正整数m和n&#xff08;均至少为2&#xff09;是否满足&#xff1a;数m为数n可分解的最小质因数&#xff08;数n可分解的最小质因数为整除n的最小质数&#xff09; 提示&#xff1a;判定m为质数且m是n的最小因数 #include <stdio.h> #include…

【C语言】linux内核ipoib模块 - ipoib_ib_post_receive

一、中文注释 用于以太网接口&#xff08;InfiniBand&#xff09;上的IP over IB&#xff08;IPoIB&#xff09;设备的Linux内核函数&#xff0c;负责将接收缓冲区&#xff08;一个包&#xff09;提交到网络设备的队列中等待数据到达。下面是中文注释版本的函数代码&#xff1…

数仓模型设计方法论

在当今大数据时代&#xff0c;数据已经成为企业最重要的资产之一。而数据仓库作为企业数据管理和分析的核心基础设施&#xff0c;其设计方法论对于企业的数据治理和决策分析至关重要。本文将探索数仓模型设计的方法论&#xff0c;帮助读者更好地理解和应用数仓模型设计。 一、…

nodejs 实现pdf与图片互转

PDF转图片 效果图 代码 const path require(path); const pdf require(pdf-poppler); const fs require(fs); // PDF文件路径 const pdfFilePath ./path/test.pdf; // 转换选项 const opts { format: png, // 输出图片格式&#xff0c;可以是 jpeg, png, ppm…

华为ipv6 over ipv4 GRE隧道配置

思路&#xff1a; PC1访问PC2时&#xff0c;会先构造源ipv6为2001:1::2&#xff0c;目的IPV6为2001:2::2的ipv6报文&#xff0c;然后查看PC1的路由表&#xff0c;发送到R1&#xff0c;r1接收后&#xff0c;以目的IPV6地址2001:2::2查询IPV6路由表&#xff0c;出接口为tun0/0/0…

如何运行github上的项目

为了讲明白这个过程&#xff0c;特意做了一个相当来说比较好读懂的原理图&#xff0c;希望和我一样初学的小伙伴也能很快上手哈&#x1f60a; 在Github中找到想要部署的项目&#xff0c;这里以BartoszJarocki/CV&#xff08;线上简历&#x1f4c4;&#xff09;项目为例 先从头…

在两台CentOS 7服务器上部署MinIO集群---准确

环境说明&#xff1a; 2台Centos7服务器 IP地址分别为172.16.1.9和172.16.1.10 1. 创建minio用户和目录 在两台服务器上执行以下命令&#xff1a; sudo useradd -m -d /app/minio minio sudo mkdir -p /app/minioData sudo mkdir -p /app/minio/logs sudo chown -R mini…

Golang embed 库全面解析:从基础到高级应用

Golang embed 库全面解析&#xff1a;从基础到高级应用 引言Golang的 embed&#xff1a;简化资源管理提升可移植性与便利性适用场景的拓展 embed 库的基本概念embed 库的工作原理使用 embed 的基本语法访问嵌入资源的方法embed 的限制 如何使用 embed嵌入单个文件嵌入整个目录结…

嵌入式 Linux 下的 LVGL 移植

目录 准备创建工程修改配置修改 lv_drv_conf.h修改 lv_conf.h修改 main.c修改 Makefile 编译运行更多内容 LVGL&#xff08;Light and Versatile Graphics Library&#xff0c;轻量级通用图形库&#xff09;是一个轻量化的、开源的、在嵌入式系统中广泛使用的图形库&#xff0c…

疫情物资智能管理:Java与SpringBoot的实践

✍✍计算机毕业编程指导师 ⭐⭐个人介绍&#xff1a;自己非常喜欢研究技术问题&#xff01;专业做Java、Python、微信小程序、安卓、大数据、爬虫、Golang、大屏等实战项目。 ⛽⛽实战项目&#xff1a;有源码或者技术上的问题欢迎在评论区一起讨论交流&#xff01; ⚡⚡ Java、…

基于MQTT协议实现微服务架构事件总线

一、场景描述 昨天在博客《客户端订阅服务端事件的实现方法》中提出了利用websocket、服务端EventEmitter和客户端mitt实现客户端订阅服务端事件&#xff0c;大大简化了客户端对服务端数据实时响应的逻辑。上述方案适用于单服务节点的情形。 对于由服务集群支撑的微服务架构&…

Apple的这篇人工智能论文提出了声学模型融合,用以大幅降低语音识别系统中的单词错误率

Apple人工智能论文在提高自动语音识别 (ASR) 系统的准确性和效率方面取得了重大改进。最近的研究深入探讨将外部声学模型 (AM) 集成到端到端 (E2E) ASR 系统中&#xff0c;提出了一种解决域不匹配这一持续挑战的方法&#xff0c;这是语音识别技术中的常见障碍。Apple的这种方法…

【BUG 记录】史诗级 BUG - MYSQL 删库删表却没有备份如何恢复数据

【BUG 记录】史诗级 BUG - MYSQL 删库删表却没有备份如何恢复数据 1. 问题描述2. 解决方案&#xff08;binlog&#xff09;2.1 构造测试环境2.2 查看 MySQL 环境是否开启 binlog2.3 查看所有的 binlog 日志记录2.4 查看当前正在使用的是哪一个 binlog 文件2.5 查看此时的 binlo…

springboot整合websocket,入门学习

websocket 1.简介2.常见的消息推送方式2.1轮询方式2.1.1短轮询2.1.2长轮询 2.2 SSE(server-sent event):服务器发送事件2.3 websocket 3.原理解析4.websocket API4.1客户端&#xff08;浏览器&#xff09;API4.2服务端API 5.实现1.流程分析2.消息格式3.代码实现 1.简介 websoc…

如何用好应用权限,保护隐私数据?银河麒麟桌面操作系统V10 SP1 2303 update2新功能解析

为您介绍银河麒麟桌面操作系统V10 SP1 2303 update2隐私设置和权限管理功能&#xff0c;为您的个人数据安全保驾护航。 说到个人数据隐私&#xff0c;在科技重塑生活本质的数字世界&#xff0c;个人信息遭受持续威胁。2018年&#xff0c;某国际知名社交平台因安全系统漏洞而遭…

OpenAI划时代大模型——文本生成视频模型Sora作品欣赏(八)

Sora介绍 Sora是一个能以文本描述生成视频的人工智能模型&#xff0c;由美国人工智能研究机构OpenAI开发。 Sora这一名称源于日文“空”&#xff08;そら sora&#xff09;&#xff0c;即天空之意&#xff0c;以示其无限的创造潜力。其背后的技术是在OpenAI的文本到图像生成模…

docker 容器修改端口和目录映射

容器修改端口映射 一般在运行容器时&#xff0c;我们都会通过参数 -p&#xff08;使用大写的-P参数则会随机选择宿主机的一个端口进行映射&#xff09;来指定宿主机和容器端口的映射&#xff0c;例如 docker run -it -d --name [container-name] -p 8088:80 [image-name]这里…

数据结构:循环队列

一、队列的概念 操作受限的线性表&#xff0c;允许在队列的一端执行入队操作&#xff0c;另一端执行出队操作 先进先出(FIFO) 1.顺序队列 物理结构连续&#xff0c;依赖于数组实现 队列中有一个队头指针和队尾指针&#xff0c;队头指针保存每次要出队的元素&#xff0c;队…

网站三合一缩略图片介绍展示源码

网站三合一缩略图片介绍展示源码&#xff0c;PHP源码&#xff0c;运行需要php环境支持&#xff0c;效果截图如下 蓝奏云下载&#xff1a;https://wfr.lanzout.com/ihY8y1pgim6j

Springboot+vue的考务报名平台(有报告)。Javaee项目,springboot vue前后端分离项目。

演示视频&#xff1a; Springbootvue的考务报名平台&#xff08;有报告&#xff09;。Javaee项目&#xff0c;springboot vue前后端分离项目。 项目介绍&#xff1a; 本文设计了一个基于Springbootvue的前后端分离的考务报名平台&#xff0c;采用M&#xff08;model&#xff0…