Cover image for Qemu Debug

Qemu Debug

字数 3.3k
阅读
访客
时间轴

时间轴

2025-11-23

  1. init
本文介绍了QEMU调试的多种方法,包括使用gdb直接调试QEMU源码、通过内置gdbserver进行远程调试、利用灵活日志系统观测客户机状态,以及重点讲解了QEMU的tracing追踪工具。文章详细说明了tracing的快速上手方式,包括如何通过启动参数或monitor动态启用trace-event、配置输出文件,并介绍了trace-event的定义格式、添加步骤及使用注意事项,如类型支持与可移植性要求。此外,还概述了trace backend的设计与多种后端支持,为QEMU源码调试与性能分析提供了实用指导。

环境

123456
wget https://download.qemu.org/qemu-10.1.2.tar.xztar xvJf qemu-10.1.2.tar.xzcd qemu-10.1.2mkdir -p output./configure --prefix=$PWD/output --target-list=aarch64-softmmu,riscv64-softmmu --enable-debugbear -- make -j$(nproc)

创建.clangd

123
CompileFlags:  Add: -Wno-unknown-warning-option  Remove: [-m*, -f*]

源码调试

调试 QEMU 源码并不需要像调试内核一样先启动再通过 gdb attach,QEMU 本身可以直接在本地执行调试。(注意编译时要 enable-debug)

gdb

可以直接使用gdb调试

12
$ gdb --args ./build/riscv64-softmmu/qemu-system-riscv64 \    -M virt -kernel Image -nographic

vscode

.vscode/launch.json

