From: Christoph Hellwig <hch@lst.de>
To: Brian Foster <bfoster@redhat.com>
Cc: Christoph Hellwig <hch@lst.de>, linux-xfs@vger.kernel.org
Subject: Re: [PATCH 2/4] xfs: improve handling of busy extents in the low-level allocator
Date: Sat, 4 Feb 2017 10:54:34 +0100 [thread overview]
Message-ID: <20170204095434.GB18472@lst.de> (raw)
In-Reply-To: <20170203152233.GC45388@bfoster.bfoster>
On Fri, Feb 03, 2017 at 10:22:33AM -0500, Brian Foster wrote:
> Not a big deal, but perhaps in the above two cases where we're
> traversing the bnobt, just track the max busy gen and use that being set
> non-zero to trigger (hopefully) fewer flushes rather than being subject
> to whatever the last value was? Then we don't have to do the 'busy |=
> ..' thing either. That doesn't cover the overflow case, but that should
> be rare and we still have the retry.
It would hang for the overflow case, been there done that. Note that
we only rety if we failed the allocation anyway, so it won't actually
trigger any less flushes either.
> > +out:
> > spin_unlock(&args->pag->pagb_lock);
> >
> > - if (fbno != bno || flen != len) {
> > - trace_xfs_extent_busy_trim(args->mp, args->agno, bno, len,
> > + if (fbno != *bno || flen != *len) {
> > + trace_xfs_extent_busy_trim(args->mp, args->agno, *bno, *len,
> > fbno, flen);
> > + *bno = fbno;
> > + *len = flen;
> > + *busy_gen = args->pag->pagb_gen;
> > + return true;
>
> We've already dropped pagb_lock by the time we grab pagb_gen. What
> prevents this from racing with a flush and pagb_gen bump and returning a
> gen value that might not have any associated busy extents?
Good point. I though I had moved the lock around but obviously
didn't. I'll fix it up for the next version.
> > + while (busy_gen == READ_ONCE(pag->pagb_gen)) {
> > + prepare_to_wait(&pag->pagb_wait, &wait, TASK_KILLABLE);
> > + schedule();
> > }
> > + finish_wait(&pag->pagb_wait, &wait);
>
> This seems racy. Shouldn't this do something like:
>
> do {
> prepare_to_wait();
> if (busy_gen != pagb_gen)
> break;
> schedule();
> finish_wait();
> } while (1);
> finish_wait();
>
> ... to make sure we don't lose a wakeup between setting the task state
> and actually scheduling out?
Yes, will fix.
> > +++ b/fs/xfs/xfs_mount.h
> > @@ -384,6 +384,8 @@ typedef struct xfs_perag {
> > xfs_agino_t pagl_rightrec;
> > spinlock_t pagb_lock; /* lock for pagb_tree */
> > struct rb_root pagb_tree; /* ordered tree of busy extents */
> > + unsigned int pagb_gen;
> > + wait_queue_head_t pagb_wait;
>
> Can we add some comments here similar to the other fields?
Sure.
> Also, how
> about slightly more informative names... pagb_discard_[gen|wait], or
> pagb_busy_*?
That's what I had first - but:
- pagb is the short name for the pag busy tree and I wanted to
follow that convention. And with the current series we also
use the wakeup code for normal busy extents, even without discards.
next prev parent reply other threads:[~2017-02-04 9:54 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-01-29 18:43 improve busy extent handling and add async discard support Christoph Hellwig
2017-01-29 18:43 ` [PATCH 1/4] xfs: don't fail xfs_extent_busy allocation Christoph Hellwig
2017-02-03 15:20 ` Brian Foster
2017-02-04 9:50 ` Christoph Hellwig
2017-02-06 16:43 ` Brian Foster
2017-02-07 9:42 ` Christoph Hellwig
2017-01-29 18:43 ` [PATCH 2/4] xfs: improve handling of busy extents in the low-level allocator Christoph Hellwig
2017-02-03 15:22 ` Brian Foster
2017-02-04 9:54 ` Christoph Hellwig [this message]
2017-02-03 16:22 ` Brian Foster
2017-02-04 9:56 ` Christoph Hellwig
2017-02-06 16:47 ` Brian Foster
2017-02-07 9:43 ` Christoph Hellwig
2017-02-07 13:13 ` Brian Foster
2017-02-07 15:45 ` Christoph Hellwig
2017-01-29 18:43 ` [PATCH 3/4] xfs: improve busy extent sorting Christoph Hellwig
2017-02-03 15:22 ` Brian Foster
2017-02-04 9:58 ` Christoph Hellwig
2017-01-29 18:43 ` [PATCH 4/4] xfs: don't block the log commit handler for discards Christoph Hellwig
2017-02-03 16:22 ` Brian Foster
2017-02-04 9:59 ` Christoph Hellwig
2017-02-06 16:49 ` Brian Foster
2017-02-07 9:50 ` Christoph Hellwig
2017-02-05 17:11 improve busy extent handling and add async discard support V2 Christoph Hellwig
2017-02-05 17:11 ` [PATCH 2/4] xfs: improve handling of busy extents in the low-level allocator Christoph Hellwig
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20170204095434.GB18472@lst.de \
--to=hch@lst.de \
--cc=bfoster@redhat.com \
--cc=linux-xfs@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.