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=-8.2 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, INCLUDES_PATCH,MAILING_LIST_MULTI,SIGNED_OFF_BY,SPF_HELO_NONE,SPF_PASS, USER_AGENT_SANE_1 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 6D460C32771 for ; Thu, 9 Jan 2020 12:44:10 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 4A8BF2075D for ; Thu, 9 Jan 2020 12:44:10 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727861AbgAIMoJ (ORCPT ); Thu, 9 Jan 2020 07:44:09 -0500 Received: from mx2.suse.de ([195.135.220.15]:41190 "EHLO mx2.suse.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1725308AbgAIMoJ (ORCPT ); Thu, 9 Jan 2020 07:44:09 -0500 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay2.suse.de (unknown [195.135.220.254]) by mx2.suse.de (Postfix) with ESMTP id 70840B0BF; Thu, 9 Jan 2020 12:44:06 +0000 (UTC) Received: by quack2.suse.cz (Postfix, from userid 1000) id C8EA91E0798; Thu, 9 Jan 2020 13:44:05 +0100 (CET) Date: Thu, 9 Jan 2020 13:44:05 +0100 From: Jan Kara To: Pali =?iso-8859-1?Q?Roh=E1r?= Cc: Jan Kara , linux-fsdevel@vger.kernel.org Subject: Re: [PATCH] udf: Fix free space reporting for metadata and virtual partitions Message-ID: <20200109124405.GE22232@quack2.suse.cz> References: <20200108121919.12343-1-jack@suse.cz> <20200108223240.gi5g2jza3rxuzk6z@pali> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20200108223240.gi5g2jza3rxuzk6z@pali> User-Agent: Mutt/1.10.1 (2018-07-13) Sender: linux-fsdevel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-fsdevel@vger.kernel.org On Wed 08-01-20 23:32:40, Pali Rohár wrote: > On Wednesday 08 January 2020 13:19:19 Jan Kara wrote: > > Free space on filesystems with metadata or virtual partition maps > > currently gets misreported. This is because these partitions are just > > remapped onto underlying real partitions from which keep track of free > > blocks. Take this remapping into account when counting free blocks as > > well. > > > > Reported-by: Pali Rohár > > Signed-off-by: Jan Kara > > --- > > fs/udf/super.c | 19 ++++++++++++++----- > > 1 file changed, 14 insertions(+), 5 deletions(-) > > > > I plan to take this patch to my tree. > > > > diff --git a/fs/udf/super.c b/fs/udf/super.c > > index 8c28e93e9b73..b89e420a4b85 100644 > > --- a/fs/udf/super.c > > +++ b/fs/udf/super.c > > @@ -2492,17 +2492,26 @@ static unsigned int udf_count_free_table(struct super_block *sb, > > static unsigned int udf_count_free(struct super_block *sb) > > { > > unsigned int accum = 0; > > - struct udf_sb_info *sbi; > > + struct udf_sb_info *sbi = UDF_SB(sb); > > struct udf_part_map *map; > > + unsigned int part = sbi->s_partition; > > + int ptype = sbi->s_partmaps[part].s_partition_type; > > + > > + if (ptype == UDF_METADATA_MAP25) { > > + part = sbi->s_partmaps[part].s_type_specific.s_metadata. > > + s_phys_partition_ref; > > + } else if (ptype == UDF_VIRTUAL_MAP15 || ptype == UDF_VIRTUAL_MAP20) { > > + part = UDF_I(sbi->s_vat_inode)->i_location. > > + partitionReferenceNum; > > Hello! I do not think that it make sense to report "free blocks" for > discs with Virtual partition. By definition of VAT, all blocks prior to > VAT are already "read-only" and therefore these blocks cannot be use for > writing new data by any implementation. And because VAT is stored on the > last block, in our model all blocks are "occupied". Fair enough. Let's just always return 0 for disks with VAT partition. > > + } > > > > - sbi = UDF_SB(sb); > > if (sbi->s_lvid_bh) { > > struct logicalVolIntegrityDesc *lvid = > > (struct logicalVolIntegrityDesc *) > > sbi->s_lvid_bh->b_data; > > - if (le32_to_cpu(lvid->numOfPartitions) > sbi->s_partition) { > > + if (le32_to_cpu(lvid->numOfPartitions) > part) { > > accum = le32_to_cpu( > > - lvid->freeSpaceTable[sbi->s_partition]); > > + lvid->freeSpaceTable[part]); > > And in any case freeSpaceTable should not be used for discs with VAT. > And we should ignore its value for discs with VAT. > > UDF 2.60 2.2.6.2: Free Space Table values be maintained ... except ... > for a virtual partition ... > > And same applies for "partition with Access Type pseudo-overwritable". Well this is handled by the 'accum == 0xffffffff' condition below. So we effectively ignore these values. > > if (accum == 0xFFFFFFFF) > > accum = 0; > > } Honza -- Jan Kara SUSE Labs, CR