Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
block: Take main AioContext lock when calling bdrv_open()
The function documentation already says that all callers must hold the
main AioContext lock, but not all of them do. This can cause assertion
failures when functions called by bdrv_open() try to drop the lock. Fix
a few more callers to take the lock before calling bdrv_open().

Signed-off-by: Kevin Wolf <kwolf@redhat.com>
Message-Id: <20230525124713.401149-4-kwolf@redhat.com>
Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
  • Loading branch information
Kevin Wolf committed May 30, 2023
1 parent ae400db commit c6e0a6d
Show file tree
Hide file tree
Showing 6 changed files with 38 additions and 6 deletions.
3 changes: 3 additions & 0 deletions block.c
Expand Up @@ -7037,6 +7037,8 @@ void bdrv_img_create(const char *filename, const char *fmt,
return;
}

aio_context_acquire(qemu_get_aio_context());

/* Create parameter list */
create_opts = qemu_opts_append(create_opts, drv->create_opts);
create_opts = qemu_opts_append(create_opts, proto_drv->create_opts);
Expand Down Expand Up @@ -7186,6 +7188,7 @@ void bdrv_img_create(const char *filename, const char *fmt,
qemu_opts_del(opts);
qemu_opts_free(create_opts);
error_propagate(errp, local_err);
aio_context_release(qemu_get_aio_context());
}

AioContext *bdrv_get_aio_context(BlockDriverState *bs)
Expand Down
2 changes: 2 additions & 0 deletions block/block-backend.c
Expand Up @@ -452,7 +452,9 @@ BlockBackend *blk_new_open(const char *filename, const char *reference,
}

blk = blk_new(qemu_get_aio_context(), perm, shared);
aio_context_acquire(qemu_get_aio_context());
bs = bdrv_open(filename, reference, options, flags, errp);
aio_context_release(qemu_get_aio_context());
if (!bs) {
blk_unref(blk);
return NULL;
Expand Down
3 changes: 3 additions & 0 deletions block/qapi-sysemu.c
Expand Up @@ -362,7 +362,10 @@ void qmp_blockdev_change_medium(const char *device,
qdict_put_str(options, "driver", format);
}

aio_context_acquire(qemu_get_aio_context());
medium_bs = bdrv_open(filename, NULL, options, bdrv_flags, errp);
aio_context_release(qemu_get_aio_context());

if (!medium_bs) {
goto fail;
}
Expand Down
29 changes: 23 additions & 6 deletions blockdev.c
Expand Up @@ -662,6 +662,7 @@ static BlockBackend *blockdev_init(const char *file, QDict *bs_opts,
/* Takes the ownership of bs_opts */
BlockDriverState *bds_tree_init(QDict *bs_opts, Error **errp)
{
BlockDriverState *bs;
int bdrv_flags = 0;

GLOBAL_STATE_CODE();
Expand All @@ -676,7 +677,11 @@ BlockDriverState *bds_tree_init(QDict *bs_opts, Error **errp)
bdrv_flags |= BDRV_O_INACTIVE;
}

return bdrv_open(NULL, NULL, bs_opts, bdrv_flags, errp);
aio_context_acquire(qemu_get_aio_context());
bs = bdrv_open(NULL, NULL, bs_opts, bdrv_flags, errp);
aio_context_release(qemu_get_aio_context());

return bs;
}

void blockdev_close_all_bdrv_states(void)
Expand Down Expand Up @@ -1480,14 +1485,20 @@ static void external_snapshot_action(TransactionAction *action,
}
qdict_put_str(options, "driver", format);
}
aio_context_release(aio_context);

aio_context_acquire(qemu_get_aio_context());
state->new_bs = bdrv_open(new_image_file, snapshot_ref, options, flags,
errp);
aio_context_release(qemu_get_aio_context());

/* We will manually add the backing_hd field to the bs later */
if (!state->new_bs) {
goto out;
return;
}

aio_context_acquire(aio_context);

/*
* Allow attaching a backing file to an overlay that's already in use only
* if the parents don't assume that they are already seeing a valid image.
Expand Down Expand Up @@ -1732,15 +1743,18 @@ static void drive_backup_action(DriveBackup *backup,
if (format) {
qdict_put_str(options, "driver", format);
}
aio_context_release(aio_context);

aio_context_acquire(qemu_get_aio_context());
target_bs = bdrv_open(backup->target, NULL, options, flags, errp);
aio_context_release(qemu_get_aio_context());

if (!target_bs) {
goto out;
return;
}

/* Honor bdrv_try_change_aio_context() context acquisition requirements. */
old_context = bdrv_get_aio_context(target_bs);
aio_context_release(aio_context);
aio_context_acquire(old_context);

ret = bdrv_try_change_aio_context(target_bs, aio_context, NULL, errp);
Expand Down Expand Up @@ -3066,13 +3080,17 @@ void qmp_drive_mirror(DriveMirror *arg, Error **errp)
if (format) {
qdict_put_str(options, "driver", format);
}
aio_context_release(aio_context);

/* Mirroring takes care of copy-on-write using the source's backing
* file.
*/
aio_context_acquire(qemu_get_aio_context());
target_bs = bdrv_open(arg->target, NULL, options, flags, errp);
aio_context_release(qemu_get_aio_context());

if (!target_bs) {
goto out;
return;
}

zero_target = (arg->sync == MIRROR_SYNC_MODE_FULL &&
Expand All @@ -3082,7 +3100,6 @@ void qmp_drive_mirror(DriveMirror *arg, Error **errp)

/* Honor bdrv_try_change_aio_context() context acquisition requirements. */
old_context = bdrv_get_aio_context(target_bs);
aio_context_release(aio_context);
aio_context_acquire(old_context);

ret = bdrv_try_change_aio_context(target_bs, aio_context, NULL, errp);
Expand Down
4 changes: 4 additions & 0 deletions qemu-nbd.c
Expand Up @@ -1071,7 +1071,11 @@ int main(int argc, char **argv)
qdict_put_str(raw_opts, "driver", "raw");
qdict_put_str(raw_opts, "file", bs->node_name);
qdict_put_int(raw_opts, "offset", dev_offset);

aio_context_acquire(qemu_get_aio_context());
bs = bdrv_open(NULL, NULL, raw_opts, flags, &error_fatal);
aio_context_release(qemu_get_aio_context());

blk_remove_bs(blk);
blk_insert_bs(blk, bs, &error_fatal);
bdrv_unref(bs);
Expand Down
3 changes: 3 additions & 0 deletions tests/unit/test-block-iothread.c
Expand Up @@ -833,8 +833,11 @@ static void test_attach_second_node(void)
qdict_put_str(options, "driver", "raw");
qdict_put_str(options, "file", "base");

/* FIXME raw_open() should take ctx's lock internally */
aio_context_acquire(ctx);
aio_context_acquire(main_ctx);
filter = bdrv_open(NULL, NULL, options, BDRV_O_RDWR, &error_abort);
aio_context_release(main_ctx);
aio_context_release(ctx);

g_assert(blk_get_aio_context(blk) == ctx);
Expand Down

0 comments on commit c6e0a6d

Please sign in to comment.