12345678910111213141516171819202122232425262728293031323334
{  // Use IntelliSense to learn about possible attributes.  // Hover to view descriptions of existing attributes.  // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387  "version": "0.2.0",  "configurations": [    {      "name": "qemu-system-riscv",      "type": "cppdbg",      "request": "launch",      "program": "${workspaceFolder}/build/qemu-system-riscv64",      "args": [        "-device", "edu,id=edu1"      ],      "stopAtEntry": true,      "cwd": "${fileDirname}",      "environment": [],      "externalConsole": false,      "MIMode": "gdb",      "setupCommands": [          {              "description": "Enable pretty-printing for gdb",              "text": "-enable-pretty-printing",              "ignoreFailures": true          },          {              "description": "Set Disassembly Flavor to Intel",              "text": "-gdb-set disassembly-flavor intel",              "ignoreFailures": true          }      ]    },  ]}

远程调试

QEMU 内置了一个 gdbserver 可以对客户机处理器进行控制。用户可以通过任何 gdb client 连接。

下面给出具体操作命令:

1
$QEMU $QEMU_ARGS -s -S
  • -s:启动 gdbstub,并把端口号设置为 1234
  • -S:让 QEMU 停在客户机的第一条指令,等待 gdb client 连接。

如果要指定调试的端口号,可以使用如下命令:

1
$QEMU $QEMU_ARGS -gdb tcp::<your-port> -S

然后使用对应架构的 gdb 连接 QEMU gdbstub:

1
$ARCH-gdb $BINARY -ex "target remote localhost:1234"

日志调试

QEMU 有一个灵活的日志系统,可以很方便地观测客户机的各种状态(指令流、中断、异常、系统调用)。

下面给出基本命令格式:

1
$QEMU $QEMU_ARGS -d <log-type,...> -D <log-file-name>
  • -d:指定 log 的类型,可以多个,使用,分割
  • -D:指定输出 log 的文件路径,如果不加这个参数,默认输出到命令行终端

你可以使用如下命令查看当前支持的 log 的类型:

1234567891011121314151617181920212223242526272829
$QEMU -d ?Log items (comma separated):out_asm         show generated host assembly code for each compiled TBin_asm          show target assembly code for each compiled TBop              show micro ops for each compiled TBop_opt          show micro ops after optimizationop_ind          show micro ops before indirect loweringop_plugin       show micro ops before plugin injectionint             show interrupts/exceptions in short formatexec            show trace before each executed TB (lots of logs)cpu             show CPU registers before entering a TB (lots of logs)fpu             include FPU registers in the 'cpu' loggingmmu             log MMU-related activitiespcall           x86 only: show protected mode far calls/returns/exceptionscpu_reset       show CPU state before CPU resetsunimp           log unimplemented functionalityguest_errors    log when the guest OS does something invalid (eg accessing anon-existent register)page            dump pages at beginning of user mode emulationnochain         do not chain compiled TBs so that "exec" and "cpu" showcomplete tracesplugin          output from TCG pluginsstrace          log every user-mode syscall, its input, and its resulttid             open a separate log file per thread; filename must contain '%d'vpu             include VPU registers in the 'cpu' logginginvalid_mem     log invalid memory accessestrace:PATTERN   enable trace eventsUse "-d trace:help" to get a list of trace events.

我们列举一些常用的组合。

  • 如果我们想观察 TCG 是如何翻译指令,可以使用如下命令:
1
$QEMU $QEMU_ARGS -d in_asm,op,out_asm -D tcg.log
  • 如果我们想观察 CPU 的状态(寄存器值,中断/异常),可以使用下面的命令:
1
$QEMU $QEMU_ARGS -d exec,cpu,int -D cpu.log
  • 如果你想获取 CPU 精准执行的指令流,需要设置每个 TB 只包含一条指令,可以使用下面的命令:
1
$QEMU $QEMU_ARGS --accel tcg,one-insn-per-tb=on -d exec,cpu,int -D cpu.log

追踪事件

参考:

QEMU 有一个很好用的调试工具 tracing,可以用来跟踪 QEMU 内部函数的执行情况,以及性能调优。比如追踪客户机程序的访存情况,可以将 QEMU 的 memory_region 的读写记录打印出来,只要注册了相应的 trace-event。

快速上手

在 QEMU 的启动选项中,通过增加 trace 参数,来指明要追踪的事件,这里以追踪 memory region 的访存事件为例:

1234
$ qemu-system-riscv64 -M virt --trace "memory_region_ops_*" # *号代表前面的字符作为匹配对象...719585@1608130130.441188:memory_region_ops_read cpu 0 mr 0x562fdfbb3820 addr 0x3cc value 0x67 size 1719585@1608130130.441190:memory_region_ops_write cpu 0 mr 0x562fdfbd2f00 addr 0x3d4 value 0x70e size 2

我们可以在 QEMU 源码的 system/trace-events 文件中找到 mr 相关的 trace-event:

123
# memory.cmemory_region_ops_read(int cpu_index, void *mr, uint64_t addr, uint64_t value, unsigned size, const char *name) "cpu %d mr %p addr 0x%"PRIx64" value 0x%"PRIx64" size %u name '%s'"memory_region_ops_write(int cpu_index, void *mr, uint64_t addr, uint64_t value, unsigned size, const char *name) "cpu %d mr %p addr 0x%"PRIx64" value 0x%"PRIx64" size %u name '%s'"

如果要启用多个 trace-event,只需要在启动选项里追加--trace <name>

为了避免参数冗长,可以将需要追踪的 trace-event 记录在一个配置文件,然后加载它:

123
echo "memory_region_ops_*" >/tmp/eventsecho "kvm_*" >>/tmp/eventsqemu-system-riscv64 -M virt --trace events=/tmp/events ...

同时 tracing 也支持输出到文件,我们修改上面的 QEMU 命令:

1
qemu-system-riscv64 -M virt --trace events=/tmp/events,file=/tmp/event.log ...

如果不想在 QEMU 启动选项里开启,我们也可以在 QEMU 的 monitor 中动态开启,这样更灵活一些,操作如下:

12345
$ qemu-system-riscv64 -M virt -monitor stdio -S -display none(qemu) trace-event memory_region_ops_read on(qemu) c...memory_region_ops_write cpu 0 mr 0x55a289a24d80 addr 0x10000000 value 0x78 size 1 name 'serial'

在 monitor 中使用 tracing 还有一个好处,你可以通过 Tab 键来补全命令,不必手动从源码中查阅每个组件支持的 trace-event。

也可以使用info trace-events命令查询支持的 trace 事件。

或者使用trace-file命令将追踪日志输出到文件。

tracing 支持多种 backend,默认使用 QEMU 的 log 作为后端。

trace-event 介绍

在 QEMU 源码的每一级目录,都可以添加 trace-events 文件,只需要在顶层 meson.build 目录里声明它的相对路径,就可以往里面添加自定义的 trace-event:

123456789
if have_system  trace_events_subdirs += [    'accel/kvm',    'backends/tpm',    'ebpf',    'hw/arm',    ...  ]endif

这些子目录里的 trace-events 文件需要被 tracetool 处理,自动生成 trace 代码。

在 QEMU 构建过程中,每个 trace-events 文件将由 tracetool 脚本处理,自动在build/trace/路径下生成 trace 相关的代码,主要包含以下文件:

123456
- trace-<子目录名>.c- trace-<subdir>.h- trace-dtrace-<subdir>.h- trace-dtrace-<subdir>.dtrace- trace-dtrace-<subdir>.o- trace-ust-<subdir>.h

此处的<子目录名>表示将子目录路径中的 ‘/’ 替换为 ‘_’。

例子

accel/kvm/trace-events

123456
trace/trace-accel_kvm.ctrace/trace-accel_kvm.htrace/trace-dtrace-accel_kvm.htrace/trace-dtrace-accel_kvm.dtracetrace/trace-dtrace-accel_kvm.otrace/trace-ust-accel_kvm.h

各个 trace-events 文件会被合并成一个 trace-events-all 文件,trace/trace-events-all

这个合并后的文件将由 QEMU 提供的 simpletrace.py 脚本用于后续分析 simple 后端的二进制跟踪记录。

源码目录里不直接 include 生成文件,而是通过 #include 引用本地的 trace.h 文件,且不带任何子目录路径前缀

例如 io/channel-buffer.c 会这样引用:

1
#include "trace.h"

另外,我们必须手动创建 io/trace.h 文件,

并在其中包含对应的trace/trace-<子目录名>.h文件,该文件在构建时由 tracetool 生成:

1
echo '#include "trace/trace-io.h"' > io/trace.h

值得注意的是:虽然可以从源文件所在子目录之外引入 trace.h,但通常不建议这样做。

强烈建议所有 trace-event,都在使用它们的子目录中直接声明。唯一的例外是,在顶级目录的 trace-events 文件中定义了一些共享跟踪事件。

顶级目录生成的跟踪文件会带有 trace/trace-root 前缀,而不仅仅是 trace ,这是为了避免当前目录中的 trace.h ,与顶级目录中的文件产生歧义。

例子

1234567891011121314
src/├── io/│   ├── channel.c│   ├── trace-events   <-- 你写的│   └── trace.h        <-- 你创建,引用 trace-io.h├── hw/arm/│   ├── xxxx.c│   ├── trace-events│   └── trace.h└── meson.build        <-- 声明哪些目录包含 trace-events

构建后:

123456
build/trace/    trace-io.c    trace-io.h    trace-hw_arm.c    trace-hw_arm.h    trace-events-all     <-- 所有 trace-events 合并

添加新的 trace-event

添加新的 trace-event 只需要两步:

  • 在相应目录的 trace-events 文件中声明 trace-event
  • 在需要调试的目标源码内,添加这个事件的函数调用。

以追踪 QEMU 内存的申请释放为例,trace-event 的格式如下:

12
qemu_vmalloc(size_t size, void *ptr) "size %zu ptr %p"qemu_vfree(void *ptr) "ptr %p"

每个事件声明将以事件名称开头,然后是参数,最后是一个用于美观打印的格式字符串

格式字符串应反映跟踪事件中定义的类型。tracing 只支持基础标量类型(char、int、long),不支持浮点类型(float、double)

特别注意对 int64_t 和 uint64_t 类型分别使用 PRId64 和 PRIu64,这确保了在 32 位和 64 位平台之间的可移植性。

格式字符串不得以换行符结尾。由后端负责调整行尾以实现正确的日志记录。

定义好 trace-event,直接从目标源码中调用它,示例如下:

12345678910111213
#include "trace.h"  /* needed for trace event prototype */void *qemu_vmalloc(size_t size){    void *ptr;    size_t align = QEMU_VMALLOC_ALIGN;    if (size < align) {        align = getpagesize();    }    ptr = qemu_memalign(align, size);    /* 插入 trace-event,格式为:trace_<event-name> */    trace_qemu_vmalloc(size, ptr);    return ptr;}

若一个函数中存在多个跟踪事件,应在名称末尾添加唯一标识符加以区分。

某些情况下可能需要执行相对复杂的计算来生成仅用作跟踪函数参数的值。此时可以使用下面这个函数来保护这类计算逻辑:

1
trace_event_get_state_backends()

当事件在编译时或运行时被禁用,相关计算将被跳过。若事件在编译阶段已禁用,该检查将不会产生任何性能开销。

示例代码如下。

12345678910111213141516
#include "trace.h"  /* needed for trace event prototype */void *qemu_vmalloc(size_t size){    void *ptr;    size_t align = QEMU_VMALLOC_ALIGN;    if (size < align) {        align = getpagesize();    }    ptr = qemu_memalign(align, size);    if (trace_event_get_state_backends(TRACE_QEMU_VMALLOC)) {        void *complex;        /* some complex computations to produce the 'complex' value */        trace_qemu_vmalloc(size, ptr, complex);    }    return ptr;}

以下几种情况,非常适合使用 tracing 调试:

  1. 跟踪代码中的状态变化。代码中的关键点通常涉及状态变更,如启动、停止、分配、释放等。状态变化是理想的跟踪事件,因为它们能帮助理解系统执行过程。
  2. 跟踪客户机操作。客户机的 I/O 访问(如读取设备寄存器)是良好的跟踪事件,可用于分析客户机交互行为。
  3. 使用关联字段以便理解单行跟踪输出的上下文。例如,跟踪 malloc 返回的指针及其作为 free 参数的使用情况,这样就能匹配 malloc 和 free 操作。缺乏上下文的跟踪事件实用价值有限。

trace backend 介绍

QEMU 的 tracing 采用前后端分离的设计,支持多种后端,除了上文提到的 log,还支持更轻量的 simple,以及 ftrace 和 dtrace。

我们还可以通过 tracetool 脚本添加更多 backend 支持。

启用不同的 backend,可以使用以下 QEMU 编译命令:

1
./configure --enable-trace-backends=simple,dtrace

通过运行./configure --help查看支持的所有后端,若未显式地选择后端,配置将默认使用 log 后端(等价于--enable-trace-backends=log)。

分析跟踪文件

我们以 simple 后端为例,该后端通过独立线程,将二进制追踪日志写入文件,相比 log 后端具有更低的开销。

同时 QEMU 源码仓中提供了离线追踪文件分析的 python 脚本。虽然功能可能不如特定平台或第三方追踪后端强大,但具有可移植性且无需特殊库依赖。

使用 simpletrace.py 脚本进行格式化,需要用到 trace-events-all 文件和二进制跟踪文件:

1
./scripts/simpletrace.py <trace-events-all> <trace-log>

必须确保使用的 trace-events-all 文件,与构建 QEMU 时的生成的相同,否则跟踪事件声明可能已发生变化,导致输出不一致。

参考:

评论加载中…