NEMU DiffTest基本原理

百里杨

已于 2024-07-13 13:10:47 修改

阅读量1k

点赞数 18

分类专栏： RISC-V指令集文章标签： NEMU DiffTest QEMU RISC-V

于 2024-07-12 13:03:39 首次发布

本文链接：https://blog.csdn.net/zyhse/article/details/140371014

版权

43 篇文章 16 订阅

订阅专栏

1 DiffTest原理简述

DiffTest核心思想：对于根据同一规范的两种实现, 给定相同的有定义的输入, 它们的行为应当一致。
回到处理器设计，对于根据riscv手册的两种实现, 给定相同的正确程序, 它们的状态变化（寄存器、内存），应当一致，两种实现：

其中一种，是我们的CPU；
另一种，选一个模拟器作为参考实现。

双方每执行完一条指令，就检查各自的寄存器和内存的状态，如果发现状态不一致，就马上报告错误，停止客户程序的执行（相当于对每一条指令做assert判断）。
DiffTest = 在线指令级行为验证方法
- 在线 = 边跑程序边验证
- 指令级 = 执行的每条指令都验证
能把任意程序转化为指令级别的测试, 对状态进行断言
- 支持不会结束的程序, 例如OS
无需提前得知程序的结果
- 因为我们对比的是指令执行的行为, 而不是程序的语义

DiffTest最大的用处是：当跑了几百，几千条指令出现译码或执行bug，我们如何快速找出第一条出错的指令，这是一个地狱级的难度。

本文中，我们选择以下，为例进行说明：

当然，如果需要测试处理器硬件，那处理器也可以作为DUT。

make menuconfig

进入Testing and Debugging -> Enable differential testing -> Reference design，如下：

在这里插入图片描述
NEMU作DUT时，可以选择5种方式的模拟器，作为参考模拟器REF。

对于后面三种，楼主没有具体研究，因此本文也不作介绍。

可以将NEMU/tools/qemu-dl-diff/，编译为动态库riscv64-qemu-so。
NEMU、动态库、QEMU之间的关系：
在这里插入图片描述

具体流程：

NEMU可执行程序riscv64-nemu-interpreter，通过调用dlopen函数加载riscv64-qemu-so，并将difftest_xx系列函数符号解析出来，以备后续调用。
然后，NEMU调用difftest_init函数，进行初始化。
在difftest_init函数中，会再次调用dlopen函数，去加载qemu-system-riscv64可执行文件，并解析cpu_xx、gdb_xx以及qemu_xx系列函数符号，这些函数符号，其实就是difftest_xx系列函数的底层实现代码。
从qemu-system-riscv64文件中，解析的函数，就有main函数，随后difftest_init函数就会调用它，以启动qemu程序。
NEMU调用difftest_memcpy函数，将benos_payload.bin，拷贝到QEMU中0x80000000地址处，表示NEMU的二进制镜像与QEMU同步了。
NEMU调用difftest_regcpy函数，将CPU寄存器，拷贝到QEMU中，表示NEMU的寄存器与QEMU同步了，如下图所示。
随后，如果一切正常的话，就可以调用qemu函数，以实现指令结果比对了。

在这里插入图片描述

可以将NEMU/tools/qemu-socket-diff/，编译为动态库riscv64-qemu-so。
NEMU、动态库、QEMU之间的关系：
在这里插入图片描述

动态库：riscv64-qemu-so，导出了difftest_xx系列函数接口。
QEMU：qemu-system-riscv64可执行文件中，有cpu_xx、gdb_xx系列函数接口。
NEMU：riscv64-nemu-interpreter程序，调用动态库，动态库通过socket发送命令数据包，QEMU接收到数据包并解析，根据具体命令，决定调用哪个函数执行。

具体流程：

NEMU可执行程序riscv64-nemu-interpreter，通过调用dlopen函数加载riscv64-qemu-so，并将difftest_xx系列函数符号解析出来，以备后续调用。
然后，NEMU调用difftest_init函数，进行初始化。
在difftest_init函数中，会fork()一个子进程出来，通过调用execlp函数启动QEMU；而父进程继续执行，通过socket连接QEMU，调用init_isa函数初始化。
NEMU调用difftest_memcpy函数，将benos_payload.bin，拷贝到QEMU中0x80000000地址处，表示NEMU的二进制镜像与QEMU同步了。
NEMU调用difftest_regcpy函数，将CPU寄存器，拷贝到QEMU中，表示NEMU的寄存器与QEMU同步了，如下图所示。
随后，如果一切正常的话，就可以通过socket，以实现指令结果比对了。

在这里插入图片描述

二进制和寄存器同步，与动态库方式区别就是，这里是通过socket来完成的。

参考文档：

百里杨

关注