RISC-V Spike模拟器指令轨迹生成方法及运行异常排查

以下是几种常用的指令轨迹生成方式，适用于不同分析场景：

1. 基础指令日志（-l参数） #

直接使用Spike内置日志参数，输出每条执行的指令：

spike -l [pk路径] [目标ELF文件]

• 说明：该参数会打印所有执行的指令，包括代理内核（PK）的特权级指令和用户程序指令。若使用PK，日志会包含PK的启动初始化代码，可能需要后续过滤用户程序相关指令。

2. 详细提交日志（--log-commits参数） #

记录指令提交的完整细节，包括PC值、指令编码、寄存器修改等：

spike --log-commits [pk路径] [目标ELF文件]

• 说明：输出信息比-l更详尽，适合需要深入分析指令执行影响的场景。

3. 交互式调试跟踪（-d参数） #

进入Spike调试模式，手动控制执行流程并记录指令：

spike -d [pk路径] [目标ELF文件]

• 常用调试命令：
  • si：单步执行一条指令
  • r：继续执行程序
  • log on：开启指令日志输出
  • log off：关闭日志输出
• 说明：适合精准跟踪特定代码段的执行流程，排查局部异常。

4. 日志重定向到文件 #

避免终端输出混乱，将日志保存到文件以便后续分析：

spike -l [pk路径] [目标ELF文件] > instruction_trace.log 2>&1

问题原因 #

1. Spike与PK版本不兼容 #

你使用的Spike来自RVV扩展仓库，而PK来自独立工具链路径，两者的RISC-V架构支持（如RVV版本）可能不匹配，导致PK在启动或加载用户程序时进入死循环，反复执行相同的内存加载与分支指令。

2. ELF文件架构不匹配 #

编译hello.elf时未正确指定RVV架构参数，或编译目标与Spike/PK的运行环境（如32位/64位）不一致，导致程序执行异常触发循环。

3. PK初始化循环被误判为异常 #

PK在启动时会执行初始化逻辑（如内存检测、环境配置），部分流程可能包含循环代码，若未过滤PK的指令，会被误认为是用户程序的异常重复序列。

修复方案 #

1. 统一Spike与PK版本 #

从同一仓库编译Spike和配套的PK，确保架构支持一致：

# 克隆riscv-isa-sim仓库
git clone https://github.com/riscv-software-src/riscv-isa-sim.git
cd riscv-isa-sim
mkdir build && cd build
# 配置并编译（指定RVV 64位支持）
../configure --with-isa=rv64gcv
make

使用编译生成的本地PK执行：

./spike -l pk /path/to/hello.elf

2. 修正ELF编译参数 #

确保编译时指定与Spike匹配的RISC-V架构：

riscv64-unknown-elf-gcc -march=rv64gcv -mabi=lp64d -o hello.elf hello.c

用readelf验证ELF架构：

riscv64-unknown-elf-readelf -h hello.elf

确认输出中的Machine字段为RISC-V，Flags包含对应RVV版本标记。

3. 静态编译并跳过PK #

若用户程序无需操作系统支持，静态编译后直接用Spike执行（无需PK）：

# 静态编译
riscv64-unknown-elf-gcc -static -march=rv64gcv -mabi=lp64d -o hello.elf hello.c
# 直接执行
/home/vindhya/riscv-vector/riscv-isa-sim/build/spike -l hello.elf

4. 过滤PK指令，聚焦用户程序 #

通过地址范围过滤日志，只保留用户程序的指令：

1. 用readelf获取用户程序入口（如main函数）的地址：

riscv64-unknown-elf-readelf -s hello.elf | grep main

2. 过滤日志中PC值在用户程序地址范围内的指令：

spike -l /home/latitude-7390/rvv64/bin/riscv64-unknown-elf/bin/pk hello.elf | grep -E "0x[0-9a-f]{16} <main|0x[0-9a-f]{16} <printf"

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