19 lines
1.4 KiB
Plaintext
19 lines
1.4 KiB
Plaintext
在xv6中，当执行到地址 0x3ffffff11c 处的 sret 指令时，特权级和执行流程的变化如下：
|
||
|
||
1. 特权级变化
|
||
- 执行前：核心态（S模式，特权级 1）
|
||
- 执行后：用户态（U模式，特权级 0）
|
||
sret 指令会从 sstatus 寄存器中恢复之前的特权级（由 SPP 位决定）。在进入陷阱处理时，处理器已自动将用户态的特权级（0）保存到 sstatus.SPP，因此 sret 会将特权级切换回用户态。
|
||
|
||
2. 恢复点地址
|
||
恢复点地址由 sepc 寄存器指定。在进入陷阱处理时，sepc 被设置为触发 ecall 的下一条指令地址（即 0x14）。因此，sret 执行后，程序会跳转到 0x14 处继续执行用户代码。
|
||
|
||
3. 执行的函数
|
||
sret 返回后，用户程序会从 0x14 处继续执行。根据 initcode.S 的代码，0x14 是 ecall 指令的下一条地址。若 exec 系统调用成功，用户地址空间会被替换为新程序（如 init），此时 sret 返回后直接进入新程序的入口点。若 exec 失败（理论上不会发生），则会继续执行 initcode.S 中 ecall 后的代码（但实际代码中 ecall 后无其他指令）。
|
||
|
||
综上所述
|
||
- 特权级：核心态（1）→ 用户态（0）
|
||
- 恢复点地址：0x14（用户代码中 ecall 的下一条指令）
|
||
- 执行函数：若 exec 成功，执行新程序（如 init）；否则继续 initcode.S 的后续代码（实际无后续指令）。
|
||
|