Skip to content

Commit

Permalink
block: fix streaming/closing race
Browse files Browse the repository at this point in the history
Streaming can issue I/O while qcow2_close is running.  This causes the
L2 caches to become very confused or, alternatively, could cause a
segfault when the streaming coroutine is reentered after closing its
block device.  The fix is to cancel streaming jobs when closing their
underlying device.

The cancellation must be synchronous, on the other hand qemu_aio_wait
will not restart a coroutine that is sleeping in co_sleep.  So add
a flag saying whether streaming has in-flight I/O.  If the busy flag
is false, the coroutine is quiescent and, when cancelled, will not
issue any new I/O.

This protects streaming against closing, but not against deleting.
We have a reference count protecting us against concurrent deletion,
but I still added an assertion to ensure nothing bad happens.

Signed-off-by: Paolo Bonzini <[email protected]>
Reviewed-by: Stefan Hajnoczi <[email protected]>
Signed-off-by: Kevin Wolf <[email protected]>
  • Loading branch information
bonzini authored and kevmw committed Apr 5, 2012
1 parent 12bde0e commit 3e91465
Show file tree
Hide file tree
Showing 3 changed files with 22 additions and 2 deletions.
16 changes: 16 additions & 0 deletions block.c
Original file line number Diff line number Diff line change
Expand Up @@ -813,6 +813,9 @@ int bdrv_open(BlockDriverState *bs, const char *filename, int flags,
void bdrv_close(BlockDriverState *bs)
{
if (bs->drv) {
if (bs->job) {
block_job_cancel_sync(bs->job);
}
if (bs == bs_snapshots) {
bs_snapshots = NULL;
}
Expand Down Expand Up @@ -966,6 +969,8 @@ void bdrv_append(BlockDriverState *bs_new, BlockDriverState *bs_top)
void bdrv_delete(BlockDriverState *bs)
{
assert(!bs->dev);
assert(!bs->job);
assert(!bs->in_use);

/* remove from list, if necessary */
bdrv_make_anon(bs);
Expand Down Expand Up @@ -4095,3 +4100,14 @@ bool block_job_is_cancelled(BlockJob *job)
{
return job->cancelled;
}

void block_job_cancel_sync(BlockJob *job)
{
BlockDriverState *bs = job->bs;

assert(bs->job == job);
block_job_cancel(job);
while (bs->job != NULL && bs->job->busy) {
qemu_aio_wait();
}
}
6 changes: 4 additions & 2 deletions block/stream.c
Original file line number Diff line number Diff line change
Expand Up @@ -175,7 +175,7 @@ static void coroutine_fn stream_run(void *opaque)
break;
}


s->common.busy = true;
if (base) {
ret = is_allocated_base(bs, base, sector_num,
STREAM_BUFFER_SIZE / BDRV_SECTOR_SIZE, &n);
Expand All @@ -189,6 +189,7 @@ static void coroutine_fn stream_run(void *opaque)
if (s->common.speed) {
uint64_t delay_ns = ratelimit_calculate_delay(&s->limit, n);
if (delay_ns > 0) {
s->common.busy = false;
co_sleep_ns(rt_clock, delay_ns);

/* Recheck cancellation and that sectors are unallocated */
Expand All @@ -208,14 +209,15 @@ static void coroutine_fn stream_run(void *opaque)
/* Note that even when no rate limit is applied we need to yield
* with no pending I/O here so that qemu_aio_flush() returns.
*/
s->common.busy = false;
co_sleep_ns(rt_clock, 0);
}

if (!base) {
bdrv_disable_copy_on_read(bs);
}

if (sector_num == end && ret == 0) {
if (!block_job_is_cancelled(&s->common) && sector_num == end && ret == 0) {
const char *base_id = NULL;
if (base) {
base_id = s->backing_file_id;
Expand Down
2 changes: 2 additions & 0 deletions block_int.h
Original file line number Diff line number Diff line change
Expand Up @@ -83,6 +83,7 @@ struct BlockJob {
const BlockJobType *job_type;
BlockDriverState *bs;
bool cancelled;
bool busy;

/* These fields are published by the query-block-jobs QMP API */
int64_t offset;
Expand Down Expand Up @@ -311,6 +312,7 @@ void block_job_complete(BlockJob *job, int ret);
int block_job_set_speed(BlockJob *job, int64_t value);
void block_job_cancel(BlockJob *job);
bool block_job_is_cancelled(BlockJob *job);
void block_job_cancel_sync(BlockJob *job);

int stream_start(BlockDriverState *bs, BlockDriverState *base,
const char *base_id, BlockDriverCompletionFunc *cb,
Expand Down

0 comments on commit 3e91465

Please sign in to comment.