From: Allison Collins <allison.henderson@oracle.com>
To: Dave Chinner <david@fromorbit.com>, linux-xfs@vger.kernel.org
Subject: Re: [PATCH 7/8] xfs: tail updates only need to occur when LSN changes
Date: Tue, 24 Mar 2020 22:10:46 -0700 [thread overview]
Message-ID: <2b072ba4-aedc-a0d0-01cc-5fb8b2d32719@oracle.com> (raw)
In-Reply-To: <20200325014205.11843-8-david@fromorbit.com>
On 3/24/20 6:42 PM, Dave Chinner wrote:
> From: Dave Chinner <dchinner@redhat.com>
>
> We currently wake anything waiting on the log tail to move whenever
> the log item at the tail of the log is removed. Historically this
> was fine behaviour because there were very few items at any given
> LSN. But with delayed logging, there may be thousands of items at
> any given LSN, and we can't move the tail until they are all gone.
>
> Hence if we are removing them in near tail-first order, we might be
> waking up processes waiting on the tail LSN to change (e.g. log
> space waiters) repeatedly without them being able to make progress.
> This also occurs with the new sync push waiters, and can result in
> thousands of spurious wakeups every second when under heavy direct
> reclaim pressure.
>
> To fix this, check that the tail LSN has actually changed on the
> AIL before triggering wakeups. This will reduce the number of
> spurious wakeups when doing bulk AIL removal and make this code much
> more efficient.
>
> Signed-off-by: Dave Chinner <dchinner@redhat.com>
> Reviewed-by: Christoph Hellwig <hch@lst.de>
> Reviewed-by: Brian Foster <bfoster@redhat.com>
Ok, I dont see any obvious errors
Reviewed-by: Allison Collins <allison.henderson@oracle.com>
> ---
> fs/xfs/xfs_inode_item.c | 18 ++++++++++----
> fs/xfs/xfs_trans_ail.c | 52 ++++++++++++++++++++++++++++-------------
> fs/xfs/xfs_trans_priv.h | 4 ++--
> 3 files changed, 51 insertions(+), 23 deletions(-)
>
> diff --git a/fs/xfs/xfs_inode_item.c b/fs/xfs/xfs_inode_item.c
> index bd8c368098707..a627cb951dc61 100644
> --- a/fs/xfs/xfs_inode_item.c
> +++ b/fs/xfs/xfs_inode_item.c
> @@ -730,19 +730,27 @@ xfs_iflush_done(
> * holding the lock before removing the inode from the AIL.
> */
> if (need_ail) {
> - bool mlip_changed = false;
> + xfs_lsn_t tail_lsn = 0;
>
> /* this is an opencoded batch version of xfs_trans_ail_delete */
> spin_lock(&ailp->ail_lock);
> list_for_each_entry(blip, &tmp, li_bio_list) {
> if (INODE_ITEM(blip)->ili_logged &&
> - blip->li_lsn == INODE_ITEM(blip)->ili_flush_lsn)
> - mlip_changed |= xfs_ail_delete_one(ailp, blip);
> - else {
> + blip->li_lsn == INODE_ITEM(blip)->ili_flush_lsn) {
> + /*
> + * xfs_ail_update_finish() only cares about the
> + * lsn of the first tail item removed, any
> + * others will be at the same or higher lsn so
> + * we just ignore them.
> + */
> + xfs_lsn_t lsn = xfs_ail_delete_one(ailp, blip);
> + if (!tail_lsn && lsn)
> + tail_lsn = lsn;
> + } else {
> xfs_clear_li_failed(blip);
> }
> }
> - xfs_ail_update_finish(ailp, mlip_changed);
> + xfs_ail_update_finish(ailp, tail_lsn);
> }
>
> /*
> diff --git a/fs/xfs/xfs_trans_ail.c b/fs/xfs/xfs_trans_ail.c
> index 26d2e7928121c..564253550b754 100644
> --- a/fs/xfs/xfs_trans_ail.c
> +++ b/fs/xfs/xfs_trans_ail.c
> @@ -109,17 +109,25 @@ xfs_ail_next(
> * We need the AIL lock in order to get a coherent read of the lsn of the last
> * item in the AIL.
> */
> +static xfs_lsn_t
> +__xfs_ail_min_lsn(
> + struct xfs_ail *ailp)
> +{
> + struct xfs_log_item *lip = xfs_ail_min(ailp);
> +
> + if (lip)
> + return lip->li_lsn;
> + return 0;
> +}
> +
> xfs_lsn_t
> xfs_ail_min_lsn(
> struct xfs_ail *ailp)
> {
> - xfs_lsn_t lsn = 0;
> - struct xfs_log_item *lip;
> + xfs_lsn_t lsn;
>
> spin_lock(&ailp->ail_lock);
> - lip = xfs_ail_min(ailp);
> - if (lip)
> - lsn = lip->li_lsn;
> + lsn = __xfs_ail_min_lsn(ailp);
> spin_unlock(&ailp->ail_lock);
>
> return lsn;
> @@ -684,11 +692,12 @@ xfs_ail_push_all_sync(
> void
> xfs_ail_update_finish(
> struct xfs_ail *ailp,
> - bool do_tail_update) __releases(ailp->ail_lock)
> + xfs_lsn_t old_lsn) __releases(ailp->ail_lock)
> {
> struct xfs_mount *mp = ailp->ail_mount;
>
> - if (!do_tail_update) {
> + /* if the tail lsn hasn't changed, don't do updates or wakeups. */
> + if (!old_lsn || old_lsn == __xfs_ail_min_lsn(ailp)) {
> spin_unlock(&ailp->ail_lock);
> return;
> }
> @@ -733,7 +742,7 @@ xfs_trans_ail_update_bulk(
> xfs_lsn_t lsn) __releases(ailp->ail_lock)
> {
> struct xfs_log_item *mlip;
> - int mlip_changed = 0;
> + xfs_lsn_t tail_lsn = 0;
> int i;
> LIST_HEAD(tmp);
>
> @@ -748,9 +757,10 @@ xfs_trans_ail_update_bulk(
> continue;
>
> trace_xfs_ail_move(lip, lip->li_lsn, lsn);
> + if (mlip == lip && !tail_lsn)
> + tail_lsn = lip->li_lsn;
> +
> xfs_ail_delete(ailp, lip);
> - if (mlip == lip)
> - mlip_changed = 1;
> } else {
> trace_xfs_ail_insert(lip, 0, lsn);
> }
> @@ -761,15 +771,23 @@ xfs_trans_ail_update_bulk(
> if (!list_empty(&tmp))
> xfs_ail_splice(ailp, cur, &tmp, lsn);
>
> - xfs_ail_update_finish(ailp, mlip_changed);
> + xfs_ail_update_finish(ailp, tail_lsn);
> }
>
> -bool
> +/*
> + * Delete one log item from the AIL.
> + *
> + * If this item was at the tail of the AIL, return the LSN of the log item so
> + * that we can use it to check if the LSN of the tail of the log has moved
> + * when finishing up the AIL delete process in xfs_ail_update_finish().
> + */
> +xfs_lsn_t
> xfs_ail_delete_one(
> struct xfs_ail *ailp,
> struct xfs_log_item *lip)
> {
> struct xfs_log_item *mlip = xfs_ail_min(ailp);
> + xfs_lsn_t lsn = lip->li_lsn;
>
> trace_xfs_ail_delete(lip, mlip->li_lsn, lip->li_lsn);
> xfs_ail_delete(ailp, lip);
> @@ -777,7 +795,9 @@ xfs_ail_delete_one(
> clear_bit(XFS_LI_IN_AIL, &lip->li_flags);
> lip->li_lsn = 0;
>
> - return mlip == lip;
> + if (mlip == lip)
> + return lsn;
> + return 0;
> }
>
> /**
> @@ -808,7 +828,7 @@ xfs_trans_ail_delete(
> int shutdown_type)
> {
> struct xfs_mount *mp = ailp->ail_mount;
> - bool need_update;
> + xfs_lsn_t tail_lsn;
>
> if (!test_bit(XFS_LI_IN_AIL, &lip->li_flags)) {
> spin_unlock(&ailp->ail_lock);
> @@ -821,8 +841,8 @@ xfs_trans_ail_delete(
> return;
> }
>
> - need_update = xfs_ail_delete_one(ailp, lip);
> - xfs_ail_update_finish(ailp, need_update);
> + tail_lsn = xfs_ail_delete_one(ailp, lip);
> + xfs_ail_update_finish(ailp, tail_lsn);
> }
>
> int
> diff --git a/fs/xfs/xfs_trans_priv.h b/fs/xfs/xfs_trans_priv.h
> index 64ffa746730e4..35655eac01a65 100644
> --- a/fs/xfs/xfs_trans_priv.h
> +++ b/fs/xfs/xfs_trans_priv.h
> @@ -91,8 +91,8 @@ xfs_trans_ail_update(
> xfs_trans_ail_update_bulk(ailp, NULL, &lip, 1, lsn);
> }
>
> -bool xfs_ail_delete_one(struct xfs_ail *ailp, struct xfs_log_item *lip);
> -void xfs_ail_update_finish(struct xfs_ail *ailp, bool do_tail_update)
> +xfs_lsn_t xfs_ail_delete_one(struct xfs_ail *ailp, struct xfs_log_item *lip);
> +void xfs_ail_update_finish(struct xfs_ail *ailp, xfs_lsn_t old_lsn)
> __releases(ailp->ail_lock);
> void xfs_trans_ail_delete(struct xfs_ail *ailp, struct xfs_log_item *lip,
> int shutdown_type);
>
next prev parent reply other threads:[~2020-03-25 5:10 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-03-25 1:41 [PATCH 0/8] xfs: various fixes and cleanups Dave Chinner
2020-03-25 1:41 ` [PATCH 1/8] xfs: Lower CIL flush limit for large logs Dave Chinner
2020-03-25 4:42 ` Allison Collins
2020-03-25 1:41 ` [PATCH 2/8] xfs: Throttle commits on delayed background CIL push Dave Chinner
2020-03-25 4:42 ` Allison Collins
2020-03-25 5:07 ` Dave Chinner
2020-03-26 5:24 ` Darrick J. Wong
2020-03-26 11:33 ` Brian Foster
2020-03-27 0:40 ` Dave Chinner
2020-03-25 1:42 ` [PATCH 3/8] xfs: don't allow log IO to be throttled Dave Chinner
2020-03-25 4:42 ` Allison Collins
2020-03-25 1:42 ` [PATCH 4/8] xfs: Improve metadata buffer reclaim accountability Dave Chinner
2020-03-25 4:42 ` Allison Collins
2020-03-25 13:30 ` Brian Foster
2020-03-26 5:05 ` Darrick J. Wong
2020-03-25 1:42 ` [PATCH 5/8] xfs: correctly acount for reclaimable slabs Dave Chinner
2020-03-25 4:43 ` Allison Collins
2020-03-25 1:42 ` [PATCH 6/8] xfs: factor common AIL item deletion code Dave Chinner
2020-03-25 4:54 ` Allison Collins
2020-03-25 13:30 ` Brian Foster
2020-03-26 5:10 ` Darrick J. Wong
2020-03-27 0:50 ` Dave Chinner
2020-03-25 1:42 ` [PATCH 7/8] xfs: tail updates only need to occur when LSN changes Dave Chinner
2020-03-25 5:10 ` Allison Collins [this message]
2020-03-26 5:14 ` Darrick J. Wong
2020-03-25 1:42 ` [PATCH 8/8] xfs: factor inode lookup from xfs_ifree_cluster Dave Chinner
2020-03-25 13:30 ` Brian Foster
2020-03-25 1:51 ` [PATCH 0/8] xfs: various fixes and cleanups Dave Chinner
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=2b072ba4-aedc-a0d0-01cc-5fb8b2d32719@oracle.com \
--to=allison.henderson@oracle.com \
--cc=david@fromorbit.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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).