解决使用特定qemu命令行参数启动虚拟机失败，触发 Assertion failed 问题 · Pull Request !943 · openEuler/qemu

关联以下issue：
#IADWBA

修改后，执行成功的结果如下：
![输入图片说明](https://foruda.gitee.com/images/1722479792658926456/14e9ad8b_8736668.png "屏幕截图")

代码分析：
`    assert((bdrv_flags & BDRV_O_CACHE_MASK) == 0);`
    在断言错误的代码上，BDRV_O_CACHE_MASK宏定义是固定的：
`    #define BDRV_O_CACHE_MASK  (BDRV_O_NOCACHE | BDRV_O_NO_FLUSH)`
    在上游社区原始版本的qemu-8.2.0中，bdrv_flags可能的赋值只有BDRV_O_COPY_ON_READ和BDRV_O_SNAPSHOT标志，完全不会与 BDRV_O_CACHE_MASK 冲突。
    在qemu-6.2.0中添加了一段代码：

```
    if (!file || !*file) {
        cache = qdict_get_try_str(bs_opts, BDRV_OPT_CACHE_NO_FLUSH);
        if (cache && !strcmp(cache, "on")) { 
            bdrv_flags |= BDRV_O_NO_FLUSH;
        }   
            
        cache = qdict_get_try_str(bs_opts, BDRV_OPT_CACHE_DIRECT);
        if (cache && !strcmp(cache, "on")) {
            bdrv_flags |= BDRV_O_NOCACHE;
        }   
        
        qdict_del(bs_opts, BDRV_OPT_CACHE_NO_FLUSH);
        qdict_del(bs_opts, BDRV_OPT_CACHE_DIRECT);
    }
```

这段代码来自block-enable-cache-mode-of-empty-cdrom.patch，目的是在cdrom文件为空的情况下启用缓存模式。但是这部分代码中给 bdrv_flags 添加的参数，与后面 assert((bdrv_flags & BDRV_O_CACHE_MASK) == 0) 的操作出现巨大冲突，导致在该测试用例的场景下，qemu会因断言失败而启动失败。
并且，在对代码的分析中，BDRV_OPT_CACHE_NO_FLUSH 和 BDRV_OPT_CACHE_DIRECT 宏定义一般是在bdrv_parse_cache_mode函数中，通过对 QemuOpts 对象的选项进行判断，来进行赋值的：

```
int bdrv_parse_cache_mode(const char *mode, int *flags, bool *writethrough)
{
    *flags &= ~BDRV_O_CACHE_MASK;

if (!strcmp(mode, "off") || !strcmp(mode, "none")) {
        *writethrough = false;
        *flags |= BDRV_O_NOCACHE;
    } else if (!strcmp(mode, "directsync")) {
        *writethrough = true;
        *flags |= BDRV_O_NOCACHE;
    } else if (!strcmp(mode, "writeback")) {
        *writethrough = false;
    } else if (!strcmp(mode, "unsafe")) {
        *writethrough = false;
        *flags |= BDRV_O_NO_FLUSH;
    } else if (!strcmp(mode, "writethrough")) {
        *writethrough = true;
    } else {
        return -1;
    }

return 0;
}
----------------------------------------------------
在 blockdev.c 的 drive_new 函数中：

value = qemu_opt_get(all_opts, "cache");
    if (value) {
        int flags = 0;
        bool writethrough;

if (bdrv_parse_cache_mode(value, &flags, &writethrough) != 0) {
            error_setg(errp, "invalid cache option");
            return NULL;
        }

/* Specific options take precedence */
        if (!qemu_opt_get(all_opts, BDRV_OPT_CACHE_WB)) {
            qemu_opt_set_bool(all_opts, BDRV_OPT_CACHE_WB,
                              !writethrough, &error_abort);
        }
        if (!qemu_opt_get(all_opts, BDRV_OPT_CACHE_DIRECT)) {
            qemu_opt_set_bool(all_opts, BDRV_OPT_CACHE_DIRECT,
                              !!(flags & BDRV_O_NOCACHE), &error_abort);
        }
        if (!qemu_opt_get(all_opts, BDRV_OPT_CACHE_NO_FLUSH)) {
            qemu_opt_set_bool(all_opts, BDRV_OPT_CACHE_NO_FLUSH,
                              !!(flags & BDRV_O_NO_FLUSH), &error_abort);
        }
        qemu_opt_unset(all_opts, "cache");
    }
```

从这方面看，对 bdrv_flags 进行宏赋值是没有必要的，qemu 原本的设计中主要是通过对 QemuOpts 对象赋值 BDRV_OPT_CACHE_NO_FLUSH 和 BDRV_OPT_CACHE_DIRECT 宏。并且当前添加的 bdrv_flags 赋值会触发assert failed问题，建议回退代码，取消对 bdrv_flags 的赋值。

openEuler/qemu .gitee-modal { width: 500px !important; }

搜索帮助

openEuler/qemu