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=-6.9 required=3.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,INCLUDES_PATCH, MAILING_LIST_MULTI,SIGNED_OFF_BY,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED autolearn=unavailable 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 9FCE3C433DF for ; Tue, 2 Jun 2020 11:43:21 +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 5816E2074B for ; Tue, 2 Jun 2020 11:43:21 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b="KgBhIuzv" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 5816E2074B 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]:48622 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jg5KC-0003dh-Kc for qemu-devel@archiver.kernel.org; Tue, 02 Jun 2020 07:43:20 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:39214) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jg5JN-0002qI-D0 for qemu-devel@nongnu.org; Tue, 02 Jun 2020 07:42:29 -0400 Received: from us-smtp-2.mimecast.com ([205.139.110.61]:20540 helo=us-smtp-delivery-1.mimecast.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.90_1) (envelope-from ) id 1jg5JL-0006UU-VP for qemu-devel@nongnu.org; Tue, 02 Jun 2020 07:42:29 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1591098146; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=n86EWlLVVQJF888j88kFvnEq87VILobhIPcTVq7aNUg=; b=KgBhIuzv+mm524anh0uNKwEZCuQmR1SkeB4MPg5b/OVVZlJ13IvdgwX7Fwco+Zq8ASHUUS hPaKiTLwU0jb+XoArXRYoehnwxnokEKsyiTR1kohiY+KvmVhSz81pXeFZHkXhEoTZ8YAOU ifHX70lvIAvtYWeyJEzbxa1MVo02pIU= 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-98-J1Kd89-tN1aLuY9q9_gUgQ-1; Tue, 02 Jun 2020 07:42:24 -0400 X-MC-Unique: J1Kd89-tN1aLuY9q9_gUgQ-1 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 mimecast-mx01.redhat.com (Postfix) with ESMTPS id EC87819200C9; Tue, 2 Jun 2020 11:42:22 +0000 (UTC) Received: from linux.fritz.box (ovpn-113-75.ams2.redhat.com [10.36.113.75]) by smtp.corp.redhat.com (Postfix) with ESMTPS id 9C70D7F0A8; Tue, 2 Jun 2020 11:42:05 +0000 (UTC) Date: Tue, 2 Jun 2020 13:42:03 +0200 From: Kevin Wolf To: Roman Kagan , Markus Armbruster , qemu-devel@nongnu.org, Fam Zheng , Stefano Stabellini , Daniel =?iso-8859-1?Q?P=2E_Berrang=E9?= , Eduardo Habkost , qemu-block@nongnu.org, Paul Durrant , John Snow , "Michael S. Tsirkin" , Laurent Vivier , Max Reitz , Keith Busch , Gerd Hoffmann , Stefan Hajnoczi , Paolo Bonzini , Anthony Perard , xen-devel@lists.xenproject.org, Philippe =?iso-8859-1?Q?Mathieu-Daud=E9?= Subject: Re: [PATCH v8 2/8] block: consolidate blocksize properties consistency checks Message-ID: <20200602114203.GG5940@linux.fritz.box> References: <20200528225516.1676602-1-rvkagan@yandex-team.ru> <20200528225516.1676602-3-rvkagan@yandex-team.ru> <87r1v3m5ih.fsf@dusky.pond.sub.org> <20200529105636.GB1255099@rvkaganb.lan> MIME-Version: 1.0 In-Reply-To: <20200529105636.GB1255099@rvkaganb.lan> X-Scanned-By: MIMEDefang 2.79 on 10.5.11.11 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=205.139.110.61; envelope-from=kwolf@redhat.com; helo=us-smtp-delivery-1.mimecast.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/06/02 03:23:32 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x [generic] [fuzzy] X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=_AUTOLEARN 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: , Errors-To: qemu-devel-bounces+qemu-devel=archiver.kernel.org@nongnu.org Sender: "Qemu-devel" Am 29.05.2020 um 12:56 hat Roman Kagan geschrieben: > On Fri, May 29, 2020 at 11:53:26AM +0200, Markus Armbruster wrote: > > Roman Kagan writes: > > > > > Several block device properties related to blocksize configuration must > > > be in certain relationship WRT each other: physical block must be no > > > smaller than logical block; min_io_size, opt_io_size, and > > > discard_granularity must be a multiple of a logical block. > > > > > > To ensure these requirements are met, add corresponding consistency > > > checks to blkconf_blocksizes, adjusting its signature to communicate > > > possible error to the caller. Also remove the now redundant consistency > > > checks from the specific devices. > > > > > > Signed-off-by: Roman Kagan > > > Reviewed-by: Eric Blake > > > Reviewed-by: Paul Durrant > > > --- > > > include/hw/block/block.h | 2 +- > > > hw/block/block.c | 30 +++++++++++++++++++++++++++++- > > > hw/block/fdc.c | 5 ++++- > > > hw/block/nvme.c | 5 ++++- > > > hw/block/swim.c | 5 ++++- > > > hw/block/virtio-blk.c | 7 +------ > > > hw/block/xen-block.c | 6 +----- > > > hw/ide/qdev.c | 5 ++++- > > > hw/scsi/scsi-disk.c | 12 +++++------- > > > hw/usb/dev-storage.c | 5 ++++- > > > tests/qemu-iotests/172.out | 2 +- > > > 11 files changed, 58 insertions(+), 26 deletions(-) > > > > > > diff --git a/include/hw/block/block.h b/include/hw/block/block.h > > > index d7246f3862..784953a237 100644 > > > --- a/include/hw/block/block.h > > > +++ b/include/hw/block/block.h > > > @@ -87,7 +87,7 @@ bool blk_check_size_and_read_all(BlockBackend *blk, void *buf, hwaddr size, > > > bool blkconf_geometry(BlockConf *conf, int *trans, > > > unsigned cyls_max, unsigned heads_max, unsigned secs_max, > > > Error **errp); > > > -void blkconf_blocksizes(BlockConf *conf); > > > +bool blkconf_blocksizes(BlockConf *conf, Error **errp); > > > bool blkconf_apply_backend_options(BlockConf *conf, bool readonly, > > > bool resizable, Error **errp); > > > > > > diff --git a/hw/block/block.c b/hw/block/block.c > > > index bf56c7612b..b22207c921 100644 > > > --- a/hw/block/block.c > > > +++ b/hw/block/block.c > > > @@ -61,7 +61,7 @@ bool blk_check_size_and_read_all(BlockBackend *blk, void *buf, hwaddr size, > > > return true; > > > } > > > > > > -void blkconf_blocksizes(BlockConf *conf) > > > +bool blkconf_blocksizes(BlockConf *conf, Error **errp) > > > { > > > BlockBackend *blk = conf->blk; > > > BlockSizes blocksizes; > > > @@ -83,6 +83,34 @@ void blkconf_blocksizes(BlockConf *conf) > > > conf->logical_block_size = BDRV_SECTOR_SIZE; > > > } > > > } > > > + > > > + if (conf->logical_block_size > conf->physical_block_size) { > > > + error_setg(errp, > > > + "logical_block_size > physical_block_size not supported"); > > > + return false; > > > + } > > > > Pardon me if this has been answered already for prior revisions: do we > > really support physical block sizes that are not a multiple of the > > logical block size? > > Both physical and logical block sizes are required to be powers of two, > so the former is certain to be a multiple of the latter. > > > > + > > > + if (!QEMU_IS_ALIGNED(conf->min_io_size, conf->logical_block_size)) { > > > + error_setg(errp, > > > + "min_io_size must be a multiple of logical_block_size"); > > > + return false; > > > + } > > > + > > > + if (!QEMU_IS_ALIGNED(conf->opt_io_size, conf->logical_block_size)) { > > > + error_setg(errp, > > > + "opt_io_size must be a multiple of logical_block_size"); > > > + return false; > > > + } > > > + > > > + if (conf->discard_granularity != -1 && > > > + !QEMU_IS_ALIGNED(conf->discard_granularity, > > > + conf->logical_block_size)) { > > > + error_setg(errp, "discard_granularity must be " > > > + "a multiple of logical_block_size"); > > > + return false; > > > + } > > > + > > > + return true; > > > } > > > > > > bool blkconf_apply_backend_options(BlockConf *conf, bool readonly, > > > diff --git a/hw/block/fdc.c b/hw/block/fdc.c > > > index c5fb9d6ece..8eda572ef4 100644 > > > --- a/hw/block/fdc.c > > > +++ b/hw/block/fdc.c > > > @@ -554,7 +554,10 @@ static void floppy_drive_realize(DeviceState *qdev, Error **errp) > > > read_only = !blk_bs(dev->conf.blk) || blk_is_read_only(dev->conf.blk); > > > } > > > > > > - blkconf_blocksizes(&dev->conf); > > > + if (!blkconf_blocksizes(&dev->conf, errp)) { > > > + return; > > > + } > > > + > > > if (dev->conf.logical_block_size != 512 || > > > dev->conf.physical_block_size != 512) > > > { > > > diff --git a/hw/block/nvme.c b/hw/block/nvme.c > > > index 2f3100e56c..672650e162 100644 > > > --- a/hw/block/nvme.c > > > +++ b/hw/block/nvme.c > > > @@ -1390,7 +1390,10 @@ static void nvme_realize(PCIDevice *pci_dev, Error **errp) > > > host_memory_backend_set_mapped(n->pmrdev, true); > > > } > > > > > > - blkconf_blocksizes(&n->conf); > > > + if (!blkconf_blocksizes(&n->conf, errp)) { > > > + return; > > > + } > > > + > > > if (!blkconf_apply_backend_options(&n->conf, blk_is_read_only(n->conf.blk), > > > false, errp)) { > > > return; > > > diff --git a/hw/block/swim.c b/hw/block/swim.c > > > index 8f124782f4..74f56e8f46 100644 > > > --- a/hw/block/swim.c > > > +++ b/hw/block/swim.c > > > @@ -189,7 +189,10 @@ static void swim_drive_realize(DeviceState *qdev, Error **errp) > > > assert(ret == 0); > > > } > > > > > > - blkconf_blocksizes(&dev->conf); > > > + if (!blkconf_blocksizes(&dev->conf, errp)) { > > > + return; > > > + } > > > + > > > if (dev->conf.logical_block_size != 512 || > > > dev->conf.physical_block_size != 512) > > > { > > > diff --git a/hw/block/virtio-blk.c b/hw/block/virtio-blk.c > > > index 413083e62f..4ffdb130be 100644 > > > --- a/hw/block/virtio-blk.c > > > +++ b/hw/block/virtio-blk.c > > > @@ -1162,12 +1162,7 @@ static void virtio_blk_device_realize(DeviceState *dev, Error **errp) > > > return; > > > } > > > > > > - blkconf_blocksizes(&conf->conf); > > > - > > > - if (conf->conf.logical_block_size > > > > - conf->conf.physical_block_size) { > > > - error_setg(errp, > > > - "logical_block_size > physical_block_size not supported"); > > > + if (!blkconf_blocksizes(&conf->conf, errp)) { > > > return; > > > } > > > > > > diff --git a/hw/block/xen-block.c b/hw/block/xen-block.c > > > index 570489d6d9..e17fec50e1 100644 > > > --- a/hw/block/xen-block.c > > > +++ b/hw/block/xen-block.c > > > @@ -239,11 +239,7 @@ static void xen_block_realize(XenDevice *xendev, Error **errp) > > > return; > > > } > > > > > > - blkconf_blocksizes(conf); > > > - > > > - if (conf->logical_block_size > conf->physical_block_size) { > > > - error_setg( > > > - errp, "logical_block_size > physical_block_size not supported"); > > > + if (!blkconf_blocksizes(conf, errp)) { > > > return; > > > } > > > > > > diff --git a/hw/ide/qdev.c b/hw/ide/qdev.c > > > index 06b11583f5..b4821b2403 100644 > > > --- a/hw/ide/qdev.c > > > +++ b/hw/ide/qdev.c > > > @@ -187,7 +187,10 @@ static void ide_dev_initfn(IDEDevice *dev, IDEDriveKind kind, Error **errp) > > > return; > > > } > > > > > > - blkconf_blocksizes(&dev->conf); > > > + if (!blkconf_blocksizes(&dev->conf, errp)) { > > > + return; > > > + } > > > + > > > if (dev->conf.logical_block_size != 512) { > > > error_setg(errp, "logical_block_size must be 512 for IDE"); > > > return; > > > diff --git a/hw/scsi/scsi-disk.c b/hw/scsi/scsi-disk.c > > > index 387503e11b..8ce68a9dd6 100644 > > > --- a/hw/scsi/scsi-disk.c > > > +++ b/hw/scsi/scsi-disk.c > > > @@ -2346,12 +2346,7 @@ static void scsi_realize(SCSIDevice *dev, Error **errp) > > > return; > > > } > > > > > > - blkconf_blocksizes(&s->qdev.conf); > > > - > > > - if (s->qdev.conf.logical_block_size > > > > - s->qdev.conf.physical_block_size) { > > > - error_setg(errp, > > > - "logical_block_size > physical_block_size not supported"); > > > + if (!blkconf_blocksizes(&s->qdev.conf, errp)) { > > > return; > > > } > > > > > > @@ -2436,7 +2431,9 @@ static void scsi_hd_realize(SCSIDevice *dev, Error **errp) > > > if (s->qdev.conf.blk) { > > > ctx = blk_get_aio_context(s->qdev.conf.blk); > > > aio_context_acquire(ctx); > > > - blkconf_blocksizes(&s->qdev.conf); > > > + if (!blkconf_blocksizes(&s->qdev.conf, errp)) { > > > + goto out; > > > + } > > > } > > > s->qdev.blocksize = s->qdev.conf.logical_block_size; > > > s->qdev.type = TYPE_DISK; > > > @@ -2444,6 +2441,7 @@ static void scsi_hd_realize(SCSIDevice *dev, Error **errp) > > > s->product = g_strdup("QEMU HARDDISK"); > > > } > > > scsi_realize(&s->qdev, errp); > > > +out: > > > if (ctx) { > > > aio_context_release(ctx); > > > } > > > diff --git a/hw/usb/dev-storage.c b/hw/usb/dev-storage.c > > > index 4eba47538d..de461f37bd 100644 > > > --- a/hw/usb/dev-storage.c > > > +++ b/hw/usb/dev-storage.c > > > @@ -599,7 +599,10 @@ static void usb_msd_storage_realize(USBDevice *dev, Error **errp) > > > return; > > > } > > > > > > - blkconf_blocksizes(&s->conf); > > > + if (!blkconf_blocksizes(&s->conf, errp)) { > > > + return; > > > + } > > > + > > > if (!blkconf_apply_backend_options(&s->conf, blk_is_read_only(blk), true, > > > errp)) { > > > return; > > > diff --git a/tests/qemu-iotests/172.out b/tests/qemu-iotests/172.out > > > index 7abbe82427..59cc70aebb 100644 > > > --- a/tests/qemu-iotests/172.out > > > +++ b/tests/qemu-iotests/172.out > > > @@ -1204,7 +1204,7 @@ Testing: -drive if=none,file=TEST_DIR/t.qcow2 -device floppy,drive=none0,physica > > > drive-type = "144" > > > > > > Testing: -drive if=none,file=TEST_DIR/t.qcow2 -device floppy,drive=none0,logical_block_size=4096 > > > -QEMU_PROG: -device floppy,drive=none0,logical_block_size=4096: Physical and logical block size must be 512 for floppy > > > +QEMU_PROG: -device floppy,drive=none0,logical_block_size=4096: logical_block_size > physical_block_size not supported > > > > > > Testing: -drive if=none,file=TEST_DIR/t.qcow2 -device floppy,drive=none0,physical_block_size=1024 > > > QEMU_PROG: -device floppy,drive=none0,physical_block_size=1024: Physical and logical block size must be 512 for floppy > > > > This no longer exercises floppy_drive_realize()'s check of > > logical_block_size: > > > > if (dev->conf.logical_block_size != 512 || > > dev->conf.physical_block_size != 512) > > Right, this check of logical_block_size here becomes redundant now, > because eariler it's verified to be no less than 512 and no more than > physical_block_size, which is required to be 512 here. I thought it > made no harm to leave it here as it was, and decided not to bother > replacing it with a comment as to why the condition is known to be true. > > > { > > error_setg(errp, "Physical and logical block size must " > > "be 512 for floppy"); > > return; > > } > > > > Please update the test. > > The test still makes sense, it just triggers another assertion now. How > do you suggest to update it? I guess we could just add another case with physical=logical=4096 so we test both the original floppy check (with the new case) and your new check (with the existing case). But as you explained above, it's kind of redundant and we can't tell from the result whether the logical or the physical check failed (they are then both unsuitable for floppy), so maybe adding that case is rather pointless. Kevin