「RISC-V Arch」SBI 规范解读

news2025/8/2 16:52:45

术语


SBI,Supervisor Binary Interface,管理二进制接口

U-Mode,User mode,用户模式

S-Mode,Supervisor mode,监督模式

VS-Mode,Virtualization Supervisor mode,虚拟机监督模式

M-Mode,Machine mode,机器模式,类似 ARM 的 EL3

HS-Mode,Hypervisor mode,管理模式,类似 ARM 的 EL2

SEE, Supervisor Execution Environment ,监督执行环境

规范修正历史


Version 1.0.0

•发布前更新版本

Version 1.0-rc3

•更新调用规约

•修正 PMU 一个类型

•增加缩写表

Version 1.0-rc2

•更新 RISC-V 格式

•提升指令

•删除 RV32 的参考

Version 1.0-rc1

•一个类型修改

Version 0.3.0

•一些类型修改

•更新 license 详细信息,取代超链接方式

Version 0.3-rc1

•改善文档风格和命名方式

•添加 SBI 系统复位支持

•改善 SBI 指令部分

•改善 SBI hart 状态管理的文档

•SBI hart 状态管理添加 suspend 功能

•增加性能监视器单元扩展

•澄清 SBI 不能是部分实现的

Version 0.2

•将 v0.1 放到 lagency 部分以达到向前兼容,比如 v0.1 不支持 probe。

第一章 介绍


这个规范描述了 RISC-V 超级二进制接口,即SBI,通过 SBI 接口, RISC-V 能够实现 S 模式、VS 模式代码能够在不同的平台之间的可移植性。SBI 遵循了 RISC-V 的设计哲学,由一个非常小的核心部分和一些可选的模块扩展组成。

SBI 整体来说是一个扩展,也就是说要不实现,要么就要完整实现。如果 sbi_probe_extention 指示出某个功能可用,那么所有版本要求的功能都需要实现,这个版本可以通过 sbi_get_spec_version 来获得。

高特权软件向管理模式提供 SBI 接口支持,这个软件可以叫做 SBI 实现或者 SEE。SEE 可以是图1中的 M 模式下运行时固件,也可以是图2 中的 HS 模式运行的虚拟机管理程序。

图1 无虚拟化扩展 RISC-V 系统

图2 有虚拟化扩展的 RISC-V 系统

 SBI 规范不会指定任何硬件发现的方法,S 模式软件必须通过其他工业标准来获取,比如 Device Tree 或者 ACPI。

第二章 规范中的术语和缩写


 第三章 二进制编码


所有的 SBI 功能/函数都共享同样的二进制编码,混合了各种 SBI 扩展。SBI 规范遵循下面的调用规约:

  • ECALL 用做 supervisor 和 SEE 之间的控制传输指令;
  • a7 是编码的 SBI 扩展 ID (EID);
  • a6 是编码的是 EID 中具体的 SBI 函数 ID (FID),由 SBI v0.2 定义;
  • 除了 a0 和 a1寄存器以外,其他寄存器必须由被调用者保存
  • SBI 函数必须在 a0 和 a1 中返回一对数值,a0 是返回的错误码,a1 是数据,和如下 C 结构体类似
struct sbiret {
        long error;
        long value;
    };

 为了命名的兼容性,SBI EID 和 FID 都采用 32 位的寄存器,在寄存器传输时,符合上面的调用规约。

表1 提供了标准的 SBI 错误码

表1 SBI 标准错误码

 使用 ECALL 时,如果 EID 或 FID 不支持,那么必须返回错误码 SBI_ERR_NOT_SUPPORTED。

每一个 SBI 函数应该首选 unsigned long 作为数据类型。这会使得规范简单并且容易被 RISC-V ISA 类型接受。这种情况下数据被定义为 32位宽,高特权软件必须保证其只使用 32位 数据。

如果 SBI 函数想要给高特权模式传递一个 harts 列表,那么必须使用下面的 hart 掩码。这个适用于 v0.2及以后的版本。

任何需要一个 hart 掩码的函数,不要传递下面两个参数:

  • unsigned long hart_mask,一个包含了hart id的标量位向量
  • unsigned long hart_mask_base,一个位向量中必须进行计算的 hart id 起始位置

