Re: [PATCH] mm/vmscan: Do not block forever at shrink_inactive_list().

Dave Chinner
2014-05-20T06:30:41Z

On Mon, May 19, 2014 at 10:59:15PM -0700, Andrew Morton wrote:
> On Tue, 20 May 2014 10:44:49 +1000 Dave Chinner <david@fromorbit.com> wrote:
>
> > @@ -258,14 +258,23 @@ xfs_bmapi_allocate_worker(
> > struct xfs_bmalloca *args = container_of(work,
> > struct xfs_bmalloca, work);
> > unsigned long pflags;
> > + unsigned long new_pflags = PF_FSTRANS;
> >
> > - /* we are in a transaction context here */
> > - current_set_flags_nested(&pflags, PF_FSTRANS);
> > + /*
> > + * we are in a transaction context here, but may also be doing work
> > + * in kswapd context, and hence we may need to inherit that state
> > + * 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;
>
> So current_is_kswapd() returns true for a thread which is not kswapd.
> That's a bit smelly.
>
> Should this thread really be incrementing KSWAPD_INODESTEAL instead of
> PGINODESTEAL, for example? current_is_kswapd() does a range of things,
> only one(?) of which you actually want.

It's doing work on behalf of kswapd under kswapd constraints, so it
should both behave and be accounted as if kswapd was executing the
work directly.

> It would be cleaner to create a new PF_ flag to select just that
> behavior. That's a better model than telling the world "I am magic and
> special".

However, it is magic and special because of who the work needs to be
done for.

> But we're awfully close to running out of PF_ space and I don't know if
> this ugly justifies consuming a flag.

I don't really care enough argue over what mechanism should be used.
I'll push this patch through the XFS tree, and when a new flag or
generic mechanism for pushing task contexts to kworker threads
is provided, I'll change the XFS code to use that....

Cheers,

Dave.
--
Dave Chinner
david@fromorbit.com