第十周周报(9.13-9.19)
本周因整体计划暂时停滞,未推进新的开发、测试或板端验证工作。
本周记录
- 9 月 18 日复核了第九周记录的
stval异常,并完成原因更正:问题由软件导致,并非 SpacemiT K3 A100 的硬件错误。 - 软件使地址跳出 Sv39 的可表示范围,
sepc(EPC)被截断;stval则依照规范记录完整的 faulting virtual address,因而出现了两者高位不一致的表象。 - 详细的原始现象、复现过程及更正后的结论见:第九周 Bug 发现:SpacemiT K3 A100 偶发产生非法
stval。
复盘
本次误判属于低级错误:面对异常地址时,没有在 QEMU 和 K3 板上对同一地址、同一场景进行真实对比,而是过早认定为板端问题;同时错误地认为 QEMU 的正确实现没有参考价值、不能反映 K3 的问题。事实上,QEMU 的正确行为应作为比对基线,用于检查两端完整地址、sepc/stval 语义以及地址截断路径。
后续安排
待整体计划恢复后,再继续推进后续开发与验证工作。