在一个 SBI 函数调用中,最大的 hart 数通过 XLEN 设置,如果低特权级别想要传输更多关于 XLEN 的信息,那么就需要调用多个 SBI 函数调用实例,hart_mask_base 能够设置为 -1 来指示 可以忽略 hart_mask,需要考虑所有可用的 hart。

任何一个使用 hart 掩码的函数可能会返回下表中的错误码,这些错误码是函数特定的错误码。

表2 HART 掩码错误

 第四章 基础扩展(EID #0x10)


基础扩展已经是尽可能的最小化了,因此基础扩展只包含了获得 SBI 扩展集及其版本的一些功能。SBI 实现必须实现所有基础扩展中的函数,也就是说不能返回任何错误码。

4.1 函数:获取 SBI 标准版本(FID #0)

4.2 函数:获取 SBI 实现 ID (FID #1)

4.3 函数:获取 SBI 实现版本 (FID #2)

4.4 函数:探测 SBI 扩展 (FID #3)

4.5 函数:获取机器供应商 ID (FID #4)

4.6 函数:获取机器架构 ID (FID #5)

4.7 函数:获取机器实现 ID (FID #6)

4.8 函数列表

表3 基础函数列表

 4.9 SBI 实现 IDs

表4 SBI 实现 IDs

 第五章 Legancy 扩展(EIDs #0x00 - 0x0F)


皮格马利翁效应心理学指出,赞美、赞同能够产生奇迹,越具体,效果越好~

“收藏夹吃灰”是学“器”练“术”非常聪明的方法,帮助我们避免日常低效的勤奋~

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

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

相关文章

嵌入式 Linux Shell编程

目录 1、shell脚本 2、执行shell脚本 3、shell脚本编写 3.1 shell变量 3.2 标准变量或环境变量 3.4 变量赋值有五种格式 3.5 运算符和表达式 关系运算符 布尔运算符 3.6 Test命令用法 1、判断表达式 2、判断字符串 3.判断整数 4、判断文件 3.7 数组 1、数组定义…

什么是 RPA ?What is robotic process automation (RPA)?

目录 前言 What is a business process? 什么是业务流程? What does "robotic process automation" mean?“机器人过程自动化”是什么意思? What is robotic process automation (RPA)?什么是机器人流程自动化 (RPA)? What

SGI 空间配置器

前言 空间配置器是 STL 六大组件之一,它总是隐藏在容器的背后,默默工作,默默付出。本文为《STL 源码剖析》读书笔记,主要讨论 SGI 版本空间的配置和释放,对代码进行解读时会改变一些写法,使其更易于阅读。…

__stack_chk_fail问题分析

一、问题进程收到SIGABRT信号异常退出,异常调用栈显示__stack_chk_fail*** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** Build fingerprint: Pico/A7H10/PICOA7H10:10/5.5.0/smartcm.1676912090:userdebug/dev-keys Revision: 0 ABI: arm64 Times…

VS Code下载安装教程

VS Code下载安装使用教程 目录VS Code下载安装使用教程一、下载二、安装三、使用教程3.1 VS Code中的第一个页面HelloWorld.html3.2 VS Code插件安装3.2.1 安装中文界面3.2.3 安装 Open in Browser插件3.2.4 安装Auto Rename Tag插件注意:3.3 code .命令&#xff0c…

EasyNLP集成K-Global Pointer算法,支持中文信息抽取

作者:周纪咏、汪诚愚、严俊冰、黄俊 导读 信息抽取的三大任务是命名实体识别、关系抽取、事件抽取。命名实体识别是指识别文本中具有特定意义的实体,包括人名、地名、机构名、专有名词等;关系抽取是指识别文本中实体之间的关系;…

代码随想录算法训练营第十天 | 理论基础、232.用栈实现队列、225. 用队列实现栈

打卡第10天,今天学习栈和队列 今日任务 理论基础232.用栈实现队列 用队列实现栈 理论基础 栈:先进后出 队列:先进先出 栈和队列是STL(C标准库)里面的两个数据结构 在 SGI STL 中,栈和队列的底层实现 栈…

Android使用FrameLayout+RecyclerView实现悬浮置顶封装功能

一、实际开发效果图默认效果:滚动后的效果:二、效果实现方式CoordinatorLayout AppBarLayout RecyclerView(适用于简单的悬浮View不超过一屏的情况,头部固定,数据简单)FrameLayout RecyclerView(适用于复杂的多条目布局,且悬浮条目位置受后…

移动硬盘无法识别?恢复硬盘,问题已解决

移动硬盘和U盘比较,它的体积是比较大的,但是相应的存储位置就会大点。它作为可移动设备,对于存储大型的数据,还是非常方便的。 有时候用户会发现移动硬盘出现一些问题,移动硬盘与电脑连接后,在电脑桌面右下…

java自定义注解实现数据字典映射

一 :前言 在我们开发过程中,我们从前端页面接收的数据字典一般都是key(大多数为数字),但我们在页面显示的时候,想用其value值。如果我们每使用一次就要去写一些重复的代码去查询,这样会使我们的…

SharePoint Online CDN简介

前言 可能很多人并不了解CDN这个概念,不过作为Web从业人员着实不该,CDN就是内容分发网络,说白了就是第三方帮你托管静态资源,你可以在全球任何位置快速访问到对应的节点的资源。 正文 我们提到的SharePoint CDN,其实更…

高精度加减乘除

高精度加法 对于给定的两个特别大的数我们用两个字符串来接收 s1和s2。 例如:对于两个数 56215455和95425453,即 s1 "56215455" , s2 "95425453"。 对于这两个数,分别用两个列表 a和b来接收(例如&#x…

LeetCode-78. 子集

题目来源 78. 子集 题目思路 其实子集也是一种组合问题,因为它的集合是无序的,子集{1,2} 和 子集{2,1}是一样的。 那么既然是无序,取过的元素不会重复取,写回溯算法的时候,for就要从startIndex开始,而在这…

华为OD机试题,用 Java 解【比赛评分】问题

最近更新的博客 华为OD机试 - 猴子爬山 | 机试题算法思路 【2023】华为OD机试 - 分糖果(Java) | 机试题算法思路 【2023】华为OD机试 - 非严格递增连续数字序列 | 机试题算法思路 【2023】华为OD机试 - 消消乐游戏(Java) | 机试题算法思路 【2023】华为OD机试 - 组成最大数…

开源单点登录MaxKey和JeeSite 单点登录集成指南

1. JeeSite介绍 JeeSite 隶属于济南卓源软件有限公司,是一个 Java 快速开发平台, 基于经典技术组合(Spring Boot、Shiro、MyBatis、BeetlBootstrap or TSVue3)在线代码生成工具, 支持 Spring Cloud 架构,分…

MYSQL 索引失效的十个场景(一)

一、查询条件包含or,可能导致索引失效 新建一个student表,它有一个普通索引userId,结构如下: CREATE TABLE student (id varchar(32) COLLATE utf8mb4_unicode_ci NOT NULL,name varchar(50) COLLATE utf8mb4_unicode_ci DEFAUL…

移动端适配的理解和各种方案解析(详解)

前言:最近在弄移动端项目,记录一下移动端的应用方案。对各个方案的解决理解。 目录 1.什么是移动端适配 2.理解视口viewport 2.1PC端的视口 2.2移动端的视口 2.2.0 PC端的网页在移动端显示的问题 2.2.1 布局视口 2.2.2 视觉视口 (visual viewport) …

一看就懂的Semaphore源码解析,诸佬们快来看看吧

前言:一位朋友问到了我Semaphore类相关的知识,简单看了一下源码复习了一下,写下本篇文章做一个回顾。 希望能够加深自己的印象以及帮助到其他的小伙伴儿们😉😉。 如果文章有什么需要改进的地方还请大佬不吝赐教&#x…

华为OD机试题,用 Java 解【航天器】问题

最近更新的博客 华为OD机试 - 猴子爬山 | 机试题算法思路 【2023】华为OD机试 - 分糖果(Java) | 机试题算法思路 【2023】华为OD机试 - 非严格递增连续数字序列 | 机试题算法思路 【2023】华为OD机试 - 消消乐游戏(Java) | 机试题算法思路 【2023】华为OD机试 - 组成最大数…

CSCode 配置一条龙 CPP/CC

下载 官⽹下载地址:Download Visual Studio Code - Mac, Linux, Windows 下载太慢,推荐⽂章:解决VsCode下载慢问题_wang13679201813的博客-CSDN博客_vscode下载慢 安装 无脑下一步 推荐插件 免配置: 1. Remote - SSH - 远程…