从零学习开发一个RISC-V操作系统（四）丨RISC-V汇编语言编程

本篇文章的内容

  • 一、RISC-V汇编语言简介
    • 1.1 RISC-V 汇编语言的基本格式
    • 1.2 RISC-V 汇编指令操作对象
    • 1.3 RISC-V 汇编指令编码格式
    • 1.4 RISC-V 汇编指令分类
  • 二、RISC-V汇编语言详解
    • 2.1 add 加法指令
    • 2.2 sub 减法指令

  本系列是博主参考B站课程学习开发一个RISC-V的操作系统的学习笔记，计划从RISC-V的底层汇编指令学起，结合C语言，在Ubuntu 20.04上开发一个简易的操作系统。一个目的是通过实践操作学习和了解什么是操作系统，第二个目的是为之后学习RISC-V的集成电路设计打下一定基础。本系列持续不定期更新，分享出来和大家一同交流进步。
  博主是微电子科学与工程专业的学生，对软件和操作系统难免有理解不到位的地方。如有谬误敬请不吝告知，不胜感激。
  参考课程及文章：
  【Bilibili】[完结] 循序渐进，学习开发一个RISC-V上的操作系统 - 汪辰 - 2021春

一、RISC-V汇编语言简介

  汇编语言（Assembly Language）是一种“低级”语言。不同的架构的汇编语言是不同的，因为底层的寄存器的个数和功能不同。例如x86的机器语言在RISC-V的机器上是无法运行的，但是使用高级语言时完全不需要考虑底层的机器语言。我们使用不同的编译器将高级语言翻译成不同的机器语言，来完成对内存和指令的管理和优化。而正是由于这一点，使用汇编语言时完全不需要考虑不同编译器的影响，这也是汇编语言的灵活性的体现。本课程学习和使用的汇编语言是RISC-V汇编语言，其依赖于RISC-V独有的GNU汇编器，所以将RISC-V的汇编程序移植到其他架构的处理器上也是无法运行的。

  • 汇编语言的缺点：难读、难写、难移植
  • 汇编语言的优点：灵活、强大
  • 汇编语言的应用场景
    • 需要直接访问底层硬件的地方
    • 需要对性能执行极致优化的地方

1.1 RISC-V 汇编语言的基本格式

  一个完整的RISC-V汇编程序有多条语句（statement）组成，汇编文件一般由.s结尾（不包含预处理语句，是纯粹的汇编语句）。一条典型的RISC-V汇编语句由3部分组成，分为标签、操作和注释：

[label:] [operation] [comment]
  • label（标号）: GNU汇编中，任何以冒号结尾的标识符都被认为是一个标号。标号相当于给一个指令所在的地址起的一个名字。
  • operation 可以有以下多种类型：
    • instruction（指令）: 直接对应二进制机器指令的字符串，例如add。
    • pseudo-instruction（伪指令）: 一些指令的组合。它并不对应二进制机器指令，只是为了提高编写代码的效率，可以用一条伪指令指示汇编器产生多条实际的指令(instructions)，方便程序的使用，例如li。在理解和做法上与自定义的函数类似。
    • directive（指示/伪操作）: 通过类似指令的形式(以“.”开头)，通知汇编器如何控制代码的产生等，不对应具体的RISC-V指令，由汇编器自身定义，例如.text、.global、.end、.macro、.endm等。在理解和应用上类似C语言中的#define语句。
    • macro（宏）：采用指示/伪操作 .macro/.endm 自定义的宏，汇编器碰到宏时会自动将宏替换成对应定义的内容。
  • comment（注释）: 常用方式，#开始到当前行结束，也有些汇编器定义;或//开头的注释格式。

  下面是一个简单的RISC-V的汇编语言程序：

# fitst RISC-V Assemble Sample

.macro do_nothing
    nop
    nop
.endm

    .text
    .global _start

_start:
    li x6, 5 # x6 = 5
    li x7, 4 # x7 = 4

    add x5, x6, x7 # x5 = x6 + x7
    do_nothing

