From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-13.6 required=3.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,HEADER_FROM_DIFFERENT_DOMAINS,INCLUDES_CR_TRAILER,INCLUDES_PATCH, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 5779AC433ED for ; Fri, 23 Apr 2021 13:02:17 +0000 (UTC) Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id 9D86261350 for ; Fri, 23 Apr 2021 13:02:16 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 9D86261350 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=redhat.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=qemu-devel-bounces+qemu-devel=archiver.kernel.org@nongnu.org Received: from localhost ([::1]:48446 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lZvRn-0006CF-Ib for qemu-devel@archiver.kernel.org; Fri, 23 Apr 2021 09:02:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57534) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lZvPm-00051V-JG for qemu-devel@nongnu.org; Fri, 23 Apr 2021 09:00:10 -0400 Received: from us-smtp-delivery-124.mimecast.com ([216.205.24.124]:47609) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lZvPj-0007wZ-2i for qemu-devel@nongnu.org; Fri, 23 Apr 2021 09:00:09 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1619182805; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=jqcoXEYRJGdkiegz7UN0WsfFRfG4zlicQyx520VUw2k=; b=RzFctm46r/ckqM37us1y05jvaYHM50YqLfl2An3TGtaFoe/4rssbTjThnR8FjrazYx2AGp AVHuaBRclHH1fIYlrH1OIfST0FL3hWfnMaQ6ZZPDmBLaE8N4YK0sJQaiafJaAvQyXxlG7D SHHdoJU/RblOVuaLeshWyz+yR7G3bL0= Received: from mimecast-mx01.redhat.com (mimecast-mx01.redhat.com [209.132.183.4]) (Using TLS) by relay.mimecast.com with ESMTP id us-mta-355-IQ3BXmm4Mr6KEvH_BiVH-w-1; Fri, 23 Apr 2021 09:00:02 -0400 X-MC-Unique: IQ3BXmm4Mr6KEvH_BiVH-w-1 Received: from smtp.corp.redhat.com (int-mx02.intmail.prod.int.phx2.redhat.com [10.5.11.12]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx01.redhat.com (Postfix) with ESMTPS id BBF318030D6; Fri, 23 Apr 2021 13:00:01 +0000 (UTC) Received: from merkur.fritz.box (ovpn-114-199.ams2.redhat.com [10.36.114.199]) by smtp.corp.redhat.com (Postfix) with ESMTPS id 82BCC60BE5; Fri, 23 Apr 2021 12:59:56 +0000 (UTC) Date: Fri, 23 Apr 2021 14:59:54 +0200 From: Kevin Wolf To: Vladimir Sementsov-Ogievskiy Subject: Re: [PATCH v3 01/36] tests/test-bdrv-graph-mod: add test_parallel_exclusive_write Message-ID: References: <20210317143529.615584-1-vsementsov@virtuozzo.com> <20210317143529.615584-2-vsementsov@virtuozzo.com> <1631ec75-4301-1d84-b607-8c296b09d392@virtuozzo.com> MIME-Version: 1.0 In-Reply-To: <1631ec75-4301-1d84-b607-8c296b09d392@virtuozzo.com> X-Scanned-By: MIMEDefang 2.79 on 10.5.11.12 Authentication-Results: relay.mimecast.com; auth=pass smtp.auth=CUSA124A263 smtp.mailfrom=kwolf@redhat.com X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Received-SPF: pass client-ip=216.205.24.124; envelope-from=kwolf@redhat.com; helo=us-smtp-delivery-124.mimecast.com X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action 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: fam@euphon.net, qemu-block@nongnu.org, qemu-devel@nongnu.org, armbru@redhat.com, stefanha@redhat.com, mreitz@redhat.com, jsnow@redhat.com Errors-To: qemu-devel-bounces+qemu-devel=archiver.kernel.org@nongnu.org Sender: "Qemu-devel" Am 23.04.2021 um 14:46 hat Vladimir Sementsov-Ogievskiy geschrieben: > 23.04.2021 15:25, Kevin Wolf wrote: > > Am 17.03.2021 um 15:34 hat Vladimir Sementsov-Ogievskiy geschrieben: > > > Add the test that shows that concept of ignore_children is incomplete. > > > Actually, when we want to update something, ignoring permission of some > > > existing BdrvChild, we should ignore also the propagated effect of this > > > child to the other children. But that's not done. Better approach > > > (update permissions on already updated graph) will be implemented > > > later. > > > > > > Now the test fails, so it's added with -d argument to not break make > > > check. > > > > > > Test fails with > > > > > > "Conflicts with use by fl1 as 'backing', which does not allow 'write' on base" > > > > > > because when updating permissions we can ignore original top->fl1 > > > BdrvChild. But we don't ignore exclusive write permission in fl1->base > > > BdrvChild, which is propagated. Correct thing to do is make graph > > > change first and then do permission update from the top node. > > > > > > To run test do > > > > > > ./test-bdrv-graph-mod -d -p /bdrv-graph-mod/parallel-exclusive-write > > > > > > from /tests. > > > > > > Signed-off-by: Vladimir Sementsov-Ogievskiy > > > --- > > > tests/unit/test-bdrv-graph-mod.c | 70 +++++++++++++++++++++++++++++++- > > > 1 file changed, 69 insertions(+), 1 deletion(-) > > > > > > diff --git a/tests/unit/test-bdrv-graph-mod.c b/tests/unit/test-bdrv-graph-mod.c > > > index c4f7d16039..4e4e83674a 100644 > > > --- a/tests/unit/test-bdrv-graph-mod.c > > > +++ b/tests/unit/test-bdrv-graph-mod.c > > > @@ -1,7 +1,7 @@ > > > /* > > > * Block node graph modifications tests > > > * > > > - * Copyright (c) 2019 Virtuozzo International GmbH. All rights reserved. > > > + * Copyright (c) 2019-2021 Virtuozzo International GmbH. All rights reserved. > > > * > > > * This program is free software; you can redistribute it and/or modify > > > * it under the terms of the GNU General Public License as published by > > > @@ -44,6 +44,21 @@ static BlockDriver bdrv_no_perm = { > > > .bdrv_child_perm = no_perm_default_perms, > > > }; > > > +static void exclusive_write_perms(BlockDriverState *bs, BdrvChild *c, > > > + BdrvChildRole role, > > > + BlockReopenQueue *reopen_queue, > > > + uint64_t perm, uint64_t shared, > > > + uint64_t *nperm, uint64_t *nshared) > > > +{ > > > + *nperm = BLK_PERM_WRITE; > > > + *nshared = BLK_PERM_ALL & ~BLK_PERM_WRITE; > > > +} > > > + > > > +static BlockDriver bdrv_exclusive_writer = { > > > + .format_name = "exclusive-writer", > > > + .bdrv_child_perm = exclusive_write_perms, > > > +}; > > > + > > > static BlockDriverState *no_perm_node(const char *name) > > > { > > > return bdrv_new_open_driver(&bdrv_no_perm, name, BDRV_O_RDWR, &error_abort); > > > @@ -55,6 +70,12 @@ static BlockDriverState *pass_through_node(const char *name) > > > BDRV_O_RDWR, &error_abort); > > > } > > > +static BlockDriverState *exclusive_writer_node(const char *name) > > > +{ > > > + return bdrv_new_open_driver(&bdrv_exclusive_writer, name, > > > + BDRV_O_RDWR, &error_abort); > > > +} > > > + > > > /* > > > * test_update_perm_tree > > > * > > > @@ -185,8 +206,50 @@ static void test_should_update_child(void) > > > blk_unref(root); > > > } > > > +/* > > > + * test_parallel_exclusive_write > > > + * > > > + * Check that when we replace node, old permissions of the node being removed > > > + * doesn't break the replacement. > > > + */ > > > +static void test_parallel_exclusive_write(void) > > > +{ > > > + BlockDriverState *top = exclusive_writer_node("top"); > > > + BlockDriverState *base = no_perm_node("base"); > > > + BlockDriverState *fl1 = pass_through_node("fl1"); > > > + BlockDriverState *fl2 = pass_through_node("fl2"); > > > + > > > + /* > > > + * bdrv_attach_child() eats child bs reference, so we need two @base > > > + * references for two filters: > > > + */ > > > + bdrv_ref(base); > > > + > > > + bdrv_attach_child(top, fl1, "backing", &child_of_bds, BDRV_CHILD_DATA, > > > + &error_abort); > > > + bdrv_attach_child(fl1, base, "backing", &child_of_bds, BDRV_CHILD_FILTERED, > > > + &error_abort); > > > + bdrv_attach_child(fl2, base, "backing", &child_of_bds, BDRV_CHILD_FILTERED, > > > + &error_abort); > > > + > > > + bdrv_replace_node(fl1, fl2, &error_abort); > > > + > > > + bdrv_unref(fl2); /* second reference was created by bdrv_replace_node() */ > > > > This line is new and I don't understand it. > > > > Why does bdrv_replace_node() create new references? Shouldn't it just > > move all parents of fl2 to fl1, and when the refcount of fl2 drops to > > zero, it would be deleted? > > fl2 is second argument of bdrv_replace_node, it's @to. So all parents > of fl1 moved to fl2. So, fl2 referenced by top. But our first > reference that comes from pass_through_node() is still here as well. Oh, right. I assumed that fl2 was attached to top, but it isn't. So we indeed still own that reference. I feel the comment is misleading, it made me think that we unref a reference that was created by bdrv_replace_node(). What you probably meant is that bdrv_replace_node() only took an additional reference (by attaching it to top), but did not take ownership of the reference that the test function owns. Maybe it would be better without the comment. Kevin