pebstwck3/docs/RISCV.md

RISCV 移植记录

开发环境

• riscv-rust/rust：使用官方发布的二进制版本+源码
• riscv-gnu-toolchain：使用OS2018腾讯云中使用的预编译版本

具体配置过程详见Dockerfile

Rust-RISCV

目标指令集：RISCV32IM

target: riscv32im_unknown_none

由于工具链二进制版本尚未内置此target，因此需提供配置文件：riscv32-blog_os.json。

理想情况下，目标指令集应为RISCV32G，即使用全部扩展。但考虑到要把它跑在我们自己实现的CPU上，指令集应该尽量精简，即最好是RISCV32I。此外：

• 为什么用乘除指令扩展？

  Rust核心库中fmt模块会使用乘除运算，若不使用乘除指令，则会依赖LLVM提供的内置函数进行软计算，导致链接错误。这一问题理论上可以通过在xargo中设置依赖compiler-builtin解决。但如此操作后，仍有一个函数__mulsi3缺失（32×32）。经查，compiler-builtin中实现了类似的__muldi3函数（64×64)，所以理论上可以用它手动实现前者。但如此操作后，还是不对，实验表明__muldi3本身也是不正确的。

  总之，没有成功配置不使用M扩展的编译环境，不过日后解决这一问题并不困难。

原子操作支持

配置文件中与原子操作相关的有两处：

• feature中+a：使用A指令扩展
• max-atomic-width：决定能否使用core中的atomic模块，设为0不可以，设为32可以

二者是否相关，还不能确定。

• 一方面，riscv-rust/rust官方配置中，二者是相关的。
• 另一方面，即使不使用A指令扩展，设置max-atomic-width=32，也可以编译通过。经检查生成的代码中包含了fence指令。这说明RISCV32I也可以用实现基本同步操作（？）

然而由于LLVM后端对RISCV原子操作支持不完善，无论是否+a，当使用Mutex时，它会调用core中的atomic_compare_exchange函数，LLVM会发生错误。

鉴于更改上层实现（替换Mutex）工程难度较大，我尝试直接修改core代码，将上述问题函数手动实现。

思路是在关中断环境下，用多条指令完成目标功能。这对于单核环境应该是正确的。

我做了个补丁，在进入docker环境后，可运行make patch-core应用补丁，确保clear后，再build。

BootLoader

参考bbl-ucore及后续的ucore_os_lab for RISCV32，使用bbl作为BootLoader。

然而官方版本和bbl-ucore中的fork版本都无法正常编译，使用的是ucore_os_lab中的修改版本。

bbl-ucore使用RISCV1.9的bbl，ucore_os_lab使用RISCV1.10的bbl。后者相比前者，去掉了对内核的内存映射，因此需保证虚实地址一致。

注：事实上ucore_os_lab中的虚实地址并不一致，且没有内存映射，但依然能够运行，应该是由于编译器生成的所有跳转都使用相对偏移。而Rust编译器会生成绝对地址跳转，因此若虚实不一致会导致非法访存。

Trap

参考资料：

• bbl-ucore lab1文档
• RISCV官方slice

Trap

• 中断帧：32个整数寄存器 + 4个S-Mode状态寄存器
• 开启中断：
  • stvec：设置中断处理函数地址
  • sstatus：SIE bit 开启中断

Timer

• 开启时钟中断：

  • sie：STIE bit 开启时钟中断
  • sbi::set_timer：设置下次中断时间

• 读取时间：

  • mtime：可读出当前时间（低32bit）

  • mtimeh：当前时间（高32bit），仅RV32有效

    因此RV32下要读取完整时间u64，需循环读取判等，因为指令之间可能被中断，要保证原子性。详见get_cycle()。

• 触发中断：

  • mtimecmp(h)：下次触发时钟中断的时间

    当time>=timecmp时，触发中断

    可通过sbi::set_timer设置