stop: 
    j stop  # jump to stop
    .end

1.2 RISC-V 汇编指令操作对象

  1. 寄存器
  • 32个寄存器，x0~x31（本节课只设计RV32I的通用寄存器组）
  • 在RISC-V中，Hart在执行算数逻辑运算时所操作的数据必须直接来自寄存器（Hart可以认为是处理器执行指令的最小单元，类似传统的CPU概念，但是与CPU不同），如果数据存在内存中，必须首先将要操作的数据转移到寄存器中，Hart才能对数据进行处理，计算之后的结果也只能存在寄存器中，之后根据需要再转移到外部的内存空间中。
    在这里插入图片描述
    上图中，XLEN表示机器的字长，RV32I的ISA对应的XLEN对应的就是32位。x0寄存器很特殊，其中的值恒为0，且不允许写操作，读出的值恒为0。pc即指针计数器寄存器在RISC-V中是禁止被访问的。获取程序当前运行的位置需要用特殊的方法实现。
  1. 内存
  • Hart可以执行在寄存器和内存之间的数据读写操作；
  • 读写操作时，使用字节（Byte）为基本单位进行寻址；
  • RV32可以访问最多 2 32 2^{32} 232个字节的内存空间。

1.3 RISC-V 汇编指令编码格式

  做底层开发的时候，经常需要进行逐字节对照查阅指令。可以根据手册（RISC-V非特权指令集）查阅每个指令的含义。
在这里插入图片描述

  • 指令长度：在RISC-V汇编指令的规范中，所有的指令的长度都是固定的（在非压缩的情况下讨论）。RV32I中指令长度ILEN1 = 32bit。

  • 指令对齐：指一条指令开始的地址，IALIGN = 32bit表示指令开始的地址一定是4的倍数，程序加载的时候一定从这样一个指令开始的地方开始加载。

  • 每个32bit构成一个域。

  • funct3/funct7和opcode共同决定了最终的指令类型。以add指令为例，它对应的opcode为0110011，通过查阅下标可以发现它是一条OP类型的指令。
    在这里插入图片描述

  • 指令在程序中按小端序（Little-Endian）排列（底字节存入低地址，高字节存入高地址）。不同的CPU规定的主机字节序不同。

  • RISC-V中有六种不同的指令格式（format）：

    • R-type:（Register），每条指令中有三个 fields，用于指定 3 个寄存器参数（选择的寄存器编号）
    • I-type: （Immediate），每条指令除了带有两个寄存器参数外，还带有一个立即数参数（宽度为 12 bits）。
    • S-type: （Store），每条指令除了带有两个寄存器参数外，还带有一个立即数参数（宽度为 12 bits，但 fields 的组织方式不同于 I-type）
    • B-type: (Branch)，每条指令除了带有两个寄存器参数外，还带有一个立即数参数（宽度为 12bits，但取值为 2 的倍数）。
    • U-type: （Upper），每条指令含有一个寄存器参数再加上一个立即数参数（宽度为 20bits，用于表示一个立即数的高 20 位）
    • J-type: （Jump），每条指令含有一个寄存器参数再加上一个立即数参数（宽度为 20bits）

1.4 RISC-V 汇编指令分类

  RISC-V中常用的汇编指令如下表所示：
在这里插入图片描述
  伪指令很多，一条伪指令具体执行哪些代码可以在 RISC-V非特权指令集手册 中的 RISC-V Assembly Programmer’s Handbook 章节查阅到。

二、RISC-V汇编语言详解

2.1 add 加法指令

在这里插入图片描述

  • 编码格式：R-type
  • opcode: 0110011
  • funct3 = 000, funct7 = 0000000
# Add
# Format:
#	ADD RD, RS1, RS2
# Description:
#	The contents of RS1 is added to the contents of RS2 and the result is 
#	placed in RD.

	.text				# Define beginning of text section
	.global	_start		# Define entry _start

