From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:58033) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WWwoM-0001pn-Gm for qemu-devel@nongnu.org; Sun, 06 Apr 2014 19:49:19 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WWwoG-0008QM-Qr for qemu-devel@nongnu.org; Sun, 06 Apr 2014 19:49:14 -0400 Received: from mx1.redhat.com ([209.132.183.28]:24444) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WWwoG-0008QG-JN for qemu-devel@nongnu.org; Sun, 06 Apr 2014 19:49:08 -0400 Date: Sun, 6 Apr 2014 19:49:04 -0400 From: Jeff Cody Message-ID: <20140406234904.GA7120@localhost.localdomain> References: <1394436370-8908-1-git-send-email-famz@redhat.com> <1394436370-8908-3-git-send-email-famz@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1394436370-8908-3-git-send-email-famz@redhat.com> Subject: Re: [Qemu-devel] [PATCH v17 02/14] block: Introduce op_blockers to BlockDriverState List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Fam Zheng Cc: kwolf@redhat.com, benoit.canet@irqsave.net, rjones@redhat.com, armbru@redhat.com, qemu-devel@nongnu.org, ptoscano@redhat.com, imain@redhat.com, stefanha@redhat.com, pbonzini@redhat.com On Mon, Mar 10, 2014 at 03:25:58PM +0800, Fam Zheng wrote: > BlockDriverState.op_blockers is an array of lists with BLOCK_OP_TYPE_MAX > elements. Each list is a list of blockers of an operation type > (BlockOpType), that marks this BDS as currently blocked for a certain > type of operation with reason errors stored in the list. The rule of > usage is: > > * BDS user who wants to take an operation should check if there's any > blocker of the type with bdrv_op_is_blocked(). > > * BDS user who wants to block certain types of operation, should call > bdrv_op_block (or bdrv_op_block_all to block all types of operations, > which is similar to the existing bdrv_set_in_use()). > > * A blocker is only referenced by op_blockers, so the lifecycle is > managed by caller, and shouldn't be lost until unblock, so typically > a caller does these: > > - Allocate a blocker with error_setg or similar, call bdrv_op_block() > to block some operations. > - Hold the blocker, do his job. > - Unblock operations that it blocked, with the same reason pointer > passed to bdrv_op_unblock(). > - Release the blocker with error_free(). Is there a reason to assume there will be atypical usages that don't follow these steps? If not, could the Error reason resource be allocated inside the block() operation if non-NULL, and freed inside the unblock() operations? > > Signed-off-by: Fam Zheng > Reviewed-by: Benoit Canet > --- > block.c | 75 +++++++++++++++++++++++++++++++++++++++++++++++ > include/block/block.h | 7 +++++ > include/block/block_int.h | 5 ++++ > 3 files changed, 87 insertions(+) > > diff --git a/block.c b/block.c > index f1ef4b0..56a4433 100644 > --- a/block.c > +++ b/block.c > @@ -335,6 +335,7 @@ void bdrv_register(BlockDriver *bdrv) > BlockDriverState *bdrv_new(const char *device_name) > { > BlockDriverState *bs; > + int i; > > bs = g_malloc0(sizeof(BlockDriverState)); > QLIST_INIT(&bs->dirty_bitmaps); > @@ -342,6 +343,9 @@ BlockDriverState *bdrv_new(const char *device_name) > if (device_name[0] != '\0') { > QTAILQ_INSERT_TAIL(&bdrv_states, bs, device_list); > } > + for (i = 0; i < BLOCK_OP_TYPE_MAX; i++) { > + QLIST_INIT(&bs->op_blockers[i]); > + } > bdrv_iostatus_disable(bs); > notifier_list_init(&bs->close_notifiers); > notifier_with_return_list_init(&bs->before_write_notifiers); > @@ -1853,6 +1857,8 @@ static void bdrv_move_feature_fields(BlockDriverState *bs_dest, > pstrcpy(bs_dest->device_name, sizeof(bs_dest->device_name), > bs_src->device_name); > bs_dest->device_list = bs_src->device_list; > + memcpy(bs_dest->op_blockers, bs_src->op_blockers, > + sizeof(bs_dest->op_blockers)); > } > > /* > @@ -5151,6 +5157,75 @@ void bdrv_unref(BlockDriverState *bs) > } > } > > +struct BdrvOpBlocker { > + Error *reason; > + QLIST_ENTRY(BdrvOpBlocker) list; > +}; > + > +bool bdrv_op_is_blocked(BlockDriverState *bs, BlockOpType op, Error **errp) > +{ > + BdrvOpBlocker *blocker; > + assert((int) op >= 0 && op < BLOCK_OP_TYPE_MAX); > + if (!QLIST_EMPTY(&bs->op_blockers[op])) { > + blocker = QLIST_FIRST(&bs->op_blockers[op]); > + if (errp) { > + *errp = error_copy(blocker->reason); > + } The blocker assignment could be moved inside the if bracket (just an observation, not a request) Reviewed-by: Jeff Cody > + return true; > + } > + return false; > +} > + > +void bdrv_op_block(BlockDriverState *bs, BlockOpType op, Error *reason) > +{ > + BdrvOpBlocker *blocker; > + assert((int) op >= 0 && op < BLOCK_OP_TYPE_MAX); > + > + blocker = g_malloc0(sizeof(BdrvOpBlocker)); > + blocker->reason = reason; > + QLIST_INSERT_HEAD(&bs->op_blockers[op], blocker, list); > +} > + > +void bdrv_op_unblock(BlockDriverState *bs, BlockOpType op, Error *reason) > +{ > + BdrvOpBlocker *blocker, *next; > + assert((int) op >= 0 && op < BLOCK_OP_TYPE_MAX); > + QLIST_FOREACH_SAFE(blocker, &bs->op_blockers[op], list, next) { > + if (blocker->reason == reason) { > + QLIST_REMOVE(blocker, list); > + g_free(blocker); > + } > + } > +} > + > +void bdrv_op_block_all(BlockDriverState *bs, Error *reason) > +{ > + int i; > + for (i = 0; i < BLOCK_OP_TYPE_MAX; i++) { > + bdrv_op_block(bs, i, reason); > + } > +} > + > +void bdrv_op_unblock_all(BlockDriverState *bs, Error *reason) > +{ > + int i; > + for (i = 0; i < BLOCK_OP_TYPE_MAX; i++) { > + bdrv_op_unblock(bs, i, reason); > + } > +} > + > +bool bdrv_op_blocker_is_empty(BlockDriverState *bs) > +{ > + int i; > + > + for (i = 0; i < BLOCK_OP_TYPE_MAX; i++) { > + if (!QLIST_EMPTY(&bs->op_blockers[i])) { > + return false; > + } > + } > + return true; > +} > + > void bdrv_set_in_use(BlockDriverState *bs, int in_use) > { > assert(bs->in_use != in_use); > diff --git a/include/block/block.h b/include/block/block.h > index 8820735..4874e2a 100644 > --- a/include/block/block.h > +++ b/include/block/block.h > @@ -474,6 +474,13 @@ void bdrv_unref(BlockDriverState *bs); > void bdrv_set_in_use(BlockDriverState *bs, int in_use); > int bdrv_in_use(BlockDriverState *bs); > > +bool bdrv_op_is_blocked(BlockDriverState *bs, BlockOpType op, Error **errp); > +void bdrv_op_block(BlockDriverState *bs, BlockOpType op, Error *reason); > +void bdrv_op_unblock(BlockDriverState *bs, BlockOpType op, Error *reason); > +void bdrv_op_block_all(BlockDriverState *bs, Error *reason); > +void bdrv_op_unblock_all(BlockDriverState *bs, Error *reason); > +bool bdrv_op_blocker_is_empty(BlockDriverState *bs); > + > #ifdef CONFIG_LINUX_AIO > int raw_get_aio_fd(BlockDriverState *bs); > #else > diff --git a/include/block/block_int.h b/include/block/block_int.h > index 0bcf1c9..4e558d0 100644 > --- a/include/block/block_int.h > +++ b/include/block/block_int.h > @@ -270,6 +270,8 @@ typedef struct BlockLimits { > size_t opt_mem_alignment; > } BlockLimits; > > +typedef struct BdrvOpBlocker BdrvOpBlocker; > + > /* > * Note: the function bdrv_append() copies and swaps contents of > * BlockDriverStates, so if you add new fields to this struct, please > @@ -361,6 +363,9 @@ struct BlockDriverState { > > QLIST_HEAD(, BdrvTrackedRequest) tracked_requests; > > + /* operation blockers */ > + QLIST_HEAD(, BdrvOpBlocker) op_blockers[BLOCK_OP_TYPE_MAX]; > + > /* long-running background operation */ > BlockJob *job; > > -- > 1.9.0 > >