From: Juri Lelli <juri.lelli@redhat.com>
To: Peter Zijlstra <peterz@infradead.org>
Cc: mingo@redhat.com, glenn@aurora.tech,
linux-kernel@vger.kernel.org, rostedt@goodmis.org,
vincent.guittot@linaro.org, dietmar.eggemann@arm.com,
tglx@linutronix.de, luca.abeni@santannapisa.it,
c.scordino@evidence.eu.com, tommaso.cucinotta@santannapisa.it,
bristot@redhat.com
Subject: Re: [PATCH 2/2] sched/deadline: Temporary copy static parameters to boosted non-DEADLINE entities
Date: Wed, 13 Nov 2019 10:44:39 +0100 [thread overview]
Message-ID: <20191113094439.GC29273@localhost.localdomain> (raw)
In-Reply-To: <20191113093649.GI4131@hirez.programming.kicks-ass.net>
On 13/11/19 10:36, Peter Zijlstra wrote:
> On Wed, Nov 13, 2019 at 10:22:41AM +0100, Juri Lelli wrote:
>
> > > diff --git a/kernel/sched/core.c b/kernel/sched/core.c
> > > index 26e4ffa01e7a..16164b0ba80b 100644
> > > --- a/kernel/sched/core.c
> > > +++ b/kernel/sched/core.c
> > > @@ -4452,9 +4452,11 @@ void rt_mutex_setprio(struct task_struct *p, struct task_struct *pi_task)
> > > if (!dl_prio(p->normal_prio) ||
> > > (pi_task && dl_entity_preempt(&pi_task->dl, &p->dl))) {
> > > p->dl.dl_boosted = 1;
> > > - queue_flag |= ENQUEUE_REPLENISH;
> > > - } else
> > > + p->dl.deadline = pi_task->dl.deadline;
> > > + } else {
> > > p->dl.dl_boosted = 0;
> > > + p->dl.deadline = p->dl.normal_deadline;
> > > + }
> > > p->sched_class = &dl_sched_class;
> > > } else if (rt_prio(prio)) {
> > > if (dl_prio(oldprio))
>
> > So, the problem is more related to pi_se->dl_runtime than its deadline.
> > Even if we don't replenish at the instant in time when boosting happens,
> > the boosted task might still deplete its runtime while being boosted and
>
> I thought we ignored all runtime checks when we were boosted? Yes, that
We don't throttle and replenish instantly when runtime is depleted, but
we still account runtime. See update_curr_dl(), dl_runtime_exceeded()
and if(unlikely(dl_se->dl_boosted ...) case.
Mmm, maybe we should stop accounting as well and only postpone
deadlines, is this what you had in mind?
> is all sorts of broken, but IIRC we figured that barring something like
> proxy-execution there really wasn't anything sane we could do wrt
> bandwidth anyway.
>
> Seeing how proper bandwidth handling would have the boosted task consume
> the boostee's budget etc.. And blocking the entire boost chain when it
> collectively runs out.
Yep, this is how it should eventually all work.
prev parent reply other threads:[~2019-11-13 9:44 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-12 7:50 [PATCH 0/2] Fix SCHED_DEADLINE nested priority inheritance Juri Lelli
2019-11-12 7:50 ` [PATCH 1/2] sched/deadline: Fix nested priority inheritace at enqueue time Juri Lelli
2019-11-12 7:50 ` [PATCH 2/2] sched/deadline: Temporary copy static parameters to boosted non-DEADLINE entities Juri Lelli
2019-11-12 10:51 ` Peter Zijlstra
2019-11-12 13:56 ` Peter Zijlstra
2019-11-13 9:22 ` Juri Lelli
2019-11-13 9:36 ` Peter Zijlstra
2019-11-13 9:44 ` Juri Lelli [this message]
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=20191113094439.GC29273@localhost.localdomain \
--to=juri.lelli@redhat.com \
--cc=bristot@redhat.com \
--cc=c.scordino@evidence.eu.com \
--cc=dietmar.eggemann@arm.com \
--cc=glenn@aurora.tech \
--cc=linux-kernel@vger.kernel.org \
--cc=luca.abeni@santannapisa.it \
--cc=mingo@redhat.com \
--cc=peterz@infradead.org \
--cc=rostedt@goodmis.org \
--cc=tglx@linutronix.de \
--cc=tommaso.cucinotta@santannapisa.it \
--cc=vincent.guittot@linaro.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