From nobody Mon Feb 9 12:26:05 2026 Delivered-To: importer@patchew.org Received-SPF: pass (zoho.com: domain of gnu.org designates 209.51.188.17 as permitted sender) client-ip=209.51.188.17; envelope-from=qemu-devel-bounces+importer=patchew.org@nongnu.org; helo=lists.gnu.org; Authentication-Results: mx.zohomail.com; spf=pass (zoho.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=fail(p=none dis=none) header.from=virtuozzo.com ARC-Seal: i=1; a=rsa-sha256; t=1573827797; cv=none; d=zoho.com; s=zohoarc; b=aMQO9BzAKH4S9jOC1Nktx99nZ3qZffv9cOVpBxuFDBMGX52FlrmtTkSMcvjupYsCU/G6fqkTkHPIsNoQow+YejEgsU2+gSuF1bOYIgHkMN1vXOf3C2nIEG1fNTZY7fa+PGHMBmStOf5b3EBrtEuVg3oNAzB5LlPg3VFxX+iemUA= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1573827797; h=Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Archive:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:To; bh=rSxdweHd1WP/eeiIBNTMqSnZD2KQyJ2Ajr/SBk6h18E=; b=muhzBYtpONm/u/uA7FpoVlLqzoP8atoMHAC36gLNfVVUteTfyVV6Sx6QXJGcvBldgSObSjVrl+zlC6mxOGD59YNFHngIL8x53krWId/o/JTJGSyQ2PWPcLASvWtBHq0C1HBu8zjrfHUjGuzBsMFXgYMcl2Io2u7bi2rTHZWEeFE= ARC-Authentication-Results: i=1; mx.zoho.com; spf=pass (zoho.com: domain of gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=qemu-devel-bounces+importer=patchew.org@nongnu.org; dmarc=fail header.from= (p=none dis=none) header.from= Return-Path: Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mx.zohomail.com with SMTPS id 1573827797875886.5962602251981; Fri, 15 Nov 2019 06:23:17 -0800 (PST) Received: from localhost ([::1]:39842 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iVcVI-0003jR-4v for importer@patchew.org; Fri, 15 Nov 2019 09:23:16 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:59291) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iVcNf-00058e-Li for qemu-devel@nongnu.org; Fri, 15 Nov 2019 09:15:30 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iVcNe-0002Bs-7m for qemu-devel@nongnu.org; Fri, 15 Nov 2019 09:15:23 -0500 Received: from relay.sw.ru ([185.231.240.75]:47476) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iVcNb-0001tB-0w; Fri, 15 Nov 2019 09:15:19 -0500 Received: from vovaso.qa.sw.ru ([10.94.3.0] helo=kvm.qa.sw.ru) by relay.sw.ru with esmtp (Exim 4.92.3) (envelope-from ) id 1iVcN5-0006WW-78; Fri, 15 Nov 2019 17:14:47 +0300 From: Vladimir Sementsov-Ogievskiy To: qemu-block@nongnu.org Subject: [RFC 11/24] block/block-copy: move task size initial calculation to _task_create Date: Fri, 15 Nov 2019 17:14:31 +0300 Message-Id: <20191115141444.24155-12-vsementsov@virtuozzo.com> X-Mailer: git-send-email 2.21.0 In-Reply-To: <20191115141444.24155-1-vsementsov@virtuozzo.com> References: <20191115141444.24155-1-vsementsov@virtuozzo.com> MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-Received-From: 185.231.240.75 X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: kwolf@redhat.com, vsementsov@virtuozzo.com, ehabkost@redhat.com, wencongyang2@huawei.com, xiechanglong.d@gmail.com, armbru@redhat.com, qemu-devel@nongnu.org, jsnow@redhat.com, crosa@redhat.com, den@openvz.org, mreitz@redhat.com Errors-To: qemu-devel-bounces+importer=patchew.org@nongnu.org Sender: "Qemu-devel" Content-Type: text/plain; charset="utf-8" Comment "Called only on full-dirty region" without corresponding assertion is a very unsafe thing. Adding assertion means call bdrv_dirty_bitmap_next_zero twice. Instead, let's move bdrv_dirty_bitmap_next_zero call to block_copy_task_create. It also allows to drop cur_bytes variable which partly duplicate task->bytes. Signed-off-by: Vladimir Sementsov-Ogievskiy --- block/block-copy.c | 42 +++++++++++++++++++++--------------------- 1 file changed, 21 insertions(+), 21 deletions(-) diff --git a/block/block-copy.c b/block/block-copy.c index 7652b4afc5..0525a9fcd5 100644 --- a/block/block-copy.c +++ b/block/block-copy.c @@ -111,12 +111,23 @@ static bool coroutine_fn block_copy_wait_one(BlockCop= yState *s, int64_t start, return true; } =20 -/* Called only on full-dirty region */ static BlockCopyTask *block_copy_task_create(BlockCopyState *s, int64_t offset, int64_t bytes) { + int64_t next_zero; BlockCopyTask *task =3D g_new(BlockCopyTask, 1); =20 + assert(bdrv_dirty_bitmap_get(s->copy_bitmap, offset)); + + bytes =3D MIN(bytes, s->copy_size); + next_zero =3D bdrv_dirty_bitmap_next_zero(s->copy_bitmap, offset, byte= s); + if (next_zero >=3D 0) { + assert(next_zero > offset); /* offset is dirty */ + assert(next_zero < offset + bytes); /* no need to do MIN() */ + bytes =3D next_zero - offset; + } + + /* region is dirty, so no existent tasks possible in it */ assert(!block_copy_find_task(s, offset, bytes)); =20 bdrv_reset_dirty_bitmap(s->copy_bitmap, offset, bytes); @@ -461,7 +472,7 @@ static int coroutine_fn block_copy_dirty_clusters(Block= CopyState *s, =20 while (bytes) { g_autofree BlockCopyTask *task =3D NULL; - int64_t next_zero, cur_bytes, status_bytes; + int64_t status_bytes; =20 if (!bdrv_dirty_bitmap_get(s->copy_bitmap, offset)) { trace_block_copy_skip(s, offset); @@ -472,18 +483,9 @@ static int coroutine_fn block_copy_dirty_clusters(Bloc= kCopyState *s, =20 found_dirty =3D true; =20 - cur_bytes =3D MIN(bytes, s->copy_size); + task =3D block_copy_task_create(s, offset, bytes); =20 - next_zero =3D bdrv_dirty_bitmap_next_zero(s->copy_bitmap, offset, - cur_bytes); - if (next_zero >=3D 0) { - assert(next_zero > offset); /* offset is dirty */ - assert(next_zero < offset + cur_bytes); /* no need to do MIN()= */ - cur_bytes =3D next_zero - offset; - } - task =3D block_copy_task_create(s, offset, cur_bytes); - - ret =3D block_copy_block_status(s, offset, cur_bytes, &status_byte= s); + ret =3D block_copy_block_status(s, offset, task->bytes, &status_by= tes); block_copy_task_shrink(task, status_bytes); if (s->skip_unallocated && !(ret & BDRV_BLOCK_ALLOCATED)) { block_copy_task_end(task, 0); @@ -494,22 +496,20 @@ static int coroutine_fn block_copy_dirty_clusters(Blo= ckCopyState *s, continue; } =20 - cur_bytes =3D MIN(cur_bytes, status_bytes); - trace_block_copy_process(s, offset); =20 - co_get_from_shres(s->mem, cur_bytes); - ret =3D block_copy_do_copy(s, offset, cur_bytes, ret & BDRV_BLOCK_= ZERO, + co_get_from_shres(s->mem, task->bytes); + ret =3D block_copy_do_copy(s, offset, task->bytes, ret & BDRV_BLOC= K_ZERO, error_is_read); - co_put_to_shres(s->mem, cur_bytes); + co_put_to_shres(s->mem, task->bytes); block_copy_task_end(task, ret); if (ret < 0) { return ret; } =20 - s->progress_bytes_callback(cur_bytes, s->progress_opaque); - offset +=3D cur_bytes; - bytes -=3D cur_bytes; + s->progress_bytes_callback(task->bytes, s->progress_opaque); + offset +=3D task->bytes; + bytes -=3D task->bytes; } =20 return found_dirty; --=20 2.21.0