|
|
|
|
|
# 2018操作系统专题训练
|
|
|
|
|
|
|
|
|
|
|
|
# 最终报告
|
|
|
|
|
|
|
|
|
|
|
|
计53 王润基 2015011279
|
|
|
|
|
|
|
|
|
|
|
|
2018.12.27
|
|
|
|
|
|
|
|
|
|
|
|
## 本学期工作总结
|
|
|
|
|
|
|
|
|
|
|
|
* 实现各平台多核启动和调度
|
|
|
|
|
|
* 完善文件系统相关功能
|
|
|
|
|
|
* 实现NoMMU，RISCV M-Mode，RV64，K210支持
|
|
|
|
|
|
|
|
|
|
|
|
## 后半学期任务报告
|
|
|
|
|
|
|
|
|
|
|
|
### NoMMU
|
|
|
|
|
|
|
|
|
|
|
|
#### 原理
|
|
|
|
|
|
|
|
|
|
|
|
* 去掉内存分页映射机制，将用户程序加载到任意地址运行
|
|
|
|
|
|
* 内核为剩余物理内存空间建立另一个堆分配器（原来是用作物理帧）
|
|
|
|
|
|
* 当加载用户程序时，分配一段连续内存空间，并计算新的入口地址
|
|
|
|
|
|
|
|
|
|
|
|
#### 位置无关代码
|
|
|
|
|
|
|
|
|
|
|
|
- 用户程序需使用**相对寻址**：
|
|
|
|
|
|
- 代码段使用相对跳转
|
|
|
|
|
|
- 数据段使用相对寻址，或去GOT（全局偏移表）查询地址
|
|
|
|
|
|
- 为此需添加编译选项：
|
|
|
|
|
|
- 编译时`-fPIC`（位置无关代码）
|
|
|
|
|
|
- 链接时`-pie`（位置无关可执行程序）
|
|
|
|
|
|
- 原来ucore编译出的用户程序：x86绝对寻址，RISCV相对寻址
|
|
|
|
|
|
|
|
|
|
|
|
有待完善的地方：
|
|
|
|
|
|
|
|
|
|
|
|
* 实现GOT表的填写，即可支持代码段和数据段分别分配地址
|
|
|
|
|
|
|
|
|
|
|
|
### RISCV M-Mode
|
|
|
|
|
|
|
|
|
|
|
|
将现有的运行于S态的kernel移植到M态。
|
|
|
|
|
|
|
|
|
|
|
|
BBL为kernel提供了很多底层功能，因此需要保留。
|
|
|
|
|
|
|
|
|
|
|
|
#### 具体任务
|
|
|
|
|
|
|
|
|
|
|
|
* 去掉分页机制（NoMMU）
|
|
|
|
|
|
* 让BBL保持M态进入kernel
|
|
|
|
|
|
* 将kernel中操作的S-CSR改为M-CSR
|
|
|
|
|
|
* 融合kernel和BBL的运行环境
|
|
|
|
|
|
|
|
|
|
|
|
#### BBL提供的功能
|
|
|
|
|
|
|
|
|
|
|
|
* SBI：getchar，putchar，IPI
|
|
|
|
|
|
* 时间与时钟中断：模拟rdtime，提供set_timer()
|
|
|
|
|
|
* CPU不支持的指令模拟：乘除、浮点等
|
|
|
|
|
|
|
|
|
|
|
|
#### 融合kernel和BBL
|
|
|
|
|
|
|
|
|
|
|
|
* 中断：原来kernel和BBL各有一套中断处理流程，融合后以kernel的为主体
|
|
|
|
|
|
* SBI：BBL将相关函数符号传给kernel（BBL的角色变为静态库）
|
|
|
|
|
|
* 委托中断处理：当发生`IllegalInst`和`MachineEcall`异常时，调用BBL的函数处理
|
|
|
|
|
|
|
|
|
|
|
|
#### 问题
|
|
|
|
|
|
|
|
|
|
|
|
* QEMU中`mie.MEIE`（M态外设中断）不可开启，可能是个Bug。导致串口中断不工作，只能使用轮询方式getchar。
|
|
|
|
|
|
* M态BBL是否还有存在的意义？
|
|
|
|
|
|
* RV下boot十分简单
|
|
|
|
|
|
* BBL依赖FDT（设备树）初始化外设，但一般只有M态的开发版都不提供FDT。
|
|
|
|
|
|
|
|
|
|
|
|
### RV64 & K210
|
|
|
|
|
|
|
|
|
|
|
|
* 基于dzy同学的两阶段编译流程：Rust=>LLVM-IR=>Machine
|
|
|
|
|
|
|
|
|
|
|
|
* 12月17日LLVM master已经完善地支持rv64，RustOS完整编译通过
|
|
|
|
|
|
* 此后配合dzy完成rv64移植
|
|
|
|
|
|
|
|
|
|
|
|
#### 地址空间处理
|
|
|
|
|
|
|
|
|
|
|
|
* llc不支持code-model=medium，即位于任意地址4G范围内
|
|
|
|
|
|
* 对此张蔚同学做了一个patch，但编译RustOS仍有问题，因此没用上
|
|
|
|
|
|
* 于是目前只能将代码和数据放在+-2G区域，即[0,0x7fffffff], [0xffffffff_80000000, 0xffffffff_ffffffff]
|
|
|
|
|
|
* 在QEMU/HiFiveU上，支持S态、有页机制。因此将地址放在0xffffffff_80000000。需在BBL中设置初始页表并建立好映射，然后再进入S态Kernel
|
|
|
|
|
|
* K210上RAM位于0x80000000，但也可以通过0x40000000访问（无cache）。因此将地址放在0x40000000。
|
|
|
|
|
|
|
|
|
|
|
|
#### K210适配
|
|
|
|
|
|
|
|
|
|
|
|
* 主要参考官方SDK
|
|
|
|
|
|
* 串口：
|
|
|
|
|
|
* 使用UARTHS，和普通UART规范不一致
|
|
|
|
|
|
* 在boot阶段就初始化好，方便调试
|
|
|
|
|
|
* TODO：串口事件中断
|
|
|
|
|
|
* 原子操作：
|
|
|
|
|
|
- 原子指令对0x40000000地址区无效（？？？）
|
|
|
|
|
|
- 解决方法：在自己实现的`__atomic_*`函数中将地址移到0x80000000处。
|
|
|
|
|
|
* 多核：
|
|
|
|
|
|
* reset后同时开始运行，不需额外boot
|
|
|
|
|
|
* 目前只用了单核，因为还有Bug……
|
|
|
|
|
|
* 时钟中断：
|
|
|
|
|
|
* SDK中的处理较为复杂，懒得重新造轮子
|
|
|
|
|
|
* 将SDK编译为静态库，链接到kernel，kernel导入符号使用
|
|
|
|
|
|
* 修复前期M-Mode的Bug
|
|
|
|
|
|
|
|
|
|
|
|
#### 搞K210的困难
|
|
|
|
|
|
|
|
|
|
|
|
* 没有完整的模拟器（其实部分也够了）
|
|
|
|
|
|
* 烧程序慢，导致实验验证周期长（提高波特率：2min->0.5min）
|
|
|
|
|
|
|
|
|
|
|
|
### 其它
|
|
|
|
|
|
|
|
|
|
|
|
* 适配 Rust 2018 edition
|
|
|
|
|
|
* 实现文件内存映射，用户程序内存均延迟分配，以后可实现mmap
|
|
|
|
|
|
|
