Re: [PATCH v2 2/2] xfs: turn on lazysbcount unconditionally

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Thu, Apr 22, 2021 at 09:51:26AM +0800, Gao Xiang wrote:
> On Wed, Apr 21, 2021 at 05:01:40PM -0700, Darrick J. Wong wrote:
> > On Wed, Apr 21, 2021 at 04:00:29AM +0800, Gao Xiang wrote:
> 
> ...
> 
> > > > >  /*
> > > > >   * xfs_initialize_perag_data
> > > > >   *
> > > > > @@ -864,27 +914,51 @@ xfs_initialize_perag_data(
> > > > >  	uint64_t	btree = 0;
> > > > >  	uint64_t	fdblocks;
> > > > >  	int		error = 0;
> > > > > +	bool		conv = !(mp->m_flags & XFS_MOUNT_RDONLY) &&
> > > > > +				!xfs_sb_version_haslazysbcount(sbp);
> > > > > +
> > > > > +	if (conv)
> > > > > +		xfs_warn(mp, "enabling lazy-counters...");
> > > > >  
> > > > >  	for (index = 0; index < agcount; index++) {
> > > > > +		struct xfs_trans	*tp = NULL;
> > > > > +		struct xfs_buf		*agfbp;
> > > > > +
> > > > > +		if (conv) {
> > > > > +			error = xfs_trans_alloc(mp, &M_RES(mp)->tr_sb,
> > > > > +					0, 0, 0, &tp);
> > > > > +			if (error)
> > > > > +				return error;
> > > > > +		}
> > > > > +
> > > > >  		/*
> > > > > -		 * read the agf, then the agi. This gets us
> > > > > +		 * read the agi, then the agf. This gets us
> > > > >  		 * all the information we need and populates the
> > > > >  		 * per-ag structures for us.
> > > > >  		 */
> > > > > -		error = xfs_alloc_pagf_init(mp, NULL, index, 0);
> > > > > -		if (error)
> > > > > +		error = xfs_ialloc_pagi_init(mp, tp, index);
> > > > > +		if (error) {
> > > > > +err_out:
> > > > > +			if (tp)
> > > > > +				xfs_trans_cancel(tp);
> > > > >  			return error;
> > > > > +		}
> > > > >  
> > > > > -		error = xfs_ialloc_pagi_init(mp, NULL, index);
> > > > > +		error = xfs_alloc_read_agf(mp, tp, index, 0, &agfbp);
> > > > >  		if (error)
> > > > > -			return error;
> > > > > -		pag = xfs_perag_get(mp, index);
> > > > > +			goto err_out;
> > > > > +		pag = agfbp->b_pag;
> > > > >  		ifree += pag->pagi_freecount;
> > > > >  		ialloc += pag->pagi_count;
> > > > >  		bfree += pag->pagf_freeblks;
> > > > >  		bfreelst += pag->pagf_flcount;
> > > > > +		if (tp) {
> > > > > +			error = xfs_fixup_agf_btreeblks(mp, tp, agfbp, index);
> > > > 
> > > > Lazysbcount upgrades should be done from a separate function, not mixed
> > > > in with perag initialization. 
> > > 
> > > I've seen some previous discussion about multiple AG total scan time cost.
> > > Yeah, if another extra scan really accepts here, I could update instead.
> > > 
> > > > Also, why is it necessary to walk all the space btrees to set agf_btreeblks?
> > > 
> > > If my understanding is correct, I think because without lazysbcount,
> > > even pagf_btreeblks is updated unconditionally now, but that counter
> > > is unreliable for quite ancient kernels which don't have such update
> > > logic.
> > > 
> > > Kindly correct me if I'm wrong here.
> > 
> > Ah, you're right.  The agf_btreeblks field in the AGF only exists if
> > lazysbcount is enabled, which means that adding the feature means that
> > we have to scan every AG to compute the correct value.
> > 
> > Still, we only need to do this walk once per filesystem, so I'd prefer
> > not to clutter up the xfs_initialize_perag_data code for the sake of a
> > onetime upgrade for a deprecated ondisk format.
> > 
> > In my mind it's a feature to be able to do:
> > 
> > #if IS_ENABLED(CONFIG_XFS_V4)
> > int
> > xfs_fs_set_lazycount(...)
> > {
> > 	/* walk AGs, fix AGF... */
> > 	/* lock super */
> > 	/* set lazysbcount */
> > 	/* bwrite super */
> > 	/* log super changes */
> > 	/* commit the whole mess */
> > }
> > #else
> > # define xfs_fs_set_lazycount(..)	(-ENOSYS)
> > #endif
> > 
> > Because then we know that this is all XFSv4 code and can easily make it
> > go away.
> 
> Yeah, sounds better. I could refine this in the next version. :)
> 
> > 
> > The other question I have is: Do we /really/ want to QA and support
> > this in the kernel?  Considering that we already have xfs_admin -c1?
> 
> I think we might ask Zorro for this whole thing, since no end users
> actually report this. :) (Cc Zorro here.) Although the reality is
> we still support !lazysbcount fses even it isn't looked after at all.