_start:
	li x6, 1			# x6 = 1
	li x7, 2			# x7 = 2
	add x5, x6, x7		# x5 = x6 + x7

stop:
	j stop			# Infinite loop to stop execution

	.end			# End of file

Makefile操作须知
  在仓库代码中的common.mk文件中有如下的一段代码，它的意思是启动虚拟机qemu的系统模式（汇编直接编译出的代码是不能在操作系统的裸机上直接运行的，即不能在用户user模式下运行），参数-nographic表示不启动图形界面，-smp 1表示只启动一个Hart，-machine virt表示启动virt的机器类型。

QEMU = qemu-system-riscv32
QFLAGS = -nographic -smp 1 -machine virt -bios none

  运行指令make debug时实际运行的是如下的代码。-s表示在目标机（模拟机）中启动gdbserver，二者建立网络链接（在这个环境中实际上是内部网络的回环），-S表示启动调试模式后程序暂停运行。-x ${GDBINIT}表示启动一个gdb的调试脚本，自动运行gdb的相关指令，脚本的内容可以在文件gdbinit文件中找到

.PHONY : debug
debug: all
	@echo "Press Ctrl-C and then input 'quit' to exit GDB and QEMU"
	@echo "-------------------------------------------------------"
	@${QEMU} ${QFLAGS} -kernel ${EXEC}.elf -s -S &
	@${GDB} ${EXEC}.elf -q -x ${GDBINIT}

在这里插入图片描述

  编译运行后，发现test.bin文件只有16个字节，对应程序中确实只有四条指令。test.elf文件中除了指令本身之外还有很多调试相关的内容。
在这里插入图片描述
  输入命令make hex可以看到test.bin中的数据，可以根据这些数据将所有指令反汇编出来（也可以使用make code命令自动进行反汇编）：
在这里插入图片描述
  使用make debug命令对程序进行调试，在gdb页面中，输入si(step instruction)单步运行程序（makefile中已经将断点设置在.start处了）。可以看到，x6，x7，x5的值会依次变化。

如果要退出qemu中的gdb，一定要先 Ctrl+C，之后再输入quit和确认y进行退出，否则会遇到qemu的后台程序杀不死的问题，导致下次启动错误。

在这里插入图片描述

2.2 sub 减法指令

在这里插入图片描述

  • 编码格式：R-type
  • opcode: 0110011
  • funct3 = 000, funct7 = 0100000
# Substract
# Format:
#	SUB RD, RS1, RS2
# Description:
#	The contents of RS2 is subtracted from the contents of RS1 and the result
#	is placed in RD.

	.text				# Define beginning of text section
	.global	_start		# Define entry _start

_start:
	li x6, -1			# x6 = -1
	li x7, -2			# x7 = -2
	sub x5, x6, x7		# x5 = x6 - x7

stop:
	j stop			# Infinite loop to stop execution

	.end			# End of file

  原创笔记，码字不易，欢迎点赞，收藏~ 如有谬误敬请在评论区不吝告知，感激不尽！博主将持续更新有关嵌入式开发、机器学习方面的学习笔记。

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

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

相关文章

瑞_力扣LeetCode_104. 二叉树的最大深度

瑞_力扣LeetCode_104. 二叉树的最大深度

文章目录 题目 104. 二叉树的最大深度题解后序遍历 递归实现后序遍历 迭代实现层序遍历 🙊 前言：本文章为瑞_系列专栏之《刷题》的力扣LeetCode系列，主要以力扣LeetCode网的题进行解析与分享。本文仅供大家交流、学习及研究使用，禁…
阅读更多...
关于图像分割项目的可视化脚本

关于图像分割项目的可视化脚本

1. 前言 之前实现了目标检测和图像分类任务的可视化脚本，本章将最后一个分割任务的可视化脚本实现 效果展示如下： 代码会在当前目录保存展示好的图片，从左到右依次为，原图、mask图、mask覆盖在原图的掩膜图 关于目标检测的可视化…
阅读更多...
最长子字符串的长度(二) - 华为OD统一考试

