2.3 QEMU参数解析

本节对QEMU参数解析进行简要介绍，帮助读者将QEMU命令行参数与其代码中的实现联系起来，方便阅读代码，但是由于参数解析并非本书重点，因此不会对具体的细节进行深入讲解。本节使用的QEMU命令如下。

QEMU使用QEMUOption来表示QEMU程序的参数选项，其定义如下。

其中，name表示参数选项的名字；flags表示选项中一些参数选项的属性，比如是否有子参数；arch_mask表示参数支持的体系结构。

vl.c在全局范围定义了一个qemu_options，存储了所有的可用选项，main函数中会调lookup_opt来解析QEMU命令行参数，不在qemu_options中的参数是不合法的。

qemu_options的生成使用QEMU_OPTIONS_GENERATE_OPTIONS编译控制选项以及一个文件qemu-options-wrapper.h填充。在qemu-options-wrapper.h中，根据是否定义QEMU_OPTIONS_GENERATE_ENUM，QEMU_OPTIONS_GENERATE_HELP，QEMU_OPTIONS_GENERATE_OPTIONS以及qemu-options.def文件可以生成不同的内容。qemu-options.def是在Makefile中利用scripts/hxtool脚本根据qemu-options.hx文件生成的。

在这里只需要理解qemu_options中包括了所有可能的参数选项，如上面的-enable-kvm、-smp、-realtime、-device等即可。图2-13显示了gdb中部分qemu_options的值。

QEMUOption提供了参数的基本信息情况。实际参数的保存是由3个数据结构完成的。

QEMU将所有参数分成了几个大选项，如-eanble-kvm和-kernel都属于machine相关的，每一个大选项使用结构体QemuOptsList表示，QEMU在qemu-config.c中定义了vm_config_groups。

这表示可以支持48个大选项。在main函数中用qemu_add_opts将各个QemuOptsList添加到vm_config_groups中。

每个QemuOptsList存储了大选项支持的所有小选项，如-realtime大选项定义如下。

-realtime只支持一个值为bool的子选项，即只能有-realtime mlock=on/off。但是像-device这种选项就没有这么死板了，-device并没有规定必需的选项，因为设备有无数多种，不可能全部进行规定，解析就是按照“,”或者“=”来进行的。每个子选项由一个QemuOpt结构表示，定义如下。

name表示子选项的字符串表示；str表示对应的值。

QemuOptsList并不和QemuOpt直接联系，中间还需要有一层QemuOpts，这是因为QEMU命令行可以指定创建两个相同的设备，此时这类设备都在QemuOptsList的链表上，这是两个独立QemuOpts，每个QemuOpts有自己的QemuOpt链表。QemuOpts结构如下。

head是QemuOpts下的QemuOpt链表头；next用来连接相同QemuOptsList下同一种Qemu Opts。

QemuOptsList、QemuOpts与QemuOpt三者的关系如图2-14所示。

这里以-device参数项为例简单分析参数的处理过程，vl.c中的main函数中有一个很长的for循环来解析参数，当解析到"-device"时，下面是对QEMU_OPTION_device的分支处理。

qemu_find_opts函数从全局变量vm_config_groups中找到刚才插入的device QemuOptsList并返回。qemu_opts_parse_noisily函数只是简单调用了opts_parse，后者解析出一个QemuOpts，每一个大类的参数（如-device edu）都会在相应的QemuOptsList下面构造处理一个Opts。

opts_parse函数调用的最重要的两个函数是qemu_opts_create和opts_do_parse，前者用来创建opts并且将它插入到QemuOptsList上，后者则开始解析出一个一个的QemuOpt。opts_do_parse的作用就是解析参数的值，如本节开始的命令行参数ivshmem,shm=ivshmem,size=1。QEMU的参数可以有多种情况，比如foo,bar中foo表示开启一个flag，也有可能类似于foo=bar，对此opts_do_parse需要处理各种情况，并对每一个值生成一个QemuOpt。关键代码如下。

该函数首先根据各种情况（foo,bar或者foo=bar,more）解析出option以及value，然后调用opt_set，在该函数中会分配一个QemuOpt结构，并且进行初始化。例子中的ivshmem,shm=ivshmem, size=1会解析出3个QemuOpt，name=str分别是driver=ivshmem、shm=ivshmem、size=1。所以对于两个device的参数解析会形成图2-15所示的链表。