There's not complaint from cumtomers yet. Due to lazy-count only can be disabled
on V4 xfs, and not disabled by default. So nearly no one use it now (Except I'm
the one who's picky:)

I never thougth it brings in so much argument. I think if the logic is clear, and
easy to fix, better to fix it simply, then remove the whole related code later
when it's deprecated.
If there's risk, we can keep it unitl it's deprecated, especially there's not more
complaints on it.

Thanks,
Zorro

> 
> My another suggestion completely forbids !lazysbcount from mounting
> in months (or right now.)
> 
> Just warn users to use xfs_admin -c1 to convert this. And after months,
> warn users to convert this and also forbid it from mounting.
> 
> > 
> > > > 
> > > > > +			xfs_trans_commit(tp);
> > > > > +		} else {
> > > > > +			xfs_buf_relse(agfbp);
> > > > > +		}
> > > > >  		btree += pag->pagf_btreeblks;
> > > > > -		xfs_perag_put(pag);
> > > > >  	}
> > > > >  	fdblocks = bfree + bfreelst + btree;
> > > > >  
> > > > > @@ -900,6 +974,11 @@ xfs_initialize_perag_data(
> > > > >  		goto out;
> > > > >  	}
> > > > >  
> > > > > +	if (conv) {
> > > > > +		xfs_sb_version_addlazysbcount(sbp);
> > > > > +		mp->m_update_sb = true;
> > > > > +		xfs_warn(mp, "lazy-counters has been enabled.");
> > > > 
> > > > But we don't log the sb update?
> > > > 
> > > > As far as the feature upgrade goes, is it necessary to bwrite the
> > > > primary super to disk (and then log the change)[1] to prevent a truly
> > > > ancient kernel that doesn't support lazysbcount from trying to recover
> > > > the log and ending up with an unsupported feature set?
> > > 
> > > Not quite sure if it does harm to ancient kernels with such
> > > unsupported feature. may I ask for more details? :)
> > 
> > 1. Walk AG to update btreeblks.
> > 2. Commit feature flag update in superblock.
> > 3. Log flushes to disk before the superblock update gets written to
> >    sector 0.
> > <crash>
> > 4. Boot ancient kernel that doesn't understand lazysbcount
> >    (from USB recovery stick).
> > 5. Mount begins, because sector 0 doesn't have the lazysbcount bit set.
> > 6. Log recovery replays the primary super update over sector 0, and the
> >    new contents of sector 0 say lazysbcount is enabled.
> > 7. Superblock now says it has lazysbcount, what does the kernel do?
> 
> Yeah, but I'm not sure if it has some bad effect if ancient kernels
> do it in this way. I mean (I think) it's somewhat different from
> log_incompat thing.
> 
> If ancient kernels just replay the log, and then sb read verified
> and refuse to proceed (but fs is not corrupted...) I think that
> would be fine?
> 
> I'm not sure about the whole thing on ancient kernels. So very
> curious about this. I will look into the whole thing as well.
> 
> > 
> > > 
> > > but yeah, if any issues here, I should follow
> > >  1) bwrite sb block first;
> > >  2) log sb
> > > 
> > > > 
> > > > [1] https://lore.kernel.org/linux-xfs/161723934343.3149451.16679733325094950568.stgit@magnolia/
> > > > 
> > > > > +	}
> > > > >  	/* Overwrite incore superblock counters with just-read data */
> > > > >  	spin_lock(&mp->m_sb_lock);
> > > > >  	sbp->sb_ifree = ifree;
> > > > > diff --git a/fs/xfs/xfs_mount.c b/fs/xfs/xfs_mount.c
> > > > > index cb1e2c4702c3..b3b13acd45d6 100644
> > > > > --- a/fs/xfs/xfs_mount.c
> > > > > +++ b/fs/xfs/xfs_mount.c
> > > > > @@ -626,7 +626,7 @@ xfs_check_summary_counts(
> > > > >  	 * superblock to be correct and we don't need to do anything here.
> > > > >  	 * Otherwise, recalculate the summary counters.
> > > > >  	 */
> > > > > -	if ((!xfs_sb_version_haslazysbcount(&mp->m_sb) ||
> > > > > +	if ((xfs_sb_version_haslazysbcount(&mp->m_sb) &&
> > > > 
> > > > Not clear why the logic here inverts?
> > > 
> > > .. thus xfs_initialize_perag_data() below can be called then.
> > 
> > That seems like all the more reason to make it a separate function, TBH.
> 
> Yeah, will refine this later.
> 
> Thanks,
> Gao Xiang
> 
> > 
> > --D
> > 
> > > 
> > > Thanks,
> > > Gao Xiang
> > > 
> > > > 
> > > > --D
> > > > 
> > > > >  	     XFS_LAST_UNMOUNT_WAS_CLEAN(mp)) &&
> > > > >  	    !xfs_fs_has_sickness(mp, XFS_SICK_FS_COUNTERS))
> > > > >  		return 0;
> > > > > diff --git a/fs/xfs/xfs_super.c b/fs/xfs/xfs_super.c
> > > > > index a2dab05332ac..16197a890c15 100644
> > > > > --- a/fs/xfs/xfs_super.c
> > > > > +++ b/fs/xfs/xfs_super.c
> > > > > @@ -1678,6 +1678,11 @@ xfs_remount_rw(
> > > > >  	}
> > > > >  
> > > > >  	mp->m_flags &= ~XFS_MOUNT_RDONLY;
> > > > > +	if (!xfs_sb_version_haslazysbcount(sbp)) {
> > > > > +		error = xfs_initialize_perag_data(mp, sbp->sb_agcount);
> > > > > +		if (error)
> > > > > +			return error;
> > > > > +	}
> > > > >  
> > > > >  	/*
> > > > >  	 * If this is the first remount to writeable state we might have some
> > > > > -- 
> > > > > 2.27.0
> > > > > 
> > > > 
> > > 
> > 
> 




[Index of Archives]     [XFS Filesystem Development (older mail)]     [Linux Filesystem Development]     [Linux Audio Users]     [Yosemite Trails]     [Linux Kernel]     [Linux RAID]     [Linux SCSI]


  Powered by Linux