最长子字符串的长度(二) - 华为OD统一考试

OD统一考试（C卷） 分值： 200分 题解： Java / Python / C 题目描述 给你一个字符串 s，字符串s首尾相连成一个环形 ，请你在环中找出’l’、‘o’、‘x’ 字符都恰好出现了偶数次最长子字符串的长度。 输入描…
阅读更多...
保护隐私数据：使用Java `transient`关键字

保护隐私数据：使用Java `transient`关键字

欢迎来到我的博客，代码的世界里，每一行都是一个故事 保护隐私数据：使用Java transient关键字 前言什么是java对象序列化transient关键字的基础知识序列化与反序列化过程避免transient的陷阱 前言 在数字时代，数据安全至关重要。无…
阅读更多...
单片机中MCU跑RTOS相比裸机的优势

单片机中MCU跑RTOS相比裸机的优势

经常有读者问关于RTOS的问题，比如：我现在要不要学习RTOS？ 学习RTOS有什么好处？ 我的项目要不要跑RTOS？ 问这些问题，其实归根结底还是对RTOS理解的不够，项目开发的经验还不足等。针对这部分朋友…
阅读更多...
JVM系列-4.类加载器

JVM系列-4.类加载器

👏作者简介：大家好，我是爱吃芝士的土豆倪，24届校招生Java选手，很高兴认识大家📕系列专栏：Spring原理、JUC原理、Kafka原理、分布式技术原理、数据库技术、JVM原理🔥如果感觉博主的文…
阅读更多...
RK3568平台 TinyAlsa集成第三方音频算法

RK3568平台 TinyAlsa集成第三方音频算法

一.tinyalsa介绍 ALSA（Advanced Linux Sound Architecture）是一个开源项目，涵盖了用户空间和内核空间对音频设备的操作接口，通过应用层使用alsalib可以实现对音频设备的控制 TinyAlsa是android推出的一个精简的ALSA库&#xff0c…
阅读更多...
美易官方《惊爆财务丑闻，有空头已经赚了十倍》

美易官方《惊爆财务丑闻，有空头已经赚了十倍》

惊爆财务丑闻，“四大粮商”之首ADM股价暴跌，有空头已经赚了十倍 近日，一起惊爆市场的财务丑闻让全球投资者为之震惊。作为全球最大的农业综合企业之一，“四大粮商”之首的ADM（Archer Daniels Midland）被曝涉…
阅读更多...
PLC从HTTP服务端获取JSON文件，解析数据到寄存器

PLC从HTTP服务端获取JSON文件，解析数据到寄存器

智能网关IGT-DSER集成了多种PLC协议，方便实现各种PLC与HTTP服务端之间通讯。通过网关的参数配置软件绑定JSON文件的字段与PLC寄存器地址，配置URL，即可采用POST命令，将JSON文件提交给HTTP的服务端； 服务端有返回的JSON&…
阅读更多...
【Linux系统编程三十】线程池实现

【Linux系统编程三十】线程池实现

线程池实现 一.线程池的本质二.类内创建线程三.代码实现 一.线程池的本质 线程池里面存储的都是一批已经创建好的线程，当线程池里有数据时，这批线程就会被唤醒去竞争数据，当线程池里没有数据时，这批线程就去休眠等待。 线程池的…
阅读更多...
基于SpringBoot Vue汽车租赁系统

基于SpringBoot Vue汽车租赁系统

大家好✌！我是Dwzun。很高兴你能来阅读我，我会陆续更新Java后端、前端、数据库、项目案例等相关知识点总结，还为大家分享优质的实战项目，本人在Java项目开发领域有多年的经验，陆续会更新更多优质的Java实战项目&#x…
阅读更多...
QTableWidget 双击单元格修改数据

QTableWidget 双击单元格修改数据

