Received-SPF: pass (google.com: domain of linux-kernel+bounces-138239-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.199.223 as permitted sender) client-ip=147.75.199.223;
Precedence: bulk
MIME-Version: 1.0
References: <20240403005930.1587032-1-qyousef@layalina.io> <CAKfTPtDB8D6bouxJN9q8gXqG+BQYcsrJYEodDWtOB2kQwPH53A@mail.gmail.com>
 <20240404220500.dmfl2krll37znbi5@airbuntu> <CAKfTPtDP7if0gozSrnj+E_hH5xR-vpGAM2TwN4qWXcg5BtrEtw@mail.gmail.com>
 <20240405171653.boxbylrdak5fopjv@airbuntu> <20240407122700.ns7gknqwqkpjjyd4@airbuntu>
 <CAKfTPtBZao-Ry=sdAV=rtTwbxbEJmwb-_gNceSjV6u-6EXTY-w@mail.gmail.com>
 <CANDhNCq5HZvecSe9_9f7j5koY2VNdyjM_b3csL6=U1A_8J2ksw@mail.gmail.com>
 <20240409061909.tb3vxc27h2eawiwg@airbuntu> <CAKfTPtC4hdbBhn+-hkK9i4vkjO5fBGfsxjESkBrvyOwN6oHCdA@mail.gmail.com>
 <20240410065901.ruzhjsmtmpsnl4qe@airbuntu>
In-Reply-To: <20240410065901.ruzhjsmtmpsnl4qe@airbuntu>
From: Vincent Guittot <vincent.guittot@linaro.org>
Date: Wed, 10 Apr 2024 11:13:06 +0200
Message-ID: <CAKfTPtD-J37Q1SL2HqZLvfNtW9LY34C-d-t6-0KU4DxkUmvHzQ@mail.gmail.com>
Subject: Re: [PATCH] sched/pi: Reweight fair_policy() tasks when inheriting prio
To: Qais Yousef <qyousef@layalina.io>
Cc: John Stultz <jstultz@google.com>, Ingo Molnar <mingo@kernel.org>, 
	Peter Zijlstra <peterz@infradead.org>, Juri Lelli <juri.lelli@redhat.com>, 
	Steven Rostedt <rostedt@goodmis.org>, Daniel Bristot de Oliveira <bristot@redhat.com>, 
	Thomas Gleixner <tglx@linutronix.de>, "Paul E. McKenney" <paulmck@kernel.org>, 
	Joel Fernandes <joel@joelfernandes.org>, Dietmar Eggemann <dietmar.eggemann@arm.com>, 
	linux-kernel@vger.kernel.org, Yabin Cui <yabinc@google.com>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Wed, 10 Apr 2024 at 08:59, Qais Yousef <qyousef@layalina.io> wrote:
>
> On 04/09/24 14:35, Vincent Guittot wrote:
> > On Tue, 9 Apr 2024 at 08:19, Qais Yousef <qyousef@layalina.io> wrote:
> > >
> > > On 04/08/24 12:51, John Stultz wrote:
> > > > On Mon, Apr 8, 2024 at 12:17=E2=80=AFAM Vincent Guittot
> > > > <vincent.guittot@linaro.org> wrote:
> > > > >
> > > > > On Sun, 7 Apr 2024 at 14:27, Qais Yousef <qyousef@layalina.io> wr=
ote:
> > > > > >
> > > > > > On 04/05/24 18:16, Qais Yousef wrote:
> > > > > >
> > > > > > > >
> > > > > > > > All that to say that I think the weight is not applied on p=
urpose.
> > > > > > > > This might work for your particular case but there are more=
 changes to
> > > > > > > > be done if you want to apply prio inheritance between cfs t=
asks.
> > > > > > > >
> > > > > > > > As an example, what about the impact of cgroup on the actua=
l weight
> > > > > > > > and the inherited priority of a task ? If the owner and the=
 waiter
> > > > > > > > don't belong to the same cgroup their own prio is meaningle=
ss... task
> > > > > > > > nice -20 in a group with a weight equal to nice 19 vs a tas=
k nice 19
> > > > > > > > in a group with a weight equals to nice -20
> > > > > > >
> > > > > > > That is on my mind actually. But I thought it's a separate pr=
oblem. That has to
> > > > > > > do with how we calculate the effective priority of the pi_tas=
k. And probably
> > > > > > > the sorting order to if we agree we need to revert the above.=
 If that is done
> > > > > >
> > > > > > Thinking more about it the revert is not the right thing to do.=
 We want fair
> > > > > > tasks to stay ordered in FIFO for better fairness and avoid pot=
ential
> > > > > > starvation issues. It's just the logic for searching the top_wa=
iter need to be
> > > > > > different. If the top_waiter is fair, then we need to traverse =
the tree to find
> > > > > > the highest nice value. We probably can keep track of this whil=
e adding items
> > > > > > to the tree to avoid the search.
> > > > > >
> > > > > > For cgroup; is it reasonable (loosely speaking) to keep track o=
f pi_cfs_rq and
> > > > > > detach_attach_task_cfs_rq() before the reweight? This seems the=
 most
> > > > > > straightforward solution and will contain the complexity to kee=
ping track of
> > > > > > cfs_rq. But it'll have similar issue to proxy execution where a=
 task that
> > > > > > doesn't belong to the cgroup will consume its share..
> > > > >
> > > > > That's a good point, Would proxy execution be the simplest way to=
 fix all this ?
> > >
> > > Is it? Over 4.5 years ago Unity reported to me about performance inve=
rsion
> > > problem and that's when proxy execution work was revived as simplest =
way to fix
> > > all of this. But still no end in sight from what I see. I was and sti=
ll think
> > > an interim solution in rt_mutex could help a lot of use cases already=
 without
> > > being too complex. Not as elegant and comprehensive like proxy execut=
ion, but
> > > given the impact on both userspace and out of tree kernel hacks are g=
rowing
> > > waiting for this to be ready, the cost of waiting is high IMHO.
> > >
> > > FWIW, I already heard several feedbacks that PTHREAD_PRIO_INHERIT doe=
s nothing.
> > > I think this reweight issue is more serious problem and likely why I =
heard this
> > > feedback. I could be underestimating the complexity of the fix though=
 So I'll
> >
> > Without cgroup, the solution could be straightforward but android uses
> > extensively cgroup AFAICT and update_cfs_group() makes impossible to
> > track the top cfs waiter and its "prio"
>
> :(
>
> IIUC the issue is that we can't easily come up with a single number of
> 'effective prio' for N level hierarchy and compare it with another M leve=
l
> hierarchy..

And then how do you apply it on the hierarchy ?

>
> Does proxy execution fix this problem then? If we can't find the top wait=
er,

I haven't dug enough in the patchset. John ?

> I can't see how proxy execution would work here too. To my understanding =
it's
> more about how we apply inheritance (by donating execution context of the=
 top
> waiter) instead of manually applying inheritance like we're doing now.
>
> But the logic of finding the top waiter should remain the same, no?
>
> Need to extend my test case to cover this scenario.