为什么我的RISC-V陷阱处理程序执行sret指令后会被反复调用？

故障根因分析 #

最高概率原因：陷阱处理入口存在隐式栈操作，未初始化S态栈指针 #

如果你是直接把Rust普通函数的地址写入stvec作为陷阱处理入口，Rust编译器默认会为函数生成栈操作的序言/尾声代码：进入函数时会先通过addi sp, sp, -xx开辟栈空间，再把用到的寄存器写入栈中。如果此时你还没有初始化S模式的栈指针sp，sp大概率指向0附近的非法地址，这些隐式的栈写入操作会触发新的存储访问异常，scause同样为7，且新异常的sepc还是你最开始触发异常的指令地址，表现上就像sret没有跳转到sepc，反而回到了陷阱处理程序。

你可以通过两种方式验证：

• 把陷阱处理入口改为纯裸汇编函数，完全手动控制指令生成
• 给Rust写的陷阱处理函数加上#[naked]属性，禁止编译器插入隐式栈操作

其他可能原因 #

• 异常指令长度判断错误：如果触发异常的写0x0指令是16位的RVC压缩指令，直接给sepc加4会跳转到当前指令+4的位置，而非下一条指令，如果中间地址的指令也是非法访存操作，就会重复触发异常。你可以读取stval寄存器确认每次异常的访存地址是否一致，排查该问题。
• sstatus寄存器SPP位配置错误：sret返回时的权限模式由sstatus的SPP位决定：SPP为0返回U模式，为1返回S模式。如果你是在S模式下触发的异常，但陷阱处理过程中意外清掉了SPP位，返回U模式后目标地址没有访问权限，也会触发访存异常。你可以在执行sret前读取sstatus检查SPP位的值是否符合预期。

内容的提问来源于stack exchange，提问作者Skallwar