From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:40517) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cwey8-00028l-2R for qemu-devel@nongnu.org; Fri, 07 Apr 2017 21:15:13 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cwey4-0001ii-MN for qemu-devel@nongnu.org; Fri, 07 Apr 2017 21:15:12 -0400 Received: from mx1.redhat.com ([209.132.183.28]:38700) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cwey4-0001hT-EA for qemu-devel@nongnu.org; Fri, 07 Apr 2017 21:15:08 -0400 Received: from smtp.corp.redhat.com (int-mx01.intmail.prod.int.phx2.redhat.com [10.5.11.11]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id 7B2493D958 for ; Sat, 8 Apr 2017 01:15:07 +0000 (UTC) References: <20170323173928.14439-1-pbonzini@redhat.com> <20170323173928.14439-10-pbonzini@redhat.com> From: John Snow Message-ID: <77f7cf9a-9089-fbc8-911d-228cf62c5c2a@redhat.com> Date: Fri, 7 Apr 2017 21:15:06 -0400 MIME-Version: 1.0 In-Reply-To: <20170323173928.14439-10-pbonzini@redhat.com> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] [PATCH 09/10] blockjob: reorganize block_job_completed_txn_abort List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Paolo Bonzini , qemu-devel@nongnu.org Cc: jcody@redhat.com On 03/23/2017 01:39 PM, Paolo Bonzini wrote: > This splits the part that touches job states from the part that invokes > callbacks. It will be a bit simpler to understand once job states will > be protected by a different mutex than the AioContext lock. > Maybe easier to review then, too :) > Signed-off-by: Paolo Bonzini > --- > blockjob.c | 165 ++++++++++++++++++++++++++++++++----------------------------- > 1 file changed, 88 insertions(+), 77 deletions(-) > > diff --git a/blockjob.c b/blockjob.c > index 093962b..3fa2885 100644 > --- a/blockjob.c > +++ b/blockjob.c > @@ -76,6 +76,39 @@ BlockJob *block_job_get(const char *id) > return NULL; > } > > +BlockJobTxn *block_job_txn_new(void) > +{ > + BlockJobTxn *txn = g_new0(BlockJobTxn, 1); > + QLIST_INIT(&txn->jobs); > + txn->refcnt = 1; > + return txn; > +} > + > +static void block_job_txn_ref(BlockJobTxn *txn) > +{ > + txn->refcnt++; > +} > + > +void block_job_txn_unref(BlockJobTxn *txn) > +{ > + if (txn && --txn->refcnt == 0) { > + g_free(txn); > + } > +} > + > +void block_job_txn_add_job(BlockJobTxn *txn, BlockJob *job) > +{ > + if (!txn) { > + return; > + } > + > + assert(!job->txn); > + job->txn = txn; > + > + QLIST_INSERT_HEAD(&txn->jobs, job, txn_list); > + block_job_txn_ref(txn); > +} > + > static void block_job_pause(BlockJob *job) > { > job->pause_count++; > @@ -336,6 +369,8 @@ void block_job_start(BlockJob *job) > > static void block_job_completed_single(BlockJob *job) > { > + assert(job->completed); > + > if (!job->ret) { > if (job->driver->commit) { > job->driver->commit(job); > @@ -376,14 +411,49 @@ static void block_job_completed_single(BlockJob *job) > static void block_job_cancel_async(BlockJob *job) > { > job->cancelled = true; > - block_job_iostatus_reset(job); > + if (!job->completed) { > + block_job_iostatus_reset(job); > + } > +} > + > +static int block_job_finish_sync(BlockJob *job, > + void (*finish)(BlockJob *, Error **errp), > + Error **errp) > +{ > + Error *local_err = NULL; > + int ret; > + > + assert(blk_bs(job->blk)->job == job); > + > + block_job_ref(job); > + > + if (finish) { > + finish(job, &local_err); > + } > + if (local_err) { > + error_propagate(errp, local_err); > + block_job_unref(job); > + return -EBUSY; > + } > + /* block_job_drain calls block_job_enter, and it should be enough to > + * induce progress until the job completes or moves to the main thread. > + */ > + while (!job->deferred_to_main_loop && !job->completed) { > + block_job_drain(job); > + } > + while (!job->completed) { > + aio_poll(qemu_get_aio_context(), true); > + } > + ret = (job->cancelled && job->ret == 0) ? -ECANCELED : job->ret; > + block_job_unref(job); > + return ret; > } > > static void block_job_completed_txn_abort(BlockJob *job) > { > AioContext *ctx; > BlockJobTxn *txn = job->txn; > - BlockJob *other_job, *next; > + BlockJob *other_job; > > if (txn->aborting) { > /* > @@ -392,29 +462,34 @@ static void block_job_completed_txn_abort(BlockJob *job) > return; > } > txn->aborting = true; > + block_job_txn_ref(txn); > + > /* We are the first failed job. Cancel other jobs. */ > QLIST_FOREACH(other_job, &txn->jobs, txn_list) { > ctx = blk_get_aio_context(other_job->blk); > aio_context_acquire(ctx); > } > + > + /* Other jobs are "effectively" cancelled by us, set the status for > + * them; this job, however, may or may not be cancelled, depending > + * on the caller, so leave it. */ > QLIST_FOREACH(other_job, &txn->jobs, txn_list) { > - if (other_job == job || other_job->completed) { > - /* Other jobs are "effectively" cancelled by us, set the status for > - * them; this job, however, may or may not be cancelled, depending > - * on the caller, so leave it. */ > - if (other_job != job) { > - block_job_cancel_async(other_job); > - } > - continue; > + if (other_job != job) { > + block_job_cancel_async(other_job); > } > - block_job_cancel_sync(other_job); > - assert(other_job->completed); > } > - QLIST_FOREACH_SAFE(other_job, &txn->jobs, txn_list, next) { > + while (!QLIST_EMPTY(&txn->jobs)) { > + other_job = QLIST_FIRST(&txn->jobs); > ctx = blk_get_aio_context(other_job->blk); > + if (!other_job->completed) { > + assert(other_job->cancelled); > + block_job_finish_sync(other_job, NULL, NULL); > + } > block_job_completed_single(other_job); > aio_context_release(ctx); > } > + > + block_job_txn_unref(txn); > } > > static void block_job_completed_txn_success(BlockJob *job) > @@ -502,37 +577,6 @@ void block_job_cancel(BlockJob *job) > } > } > > -static int block_job_finish_sync(BlockJob *job, > - void (*finish)(BlockJob *, Error **errp), > - Error **errp) > -{ > - Error *local_err = NULL; > - int ret; > - > - assert(blk_bs(job->blk)->job == job); > - > - block_job_ref(job); > - > - finish(job, &local_err); > - if (local_err) { > - error_propagate(errp, local_err); > - block_job_unref(job); > - return -EBUSY; > - } > - /* block_job_drain calls block_job_enter, and it should be enough to > - * induce progress until the job completes or moves to the main thread. > - */ > - while (!job->deferred_to_main_loop && !job->completed) { > - block_job_drain(job); > - } > - while (!job->completed) { > - aio_poll(qemu_get_aio_context(), true); > - } > - ret = (job->cancelled && job->ret == 0) ? -ECANCELED : job->ret; > - block_job_unref(job); > - return ret; > -} > - > /* A wrapper around block_job_cancel() taking an Error ** parameter so it may be > * used with block_job_finish_sync() without the need for (rather nasty) > * function pointer casts there. */ > @@ -856,36 +900,3 @@ void block_job_defer_to_main_loop(BlockJob *job, > aio_bh_schedule_oneshot(qemu_get_aio_context(), > block_job_defer_to_main_loop_bh, data); > } > - > -BlockJobTxn *block_job_txn_new(void) > -{ > - BlockJobTxn *txn = g_new0(BlockJobTxn, 1); > - QLIST_INIT(&txn->jobs); > - txn->refcnt = 1; > - return txn; > -} > - > -static void block_job_txn_ref(BlockJobTxn *txn) > -{ > - txn->refcnt++; > -} > - > -void block_job_txn_unref(BlockJobTxn *txn) > -{ > - if (txn && --txn->refcnt == 0) { > - g_free(txn); > - } > -} > - > -void block_job_txn_add_job(BlockJobTxn *txn, BlockJob *job) > -{ > - if (!txn) { > - return; > - } > - > - assert(!job->txn); > - job->txn = txn; > - > - QLIST_INSERT_HEAD(&txn->jobs, job, txn_list); > - block_job_txn_ref(txn); > -} >