• RISC-V处理器设计(五)—— 在 RISC-V 处理器上运行 C 程序


    目录

    一、前言

    二、从 C 程序到机器指令

    三、实验

    3.1 实验环境

    3.11 Windows 平台下环境搭建

    3.12 Ubuntu 平台下环境搭建

    3.13 实验涉及到的代码或目录

    3.2 各文件作用介绍

    3.2.1 link.lds

    3.2.2 start.S

    3.2.3 lib 和 include 目录

    3.2.4 common.mk

    3.2.5 demo 目录

    3.3 上板测试

    第一种:直接作为 FPGA 比特流的一部分下载到板子上。

    第二种:使用串口烧录程序。

    四、写在最后


    文章目录

    RISC-V处理器的设计与实现(一)—— 基本指令集_Patarw_Li的博客-CSDN博客

    RISC-V处理器的设计与实现(二)—— CPU框架设计_Patarw_Li的博客-CSDN博客

    RISC-V处理器的设计与实现(三)—— 上板验证_Patarw_Li的博客-CSDN博客

    RISC-V处理器设计(四)—— Verilog 代码设计-CSDN博客 

    RISC-V处理器设计(五)—— 在 RISC-V 处理器上运行 C 程序-CSDN博客 

    一、前言

    前面我们使用 verilog 完成了一个 risc-v cpu 的设计,但 cpu 最终也是为了程序服务的,不能执行程序的 cpu 没有任何意义。所以这一节我们要研究如何在自己设计的 cpu 上运行 C 程序。项目仓库如下:

    risc-v-cpu: 一个基于 RISC-V 指令集的 CPU 实现(成功移植到野火征途 PRO 开发板),以及从零开始写一个基于 RISC-V 的 RT-Thread~ - Gitee.com

    本节涉及到的代码都在仓库的 rt-thread 目录下。

    二、从 C 程序到机器指令

    当然,cpu 肯定不能直接执行 C 程序,cpu 只能识别机器语言,机器语言就是由 0 和 1 组成的一条二进制序列,比如 ADD 指令有如下格式:

    在确定 rs1、rs2、rd 三个寄存器后,就能确定 ADD 指令的二进制序列,cpu 能够识别并执行这个二进制序列。 risc-v 指令集相关内容可以看我的这篇文章:
    RISC-V处理器的设计与实现(一)—— 基本指令集_risc_v-CSDN博客

    那么我们如何从 C 程序得到我们想要的机器指令呢?答案就是使用编译器,编译分为如下四个阶段(程序从编译到运行-CSDN博客):

    即预处理阶段、生成汇编代码阶段、汇编阶段、链接阶段,你可能会问为什么图里面的编译器只参与了一个阶段的工作,这是因为现在的编译工具功能非常强大,比如 linux 下的 gcc,我们只需要一行指令就能帮我们完成四个阶段的操作:

    gcc hello.c

    最终生成的 a.out 即为操作系统(如 Linux、Ubuntu)上的可执行程序,此时的 a.out 虽然能在 像 Linux 这种操作系统上运行,但是 cpu 并不能直接识别并运行,编译生成的 a.out 大多是 ELF 格式。

    ELF 格式的可执行文件包含了很多 cpu 不能识别的信息,但像 Linux 这样的操作系统可以识别这些信息,比如判断该可执行文件可以在哪种架构上运行,该可执行文件的各个段的位置在哪等等。关于 ELF 文件的解析可以看如下博客:

    ELF文件详解—初步认识-CSDN博客

    为了得到 cpu 能直接识别的内容,我们可以通过 objcopy 指令将生成的 a.out 转变为去掉了这些无用信息的 hello.bin 文件,具体怎么操作可以看我的这篇博客:

    开发一个RISC-V上的操作系统(一)—— 环境搭建_riscv操作系统开发_Patarw_Li的博客-CSDN博客

    同时,如果要编译出我们 risc-v 架构的 cpu 能识别的机器指令,我们还需要选择对应的交叉编译器,如 Ubuntu 20.04 下可以使用官方提供的 riscv64-unknown-elf-gcc。如果你使用的是 x86 下的gcc,那么编译出来的机器指令则只能由 x86 架构的 cpu 识别。

    三、实验

    实验的目录在本仓库的 rt-thread 目录下,该目录下新增了一个 demo 目录,可供用户自己设计 C 程序到本 cpu 上运行。其他的 experiment 目录都是和 rt-thread 移植相关的,后续也会更新相应的文章。

    3.1 实验环境

    下面是两种平台下的编译环境搭建,大家可以根据自己的情况自行选择。 

    3.11 Windows 平台下环境搭建

    1. GNU 工具链(链接:https://pan.baidu.com/s/1Bdmn-FH0T7ekm2kMxkzJTw?pwd=qn69 提取码:qn69),百度云下载解压后,将 bin 目录添加到环境变量里即可。
    2. make 工具(链接:https://pan.baidu.com/s/1X-F1BVPMa3-B-V1EHB4tEQ?pwd=418d 提取码:418d),百度云下载解压后,将 bin 目录添加到环境变量里即可。
    3. Python 3.7

    3.12 Ubuntu 平台下环境搭建

    Ubuntu 版本:

    1. $ lsb_release -a
    2. No LSB modules are available.
    3. Distributor ID: Ubuntu
    4. Description: Ubuntu 20.04.2 LTS
    5. Release: 20.04
    6. Codename: focal
    7. $ uname -r
    8. 5.15.0-76-generic

    安装Ubuntu 20.04官方提供的 GNU工具链:

    1. sudo apt update
    2. sudo apt install build-essential gcc make perl dkms git gcc-riscv64-unknown-elf

    并且要将 Makefile 里面的 include ../common.mk 修改为 include ../common_ubuntu.mk

    3.13 实验涉及到的代码或目录

    1. include:公共头文件目录;
    2. lib:公共函数目录;
    3. start.S:启动文件;
    4. link.lds:链接脚本;
    5. common.mk:Makefile 的公共部分(Windows 平台下);
    6. common_ubuntu.mk:Makefile 的公共部分(Ubuntu 平台下);
    7. demo:用户可以在本目录下编写能在本 CPU 上运行的 C 程序;

    3.2 各文件作用介绍

    3.2.1 link.lds

    link.lds 被称为链接脚本,是编译器链接步骤的重要部分。 官方文档

    链接操作都是由链接脚本(Linker Script)所控制的,按照官方的话来说,链接脚本用来描述 input file(比如 hello.c 和 printf.c,编译器会将他们分别编译成 hello.o 和 printf.o,这两个文件就是链接操作的输入)中的每个 section 应该如何被映射到 output file(最终生成的可执行文件)中,并且控制 output file 中的内存布局。

    我们可以自己编写链接脚本,也可以使用默认的链接脚本,如果要使用自己编写的链接脚本,则需要在编译时使用 -T 参数来指定。

    关于链接脚本的语法大家可以自行查阅资料,这里我只介绍对于本次实验比较重要的部分:

    1. ENTRY 来确定程序的入口为 _start,该符号在 start.S 中声明:

    ENTRY(_start)

    2. MEMORY 部分,这部分是根据 soc 上的 flash 和 ram 在总线上的起始地址以及所支持的空间大小来配置的。比如本 cpu 的 rom 起始地址为 0x00000000,大小为 16KB:

    1. MEMORY
    2. {
    3. flash (rxai!w) : ORIGIN = 0x00000000, LENGTH = 16K
    4. ram (wxa!ri) : ORIGIN = 0x10000000, LENGTH = 8K
    5. }

    3. 定义程序栈大小,如果其他地方没有 __stack_size 的定义就把栈大小定义为 2KB:

     __stack_size = DEFINED(__stack_size) ? __stack_size : 2K;

    4. 有些段是可读可写的,比如 .data 段,这些段是不能放到 flash 上的(flash 只读),所以我们在链接脚本中会把 .data 段指定到 ram 上存储(使用 >ram):

    1. .lalign :
    2. {
    3. . = ALIGN(4);
    4. PROVIDE( _data_lma = . );
    5. } >flash AT>flash
    6. .dalign :
    7. {
    8. . = ALIGN(4);
    9. PROVIDE( _data = . );
    10. } >ram AT>flash
    11. .data :
    12. {
    13. *(.rdata)
    14. *(.gnu.linkonce.r.*)
    15. *(.data .data.*)
    16. *(.gnu.linkonce.d.*)
    17. . = ALIGN(8);
    18. PROVIDE( __global_pointer$ = . + 0x800);
    19. *(.sdata .sdata.*)
    20. *(.gnu.linkonce.s.*)
    21. . = ALIGN(8);
    22. *(.srodata.cst16)
    23. *(.srodata.cst8)
    24. *(.srodata.cst4)
    25. *(.srodata.cst2)
    26. *(.srodata .srodata.*)
    27. } >ram AT>flash
    28. . = ALIGN(4);
    29. PROVIDE( _edata = . );
    30. PROVIDE( edata = . );

    但这样会导致生成的二进制文件中间产生很大的空洞,因为 flash 和 ram 的地址一般是不同的,所以我们需要使用 AT>(关于 AT> 的作用可以看这篇博客https://www.cnblogs.com/LogicBai/p/16982841.html),这样可以把 .data 段先放到 flash 中,然后在启动文件 start.S 中通过 _data_lma、_data、_edata(分别对应 .data 段在 flash 中的实际地址、在 ram 上的逻辑起始地址、在 ram 上的逻辑末尾地址)这三个地址来把 .data 段从 flash 上搬运到 ram 上,这样就可以将数据存储的位置和运行的位置区分开来

    5. 因为 .bss 段的数据都为 0,所以无需占用存储空间,只需要保存 .bss 段的运行时的逻辑起始地址和末地址(__bss_start 和 _end),然后在启动时使用  start.S 将起始地址到末地址中间的内容初始化为 0 即可:

    1. PROVIDE( __bss_start = . );
    2. .bss :
    3. {
    4. *(.sbss*)
    5. *(.gnu.linkonce.sb.*)
    6. *(.bss .bss.*)
    7. *(.gnu.linkonce.b.*)
    8. *(COMMON)
    9. . = ALIGN(4);
    10. } >ram AT>ram
    11. . = ALIGN(8);
    12. PROVIDE( _end = . );

    3.2.2 start.S

    启动文件 start.S 作为 cpu 上电复位后第一个执行的程序,主要完成以下工作:

    • 初始化 gp (global pointer) 全局指针寄存器、sp (stack pointer) 栈指针寄存器;
    • 将 .data 段的数据从 flash 中加载至 RAM 中;
    • 清空 bss 段数据;
    • 进入 main 函数运行;

    start.S 的代码如下: 

    1. .section .init;
    2. .globl _start;
    3. .type _start, @function
    4. _start:
    5. .option push
    6. .option norelax
    7. la gp, __global_pointer$
    8. .option pop
    9. la sp, _sp
    10. /*data section 从 flash 搬运到 ram 中 */
    11. la a0, _data_lma
    12. la a1, _data
    13. la a2, _edata
    14. bgeu a1, a2, 2f
    15. 1:
    16. lw t0, (a0) /* 从 flash 中取出一个 word 的数据 */
    17. sw t0, (a1) /* 将取出的数据存入 ram 中对应位置 */
    18. addi a0, a0, 4
    19. addi a1, a1, 4
    20. bltu a1, a2, 1b
    21. 2:
    22. /* 将 bss section 初始化为 0 */
    23. la a0, __bss_start
    24. la a1, _end
    25. bgeu a0, a1, 2f
    26. 1:
    27. sw zero, (a0)
    28. addi a0, a0, 4
    29. bltu a0, a1, 1b
    30. 2:
    31. /* 调用初始化函数 */
    32. call _init
    33. /* 跳转到 main */
    34. call main
    35. /* never came here */
    36. loop:
    37. j loop

    第 8 行, 加载全局指针寄存器 gp。

    第 10 行,加载栈指针寄存器 sp。

    第 13 ~ 22 行,把 .data 段从 flash 搬运到 ram 中。

    第 25 ~ 31 行,将 .bss 段初始化为 0。

    第 35 行,调用初始化函数,定义在 init.c 中。

    第 37 行,调用 main 函数,执行用户编写的程序。

    第 40、41 行,为了防止执行用户程序后,cpu 跑飞的情况,最后写了一个死循环。

    3.2.3 lib 和 include 目录

    这两个目录主要提供一些公共的函数,比如串口、printf 函数等,用户可以在 main.c 文件里面包含头文件后使用里面定义的函数。

    3.2.4 common.mk

    该文件为 Makefile 编译脚本的公共部分,所有 Makefile 文件(比如 demo 里面的 Makefile)都会包含 common.mk。

    common.mk 的内容如下: 

    1. CROSS_COMPILE = riscv-none-embed-
    2. RISCV_GCC := $(CROSS_COMPILE)gcc
    3. RISCV_AS := $(CROSS_COMPILE)as
    4. RISCV_GXX := $(CROSS_COMPILE)g++
    5. RISCV_OBJDUMP := $(CROSS_COMPILE)objdump
    6. RISCV_GDB := $(CROSS_COMPILE)gdb
    7. RISCV_AR := $(CROSS_COMPILE)ar
    8. RISCV_OBJCOPY := $(CROSS_COMPILE)objcopy
    9. RISCV_READELF := $(CROSS_COMPILE)readelf
    10. .PHONY: all
    11. all: $(TARGET)
    12. ASM_SRCS += $(COMMON_DIR)/start.S
    13. C_SRCS += $(COMMON_DIR)/init.c
    14. C_SRCS += $(COMMON_DIR)/lib/uart.c
    15. C_SRCS += $(COMMON_DIR)/lib/printf.c
    16. C_SRCS += $(COMMON_DIR)/lib/hw_timer.c
    17. LINKER_SCRIPT := $(COMMON_DIR)/link.lds
    18. INCLUDES += -I$(COMMON_DIR)
    19. LDFLAGS += -T $(LINKER_SCRIPT) -nostartfiles -Wl,--gc-sections -Wl,--check-sections
    20. ASM_OBJS := $(ASM_SRCS:.S=.o)
    21. C_OBJS := $(C_SRCS:.c=.o)
    22. LINK_OBJS += $(ASM_OBJS) $(C_OBJS)
    23. LINK_DEPS += $(LINKER_SCRIPT)
    24. CLEAN_OBJS += $(TARGET) $(LINK_OBJS) $(TARGET).dump $(TARGET).bin ../$(TARGET).inst
    25. CFLAGS += -march=$(RISCV_ARCH)
    26. CFLAGS += -mabi=$(RISCV_ABI)
    27. CFLAGS += -mcmodel=$(RISCV_MCMODEL) -nostdlib -ffunction-sections -fdata-sections -fno-builtin-printf -fno-builtin-malloc -Wall
    28. $(TARGET): $(LINK_OBJS) $(LINK_DEPS) Makefile
    29. $(RISCV_GCC) $(CFLAGS) $(INCLUDES) $(LINK_OBJS) -o $@ $(LDFLAGS)
    30. $(RISCV_OBJCOPY) -O binary $@ $@.bin
    31. $(RISCV_OBJDUMP) --disassemble-all $@ > $@.dump
    32. python ../../tools/bin_to_mem.py $@.bin ../$@.inst
    33. $(ASM_OBJS): %.o: %.S
    34. $(RISCV_GCC) $(CFLAGS) $(INCLUDES) -c -o $@ $<
    35. $(C_OBJS): %.o: %.c
    36. $(RISCV_GCC) $(CFLAGS) $(INCLUDES) -c -o $@ $<
    37. .PHONY: clean
    38. clean:
    39. rm -f $(CLEAN_OBJS)

    第 1 ~ 10 行,配置工具链。

    第 15 ~ 20 行,指定需要编译的公共汇编文件和 C 文件。

    第 23 行,配置链接脚本的路径。

    第 25 行,指定公共头文件目录。

    第 27 行,指定链接参数

    1. -nostartfiles:指定链接时不要使用标准的系统启动文件,自定义入口函数(_start)时必须使用 -nostartfiles 选项进行链接。
    2. -Wl,--gc-sections:在链接生成最终可执行文件时,如果带有-Wl,--gc-sections参数,并且之前编译目标文件时带有-ffunction-sections-fdata-sections参数,则链接器ld不会链接未使用的函数,从而减小可执行文件大小。
    3. --check-sections:检查段地址是否重叠 (默认)。

    3.2.5 demo 目录

    此目录下包含了 main.c 文件和 Makefile,在此目录下执行 make 命令即可生成 demo.bin 和 demo.inst 文件,下面上板测试会用到这两个文件。

    main.c 文件的内容是一个简单的加法,然后输出加法的结果,用户可以改成自己的 C 程序:

    1. /* 头文件声明 */
    2. #include "../include/printf.h"
    3. #include "../include/uart.h"
    4. /* main 函数 */
    5. int main(void)
    6. {
    7. int a = 1;
    8. int b = 2;
    9. int c = a + b;
    10. printf("The result of c: %d\n", c);
    11. /* stop here */
    12. while(1){};
    13. }

    3.3 上板测试

    有两种将编译好的二进制程序在本 CPU 上执行的方法。

    第一种:直接作为 FPGA 比特流的一部分下载到板子上。

    将 FPGA/rtl/perips/rom.v 文件里面的如下部分的注释打开,并且将路径改为生成的指令文件 demo.inst 的路径:

    重新编译后,直接烧录到板子上即可: 

    使用串口工具连接板子,配置好串口号和波特率并打开串口后,按下板子上的复位键即可看到输出: 

    第二种:使用串口烧录程序。

    将 demo.bin 二进制文件复制到 serial_utils/binary 目录下,然后进入 serial_utils 目录,先按住 key1 不动: 

    然后使用命令行执行如下命令烧录 demo.bin 文件,烧录完成即可松开 key1:

    1. # 这里的 COM 号要根据你自己的来选,我这里是 COM3
    2. python .\serial_send.py COM3 .\binary\demo.bin

    使用串口工具连接板子,配置好串口号和波特率并打开串口后,按下板子上的复位键即可看到输出: 

    两种方法相比,第一种方法更为稳妥,第二种方法更为灵活,这里更建议大家使用第一种方法,在程序出问题的时候,第一种方法还可以使用 modelsim 仿真调试。

    第二种方法目前还不太稳定,如果遇到第二种方法烧录失败可以多烧录几次(可能因为接触不良),或者尝试一下第一种方法。

    四、写在最后

    至此,如何在本项目的 CPU 上运行 C 程序已经介绍完了,既然能运行 C 程序,那么运行一个实时操作系统应该也是没问题的,这也对应了本项目的 rt-thread 实验,大家感兴趣的话可以继续学习本仓库,后续也会出相应的文章!

    如果遇到问题也欢迎加群 892873718 交流~ 

  • 相关阅读:
    我自己理解的JAVA反射
    PPT 批量删除每页相同位置的内容
    GFS分布式文件系统
    Switch及Vue3的v-model
    windows编程之位图绘制
    Linux之网络协议概念
    iOS UIImage和CVPixelBuffer互相转换
    获取商品评论API 返回值说明
    “看片”神器没了,又将有谁突出重围?
    无涯教程-JavaScript - LOG函数
  • 原文地址:https://blog.csdn.net/qq_51103378/article/details/134282705