[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20200110135547.GN2844@hirez.programming.kicks-ass.net>
Date: Fri, 10 Jan 2020 14:55:47 +0100
From: Peter Zijlstra <peterz@...radead.org>
To: Johannes Weiner <hannes@...xchg.org>
Cc: Wang Long <w@...qinren.net>, mingo@...hat.com,
juri.lelli@...hat.com, vincent.guittot@...aro.org,
dietmar.eggemann@....com, rostedt@...dmis.org, bsegall@...gle.com,
mgorman@...e.de, linux-kernel@...r.kernel.org
Subject: Re: [PATCH] sched/psi: create /proc/pressure and
/proc/pressure/{io|memory|cpu} only when psi enabled
On Thu, Jan 09, 2020 at 10:30:02AM -0500, Johannes Weiner wrote:
> On Wed, Jan 08, 2020 at 02:55:26PM +0100, Peter Zijlstra wrote:
> > On Wed, Dec 18, 2019 at 08:38:18PM +0800, Wang Long wrote:
> > > when CONFIG_PSI_DEFAULT_DISABLED set to N or the command line set psi=0,
> > > I think we should not create /proc/pressure and
> > > /proc/pressure/{io|memory|cpu}.
> > >
> > > In the future, user maybe determine whether the psi feature is enabled by
> > > checking the existence of the /proc/pressure dir or
> > > /proc/pressure/{io|memory|cpu} files.
> >
> > Works for me; Johannes?
>
> Seems reasonable, and the patch looks good to me.
>
> Acked-by: Johannes Weiner <hannes@...xchg.org>
Thanks!
Powered by blists - more mailing lists