本章介绍通过双击单元格，进入单元格，进行编辑，并对比是否修改了数据，如果修改了更新到数据库。 其他关于QTableWidget的操作，请查看上一篇文章《QTableWidget 用法-CSDN博客》 修改单元格内容，与原值比较…
阅读更多...
jQuery鼠标事件、键盘事件、浏览器事件

jQuery鼠标事件、键盘事件、浏览器事件

鼠标事件 1、.click( ): 点击事件 html文档 <!DOCTYPE html> <html><head><meta charset"utf-8"><title></title><script src"jQuery.js"></script></head><body><p>haha 1</p&g…
阅读更多...
C++面试宝典第23题：乌托邦树

C++面试宝典第23题：乌托邦树

题目 乌托邦树每年经历2个生长周期。每年春天，它的高度都会翻倍。每年夏天，他的高度都会增加1米。对于一颗在春天开始时种下的高为1米的树，问经过指定周期后，树的高度为多少？ 输入描述：输入一个数字N（0 <= N <= 1000），表示指定周期。 比如：样例输入为3。 输出描…
阅读更多...
web开发学习笔记（13.mybatis基于注解配置）

web开发学习笔记（13.mybatis基于注解配置）

1.使用mybatis基本步骤 2.引入依赖 <!-- mysql--><dependency><groupId>com.mysql</groupId><artifactId>mysql-connector-j</artifactId></dependency> <!-- mybatis--><dependency><groupId>org…
阅读更多...
信息检索与数据挖掘 | （七）概率检索模型

信息检索与数据挖掘 | （七）概率检索模型

文章目录 &#x1f4da;基本概率论知识&#x1f4da;概率排序原理PRP-probability ranking principle&#x1f4da;二值独立模型BIM-Binary Independence Model&#x1f4da;Okapi BM25模型 出于一些追求完整性的强迫症&#xff0c;开始做考完试了梳理知识点博客的离谱行为&…
阅读更多...
【目标检测】YOLOv7算法实现(二)：正样本匹配(SimOTA)与损失计算

【目标检测】YOLOv7算法实现(二)：正样本匹配(SimOTA)与损失计算

本系列文章记录本人硕士阶段YOLO系列目标检测算法自学及其代码实现的过程。其中算法具体实现借鉴于ultralytics YOLO源码Github&#xff0c;删减了源码中部分内容&#xff0c;满足个人科研需求。   本篇文章在YOLOv5算法实现的基础上&#xff0c;进一步完成YOLOv7算法的实现。…
阅读更多...
分布式深度学习中的数据并行和模型并行

分布式深度学习中的数据并行和模型并行

&#x1f380;个人主页&#xff1a; https://zhangxiaoshu.blog.csdn.net &#x1f4e2;欢迎大家&#xff1a;关注&#x1f50d;点赞&#x1f44d;评论&#x1f4dd;收藏⭐️&#xff0c;如有错误敬请指正! &#x1f495;未来很长&#xff0c;值得我们全力奔赴更美好的生活&…
阅读更多...
HQL,SQL刷题简单查询，基础，尚硅谷

HQL,SQL刷题简单查询，基础，尚硅谷

今天刷SQL简单查询&#xff0c;大家有兴趣可以刷一下 目录 相关表数据&#xff1a; 题目及思路解析&#xff1a; 总结归纳&#xff1a; 知识补充&#xff1a; 关于LIKE操作符/运算符 LIKE其他使用场景包括 LIKE模糊匹配情况 相关表数据&#xff1a; 1、student_info表 2、sc…
阅读更多...
Centos7 安装redis 详细步骤访问不了github和windows系统下载

Centos7 安装redis 详细步骤访问不了github和windows系统下载

windows系统下载 https://hellowindows.cn/ VMware虚拟机安装Windows Server 2016 VL https://blog.csdn.net/qq_37545849/article/details/134828341 VMware全屏时不显示上方命令栏的边缘 此时如果要返回&#xff0c;可以把鼠标移动至屏幕上方边缘短暂停留以呼出命令栏。或使…
阅读更多...
最新文章

Copyright @ 2022~2023