From: Yafang Shao <laoar.shao@gmail.com>
To: "Darrick J. Wong" <darrick.wong@oracle.com>
Cc: Andrew Morton <akpm@linux-foundation.org>,
Dave Chinner <david@fromorbit.com>,
Christoph Hellwig <hch@infradead.org>,
Matthew Wilcox <willy@infradead.org>,
Michal Hocko <mhocko@kernel.org>, Linux MM <linux-mm@kvack.org>,
linux-fsdevel@vger.kernel.org, linux-xfs@vger.kernel.org
Subject: Re: [PATCH v8 resend 1/2] mm: Add become_kswapd and restore_kswapd
Date: Wed, 4 Nov 2020 22:17:16 +0800 [thread overview]
Message-ID: <CALOAHbBbMdmq0UFy9gWikXufzSdZmSjdUa8Pbkwr31ZdvnodQQ@mail.gmail.com> (raw)
In-Reply-To: <20201103194819.GM7123@magnolia>
On Wed, Nov 4, 2020 at 3:48 AM Darrick J. Wong <darrick.wong@oracle.com> wrote:
>
> On Tue, Nov 03, 2020 at 09:17:53PM +0800, Yafang Shao wrote:
> > From: "Matthew Wilcox (Oracle)" <willy@infradead.org>
> >
> > Since XFS needs to pretend to be kswapd in some of its worker threads,
> > create methods to save & restore kswapd state. Don't bother restoring
> > kswapd state in kswapd -- the only time we reach this code is when we're
> > exiting and the task_struct is about to be destroyed anyway.
> >
> > Cc: Dave Chinner <david@fromorbit.com>
> > Acked-by: Michal Hocko <mhocko@suse.com>
> > Reviewed-by: Darrick J. Wong <darrick.wong@oracle.com>
> > Reviewed-by: Christoph Hellwig <hch@lst.de>
> > Signed-off-by: Matthew Wilcox (Oracle) <willy@infradead.org>
> > Signed-off-by: Yafang Shao <laoar.shao@gmail.com>
> > ---
> > fs/xfs/libxfs/xfs_btree.c | 14 ++++++++------
> > include/linux/sched/mm.h | 23 +++++++++++++++++++++++
> > mm/vmscan.c | 16 +---------------
> > 3 files changed, 32 insertions(+), 21 deletions(-)
> >
> > diff --git a/fs/xfs/libxfs/xfs_btree.c b/fs/xfs/libxfs/xfs_btree.c
> > index 2d25bab..a04a442 100644
> > --- a/fs/xfs/libxfs/xfs_btree.c
> > +++ b/fs/xfs/libxfs/xfs_btree.c
> > @@ -2813,8 +2813,9 @@ struct xfs_btree_split_args {
> > {
> > struct xfs_btree_split_args *args = container_of(work,
> > struct xfs_btree_split_args, work);
> > + bool is_kswapd = args->kswapd;
> > unsigned long pflags;
> > - unsigned long new_pflags = PF_MEMALLOC_NOFS;
> > + int memalloc_nofs;
> >
> > /*
> > * we are in a transaction context here, but may also be doing work
> > @@ -2822,16 +2823,17 @@ struct xfs_btree_split_args {
> > * temporarily to ensure that we don't block waiting for memory reclaim
> > * in any way.
> > */
> > - if (args->kswapd)
> > - new_pflags |= PF_MEMALLOC | PF_SWAPWRITE | PF_KSWAPD;
> > -
> > - current_set_flags_nested(&pflags, new_pflags);
> > + if (is_kswapd)
> > + pflags = become_kswapd();
> > + memalloc_nofs = memalloc_nofs_save();
> >
> > args->result = __xfs_btree_split(args->cur, args->level, args->ptrp,
> > args->key, args->curp, args->stat);
> > complete(args->done);
> >
> > - current_restore_flags_nested(&pflags, new_pflags);
> > + memalloc_nofs_restore(memalloc_nofs);
> > + if (is_kswapd)
> > + restore_kswapd(pflags);
>
> Note that there's a trivial merge conflict with the mrlock_t removal
> series. I'll carry the fix in the tree, assuming that everything
> passes.
>
This patchset is based on Andrew's tree currently.
Seems I should rebase this patchset on your tree instead of Andrew's tree ?
> --D
>
> > }
> >
> > /*
> > diff --git a/include/linux/sched/mm.h b/include/linux/sched/mm.h
> > index d5ece7a..2faf03e 100644
> > --- a/include/linux/sched/mm.h
> > +++ b/include/linux/sched/mm.h
> > @@ -278,6 +278,29 @@ static inline void memalloc_nocma_restore(unsigned int flags)
> > }
> > #endif
> >
> > +/*
> > + * Tell the memory management code that this thread is working on behalf
> > + * of background memory reclaim (like kswapd). That means that it will
> > + * get access to memory reserves should it need to allocate memory in
> > + * order to make forward progress. With this great power comes great
> > + * responsibility to not exhaust those reserves.
> > + */
> > +#define KSWAPD_PF_FLAGS (PF_MEMALLOC | PF_SWAPWRITE | PF_KSWAPD)
> > +
> > +static inline unsigned long become_kswapd(void)
> > +{
> > + unsigned long flags = current->flags & KSWAPD_PF_FLAGS;
> > +
> > + current->flags |= KSWAPD_PF_FLAGS;
> > +
> > + return flags;
> > +}
> > +
> > +static inline void restore_kswapd(unsigned long flags)
> > +{
> > + current->flags &= ~(flags ^ KSWAPD_PF_FLAGS);
> > +}
> > +
> > #ifdef CONFIG_MEMCG
> > DECLARE_PER_CPU(struct mem_cgroup *, int_active_memcg);
> > /**
> > diff --git a/mm/vmscan.c b/mm/vmscan.c
> > index 1b8f0e0..77bc1dd 100644
> > --- a/mm/vmscan.c
> > +++ b/mm/vmscan.c
> > @@ -3869,19 +3869,7 @@ static int kswapd(void *p)
> > if (!cpumask_empty(cpumask))
> > set_cpus_allowed_ptr(tsk, cpumask);
> >
> > - /*
> > - * Tell the memory management that we're a "memory allocator",
> > - * and that if we need more memory we should get access to it
> > - * regardless (see "__alloc_pages()"). "kswapd" should
> > - * never get caught in the normal page freeing logic.
> > - *
> > - * (Kswapd normally doesn't need memory anyway, but sometimes
> > - * you need a small amount of memory in order to be able to
> > - * page out something else, and this flag essentially protects
> > - * us from recursively trying to free more memory as we're
> > - * trying to free the first piece of memory in the first place).
> > - */
> > - tsk->flags |= PF_MEMALLOC | PF_SWAPWRITE | PF_KSWAPD;
> > + become_kswapd();
> > set_freezable();
> >
> > WRITE_ONCE(pgdat->kswapd_order, 0);
> > @@ -3931,8 +3919,6 @@ static int kswapd(void *p)
> > goto kswapd_try_sleep;
> > }
> >
> > - tsk->flags &= ~(PF_MEMALLOC | PF_SWAPWRITE | PF_KSWAPD);
> > -
> > return 0;
> > }
> >
> > --
> > 1.8.3.1
> >
--
Thanks
Yafang
next prev parent reply other threads:[~2020-11-04 14:17 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-11-03 13:17 [PATCH v8 resend 0/2] avoid xfs transaction reservation recursion Yafang Shao
2020-11-03 13:17 ` [PATCH v8 resend 1/2] mm: Add become_kswapd and restore_kswapd Yafang Shao
2020-11-03 19:48 ` Darrick J. Wong
2020-11-04 14:17 ` Yafang Shao [this message]
2020-11-04 16:26 ` Darrick J. Wong
2020-11-04 17:50 ` Amy Parker
2020-11-05 13:04 ` Yafang Shao
2020-11-03 13:17 ` [PATCH v8 resend 2/2] xfs: avoid transaction reservation recursion Yafang Shao
2020-11-04 0:16 ` Darrick J. Wong
2020-11-04 14:11 ` Yafang Shao
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=CALOAHbBbMdmq0UFy9gWikXufzSdZmSjdUa8Pbkwr31ZdvnodQQ@mail.gmail.com \
--to=laoar.shao@gmail.com \
--cc=akpm@linux-foundation.org \
--cc=darrick.wong@oracle.com \
--cc=david@fromorbit.com \
--cc=hch@infradead.org \
--cc=linux-fsdevel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=linux-xfs@vger.kernel.org \
--cc=mhocko@kernel.org \
--cc=willy@infradead.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).