rCore-Tutorial-Book-v3/chapter1/4first-instruction-in-kernel2

[utterances-bot]

内核第一条指令（实践篇） — rCore-Tutorial-Book-v3 3.6.0-alpha.1 文档

https://rcore-os.github.io/rCore-Tutorial-Book-v3/chapter1/4first-instruction-in-kernel2.html

[CENZONGJUN]

虽然老师提供了连接脚本，但是该怎么获知写的程序都有哪些段需要被链接呢？

[bswaterb]

开篇提供的 vm 镜像似乎并没安装 objcopy，需要使用如下语句来安装
$ cargo install cargo-binutils
$ rustup component add llvm-tools-preview
否则可能出如下的错误
Failed to execute tool: objcopy No such file or directory (error 2)

[bswaterb]

回翻了一下开篇，发现原来是自己漏掉工具链安装那一步了 ORZ

[river-art]

请问 这里的 0x100c: ld t0,24(t0) 。 ld是什么意思？

[bswaterb]

请问 这里的 0x100c: ld t0,24(t0) 。 ld是什么意思？

代表是 load 指令

[river-art]

那请问 load指令 是指 汇编指令吗？

[river-art]

请问 ld t0,24(t0) 这个是什么意思呢？

[lu-yidan]

请问一下为什么在终端输入cargo build后会遇到这种问题呢，把main.rs中的use core::arch::global_asm换成use core::global_asm还是不行，下面的github链接有没有找到方案
error[E0658]: use of unstable library feature 'global_asm': global_asm! is not stable enough for use and is subject to change
--> src/main.rs:8:1
|
8 | global_asm!(include_str!("entry.asm"));
| ^^^^^^^^^^
|
= note: see issue #35119 rust-lang/rust#35119 for more information

error[E0432]: unresolved import core::arch::global_asm
--> src/main.rs:7:5
|
7 | use core::arch::global_asm;
| ^^^^^^^^^^^^^^^^^^^^^^ no global_asm in arch
|
= note: this could be because a macro annotated with #[macro_export] will be exported at the root of the crate instead of the module where it is defined
help: a macro with this name exists at the root of the crate
|
7 | use core::global_asm;
| ^^^^^^^^^^^^^^^^

error: aborting due to 2 previous errors

Some errors have detailed explanations: E0432, E0658.
For more information about an error, try rustc --explain E0432.
error: could not compile os

To learn more, run the command again with --verbose.

[wyfcyx]

@lu-yidan 请将Rust升级到最新版本，可以在os目录下创建一个rust-toolchain文件，内容为nightly-2022-01-01。

[Tshiyao]

虚拟磁盘文件未安装riscv64-unknown-elf-gdb，该怎么安装呢？

[lu-yidan]

关于执行riscv64-unknown-elf-gdb后 ``` riscv64-unknown-elf-gdb: command not found ``` gdb工具链下载链接已在开发环境配置中，我将其下载解压在目录： /home/oslab/.riscv64-unknown-elf-gcc-8.3.0-2020.04.1-x86_64-linux-ubuntu14/ 具体目录根据你的情况而定 对于gdb这样一个可执行二进制文件，如何将其路径添加直环境变量中呢？  终端中输入 `````` gedit .bashrc `````` 添加一行 ``` export PATH=$PATH:/home/oslab/.riscv64-unknown-elf-gcc-8.3.0-2020.04.1-x86_64-linux-ubuntu14/bin ``` 大功告成，这样就可以直接使用该命令啦

…

------------------ 原始邮件 ------------------ 发件人: ***@***.***>; 发送时间: 2022年1月16日(星期天) 晚上8:05 收件人: ***@***.***>; 抄送: ***@***.***>; ***@***.***>; 主题: Re: [rcore-os/rCore-Tutorial-Book-v3] rCore-Tutorial-Book-v3/chapter1/4first-instruction-in-kernel2 (Issue #96) 虚拟磁盘文件未安装riscv64-unknown-elf-gdb，该怎么安装呢？ — Reply to this email directly, view it on GitHub, or unsubscribe. Triage notifications on the go with GitHub Mobile for iOS or Android. You are receiving this because you were mentioned.Message ID: ***@***.***>

[ZENOTME]

关于内核的加载这里有一个疑问，如果说按照这里内核是直接进行从文件中进行拷贝过去，那么是否会出现文件中相应片段大小小于实际在内存中占用大小的情况？（因为传统elf文件是有可能出现片段在文件中占用大小小于实际内存中大小的）

[wyfcyx]

@ZENOTME 据我所知，这种情况一般只出现在零初始化的.bss段，在ELF中可能有元数据记录该段的位置而不会真的有一个全零的数据段。可以看到我们在链接脚本中将.bss段置于最后，在加载的时候并不会拷贝一个全零数据段，而在内核中我们会通过clear_bss将其清零。

[konpoe]

根据文档riscv-spec-20191213.pdf中Ch2和Ch25
0x1000: auipc t0,0x0
Add Upper Immediate PC: rd = pc + imm[31:12]
U型指令
把当前指令的地址加上立即数这里的立即数对应的是寄存器中的高20位，相对于imm<<12，然后保存到寄存器t0
0x1004: addi a2,t0,40
ADD Immeiate: rd = rs1 + imm[11:0]
执行后 a2 = 0x1028
I型指令
0x1008: csrr a0,mhartid
伪指令
Control State Register Read: a0 = mhartid
mhartid寄存器，当前hart的id#0
0x100c: ld a1,32(t0)
Load Double-word: rd = rs1 + imm[11:0]
I型号指令
从地址rs1+imm[11:0]出加载4个字节的数据到寄存器rd
$a1 = [4bytes@0x1020]
0x1010: ld t0,24(t0)
$t0 = [4bytes@1018] 这里是1018出开始加载4个字节，小端内存序，所以寄存器中的数据应该是0x0080_0000
0x1014: jr t0
伪指令，jr rs <=> jalr x0, 0(rs)，Jump register
意思是跳转到t0位置

注意这里寄存器的名字，
1.开头的t代表temporary，一般用于临时变量，t0~6
2.开头的a代表argument，表示是用于函数调用传入的参数，a0~7
3这里用到了a0,a1,a2，a0是hartid，a1和a2代表了个啥不是很确定
jr应该像个函数调用传的参数是hartid : a0,unknown: a1,unkown : a2,
4.没有用到堆栈，目测是8个以内参数和7个以内临时变量的函数吧
汇编我不熟，有错误请指正

[wyfcyx]

@konpoe 很棒！大体上正确，帮你修改了一下格式。有一个问题是0x1010的指令执行完毕后t0应该是0x8000_0000而不是0x0080_0000，这个在前面讲解Qemu启动流程的时候有提到过。可能是小端序理解有误，从Qemu上可以看到以0x101a开头两字节的数据是0x8000，按照字节分开看，0x101a和0x101b的数据分别是0x00和0x80。然后0x1018和0x1019的数据都是0x00。这样ld后的结果就是0x8000_0000。