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.rhkb.cn/news/265282.html

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

相关文章

Stable Diffusion 3 发布及其重大改进

1. 引言 就在 OpenAI 发布可以生成令人瞠目的视频的 Sora 和谷歌披露支持多达 150 万个Token上下文的 Gemini 1.5 的几天后,Stability AI 最近展示了 Stable Diffusion 3 的预览版。 闲话少说,我们快来看看吧! 2. 什么是Stable Diffusion…

事件循环解析

浏览器的进程模型 何为进程? 程序运行需要有它自己专属的内存空间,可以把这块内存空间简单的理解为进程 每个应用至少有一个进程,进程之间相互独立,即使要通信,也需要双方同意。 何为线程? 有了进程后&…

SSM项目集成Spring Security 4.X版本 之 加入DWZ,J-UI框架实现登录和主页菜单显示

目录 前言 一、加入DWZ J-UI框架 二、实现登录页面 三、实现主页面菜单显示 前言 大家好!写文章之前先列出几篇相关文章。本文内容也在其项目中接续实现。 一. SSM项目集成Spring Security 4.X版本(使用spring-security.xml 配置文件方式&#xff…

MCU多核异构通信原理

摘要: 本文结合瑞萨RZ/G2L 多核处理器,给大家讲述一下多核异构设计及通信的原理。 随着电子技术的不断发展,以及市场需求的日益增长,嵌入式系统不仅要求执行复杂的控制任务,还需要实时地采集和处理数据。 为了满足这…

python 基础知识点(蓝桥杯python科目个人复习计划51)

今日复习计划:做复习题 例题1:大石头的搬运工 问题描述: 在一款名为“大石头的搬运工”的游戏中,玩家需要 操作一排n堆石头,进行n - 1轮游戏。 每一轮,玩家可以选择一堆石头,并将其移动到任…

使用Node.js开发一个文件上传功能

在现代 Web 应用程序开发中,文件上传是一个非常常见且重要的功能。今天我们将通过 Node.js 来开发一个简单而强大的文件上传功能。使用 Node.js 来处理文件上传可以带来许多好处,包括简单的代码实现、高效的性能和灵活的配置选项。 首先,我们…

【Pytorch深度学习开发实践学习】Pytorch实现LeNet神经网络(1)

1.model.py import torch.nn as nn import torch.nn.functional as F引入pytorch的两个模块 关于这两个模块的作用,可以参考下面 Pytorch官方文档 torch.nn包含了构成计算图的基本模块 torch,nn.function包括了计算图中的各种主要函数,包括&#…

爬虫入门五(Scrapy架构流程介绍、Scrapy目录结构、Scrapy爬取和解析、Settings相关配置、持久化方案)

文章目录 一、Scrapy架构流程介绍二、Scrapy目录结构三、Scrapy爬取和解析Scrapy的一些命令css解析xpath解析 四、Settings相关配置提高爬取效率基础配置增加爬虫的爬取效率 五、持久化数据1.在items中新建类2.在解析中,得到item对象,并且yield3.配置文件…

LabVIEW开发FPGA的高速并行视觉检测系统

LabVIEW开发FPGA的高速并行视觉检测系统 随着智能制造的发展,视觉检测在生产线中扮演着越来越重要的角色,尤其是在质量控制方面。传统的基于PLC的视觉检测系统受限于处理速度和准确性,难以满足当前生产需求的高速和高精度要求。为此&#xf…

Tomcat线程池原理(上篇:初始化原理)

文章目录 前言正文一、从启动脚本开始分析二、ProtocolHandler 的启动原理三、AbstractEndPoint 的启动原理四、创建默认线程池五、参数配置原理5.1 常规的参数配置5.2 自定义线程池5.3 测试自定义线程 前言 在Java Web的开发过程中,Tomcat常用的web容器。SpringBo…

书生·浦语大模型全链路开源体系介绍

背景介绍 随着人工智能技术的迅猛发展,大模型技术已成为当今人工智能领域的热门话题。2022 年 11 月 30 日,美国 OpenAI 公司发布了 ChatGPT 通用型对话系统 并引发了全球 的极大关注,上线仅 60 天月活用户数便超过 1 亿,成为历史…

密码学系列(四)——对称密码2

一、RC4 RC4(Rivest Cipher 4)是一种对称流密码算法,由Ron Rivest于1987年设计。它以其简单性和高速性而闻名,并广泛应用于网络通信和安全协议中。下面是对RC4的详细介绍: 密钥长度: RC4的密钥长度可变&am…

Python爬虫实战入门:爬取360模拟翻译(仅实验)

文章目录 需求所需第三方库requests 实战教程打开网站抓包添加请求头等信息发送请求,解析数据修改翻译内容以及实现中英互译 完整代码 需求 目标网站:https://fanyi.so.com/# 要求:爬取360翻译数据包,实现翻译功能 所需第三方库 …

【OnlyOffice】 桌面应用编辑器,版本8.0已发布,PDF表单、RTL支持、Moodle集成、本地界面主题

ONLYOFFICE桌面编辑器v8.0是一款功能强大、易于使用的办公软件,适用于个人用户、企业团队和教育机构,帮助他们高效地处理文档工作并实现协作。无论是在Windows、macOS还是Linux平台上,ONLYOFFICE都能提供无缝的编辑和共享体验。 目录 ONLYOFF…

Jmeter接口测试+压力测试

Jmeter-http接口脚本 一般分五个步骤:(1)添加线程组 (2)添加http请求 (3)在http请求中写入接入url、路径、请求方式和参数 (4)添加查看结果树 (5)调用接口、…

化学分子Mol2文件格式与使用注意事项

欢迎浏览我的CSND博客! Blockbuater_drug …点击进入 文章目录 前言一、Mol2文件示例二、 Mol2文件主要结构解释及注意事项MOLECULE 字段解释ATOM 字段解释BOND 字段解释SUBSTRUCTURE字段解释 总结参考资料 前言 Mol2格式文件是一个ASCII 文件,由Tripos…

STM32控制max30102读取血氧心率数据(keil5工程)

一、前言 MAX30102是一款由Maxim Integrated推出的低功耗、高精度的心率和血氧饱和度检测传感器模块,适用于可穿戴设备如智能手环、智能手表等健康管理类电子产品。 该传感器主要特性如下: (1)光学测量:MAX30102内置…

Rocky Linux 运维工具yum

一、yum的简介 ​​yum​是用于在基于RPM包管理系统的包管理工具。用户可以通过 ​yum​来搜索、安装、更新和删除软件包,自动处理依赖关系,方便快捷地管理系统上的软件。 二、yum的参数说明 1、install 用于在系统的上安装一个或多个软件包 2、seach 用…

Docker 常用操作命令备忘

Docker 一旦设置好了环境,日常就只要使用简单命令就可以运行和停止。 于是,我每次用的时候,都想不起来一些关键性的命令到底怎么用,特此记录。 一、镜像管理 从公有仓库拉取镜像 (对于使用苹果电脑 M1/M2/M3 芯片的 …

完全分布式运行模式

完全分布式运行模式 分析:之前已经配置完成 ​ 1)准备3台客户机(关闭防火墙、静态ip、主机名称) ​ 2)安装JDK ​ 3)配置环境变量 ​ 4)安装Hadoop ​ 5)配置环境变量 ​ 6&am…