Received-SPF: pass (google.com: domain of linux-kernel+bounces-201294-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:40f1:3f00::1 as permitted sender) client-ip=2604:1380:40f1:3f00::1;
Precedence: bulk
MIME-Version: 1.0
References: <20240507045450.895430-1-jstultz@google.com> <20240507045450.895430-7-jstultz@google.com>
 <20240604132910.25pgz3mjrnnwitve@airbuntu>
In-Reply-To: <20240604132910.25pgz3mjrnnwitve@airbuntu>
From: John Stultz <jstultz@google.com>
Date: Tue, 4 Jun 2024 12:34:42 -0700
Message-ID: <CANDhNCqrPCnNP75_MVA-+B22hrEnc=rwNb+SGdvg61NqedcU2w@mail.gmail.com>
Subject: Re: [PATCH v10 6/7] sched: Split out __schedule() deactivate task
 logic into a helper
To: Qais Yousef <qyousef@layalina.io>
Cc: LKML <linux-kernel@vger.kernel.org>, Joel Fernandes <joelaf@google.com>, 
	Ingo Molnar <mingo@redhat.com>, Peter Zijlstra <peterz@infradead.org>, 
	Juri Lelli <juri.lelli@redhat.com>, Vincent Guittot <vincent.guittot@linaro.org>, 
	Dietmar Eggemann <dietmar.eggemann@arm.com>, Valentin Schneider <vschneid@redhat.com>, 
	Steven Rostedt <rostedt@goodmis.org>, Ben Segall <bsegall@google.com>, 
	Zimuzo Ezeozue <zezeozue@google.com>, Youssef Esmat <youssefesmat@google.com>, 
	Mel Gorman <mgorman@suse.de>, Daniel Bristot de Oliveira <bristot@redhat.com>, Will Deacon <will@kernel.org>, 
	Waiman Long <longman@redhat.com>, Boqun Feng <boqun.feng@gmail.com>, 
	"Paul E. McKenney" <paulmck@kernel.org>, Metin Kaya <Metin.Kaya@arm.com>, 
	Xuewen Yan <xuewen.yan94@gmail.com>, K Prateek Nayak <kprateek.nayak@amd.com>, 
	Thomas Gleixner <tglx@linutronix.de>, kernel-team@android.com
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Tue, Jun 4, 2024 at 6:29=E2=80=AFAM Qais Yousef <qyousef@layalina.io> wr=
ote:
>
> On 05/06/24 21:54, John Stultz wrote:
> > As we're going to re-use the deactivation logic,
> > split it into a helper.
> >
> > Cc: Joel Fernandes <joelaf@google.com>
> > Cc: Qais Yousef <qyousef@layalina.io>
> > Cc: Ingo Molnar <mingo@redhat.com>
> > Cc: Peter Zijlstra <peterz@infradead.org>
> > Cc: Juri Lelli <juri.lelli@redhat.com>
> > Cc: Vincent Guittot <vincent.guittot@linaro.org>
> > Cc: Dietmar Eggemann <dietmar.eggemann@arm.com>
> > Cc: Valentin Schneider <vschneid@redhat.com>
> > Cc: Steven Rostedt <rostedt@goodmis.org>
> > Cc: Ben Segall <bsegall@google.com>
> > Cc: Zimuzo Ezeozue <zezeozue@google.com>
> > Cc: Youssef Esmat <youssefesmat@google.com>
> > Cc: Mel Gorman <mgorman@suse.de>
> > Cc: Daniel Bristot de Oliveira <bristot@redhat.com>
> > Cc: Will Deacon <will@kernel.org>
> > Cc: Waiman Long <longman@redhat.com>
> > Cc: Boqun Feng <boqun.feng@gmail.com>
> > Cc: "Paul E. McKenney" <paulmck@kernel.org>
> > Cc: Metin Kaya <Metin.Kaya@arm.com>
> > Cc: Xuewen Yan <xuewen.yan94@gmail.com>
> > Cc: K Prateek Nayak <kprateek.nayak@amd.com>
> > Cc: Thomas Gleixner <tglx@linutronix.de>
> > Cc: kernel-team@android.com
> > Tested-by: K Prateek Nayak <kprateek.nayak@amd.com>
> > Tested-by: Metin Kaya <metin.kaya@arm.com>
> > Reviewed-by: Metin Kaya <metin.kaya@arm.com>
> > Signed-off-by: John Stultz <jstultz@google.com>
> > ---
> > v6:
> > * Define function as static to avoid "no previous prototype"
> >   warnings as Reported-by: kernel test robot <lkp@intel.com>
> > v7:
> > * Rename state task_state to be more clear, as suggested by
> >   Metin Kaya
> > ---
> >  kernel/sched/core.c | 72 +++++++++++++++++++++++++++------------------
> >  1 file changed, 43 insertions(+), 29 deletions(-)
> >
> > diff --git a/kernel/sched/core.c b/kernel/sched/core.c
> > index 48f0d4b381d5..8bc5844ebab9 100644
> > --- a/kernel/sched/core.c
> > +++ b/kernel/sched/core.c
> > @@ -6572,6 +6572,48 @@ pick_next_task(struct rq *rq, struct task_struct=
 *prev, struct rq_flags *rf)
> >  # define SM_MASK_PREEMPT     SM_PREEMPT
> >  #endif
> >
> > +/*
> > + * Helper function for __schedule()
> > + *
> > + * If a task does not have signals pending, deactivate it and return t=
rue
> > + * Otherwise marks the task's __state as RUNNING and returns false
> > + */
> > +static bool try_to_deactivate_task(struct rq *rq, struct task_struct *=
p,
> > +                                unsigned long task_state)
> > +{
> > +     if (signal_pending_state(task_state, p)) {
> > +             WRITE_ONCE(p->__state, TASK_RUNNING);
>
> We can avoid extra indention for the other (lengthy) leg if we return her=
e?
>
> The return value is ignored for now, I don't mind keeping it but better c=
all it
> out in the commit message or when you add the new user later you can upda=
te the
> signature more easily.

Ah. Good point on both counts here. I've reworked it to use your
suggestions here.

> Generally I think patches 4, 5 and 6 could be sent as their own series wi=
th
> minor commit messages tweaks to make them more independent and I hope Ing=
o and
> Peter are okay to pick them up as they look a nice clean up in general.
>
> Anyway:
>
> Reviewed-by: Qais Yousef <qyousef@layalina.io>

Thanks so much for the review!
-john