From: Gabriele Monaco <gmonaco@redhat.com>
To: Peter Zijlstra <peterz@infradead.org>
Cc: Juri Lelli <juri.lelli@redhat.com>,
linux-kernel@vger.kernel.org, Ingo Molnar <mingo@redhat.com>,
Clark Williams <williams@redhat.com>,
arighi@nvidia.com
Subject: Re: [RFC PATCH] sched/deadline: Avoid dl_server boosting with expired deadline
Date: Fri, 31 Oct 2025 16:51:58 +0100 [thread overview]
Message-ID: <6c8c276e3e69da824dec179b68e6c120d1426a4a.camel@redhat.com> (raw)
In-Reply-To: <20251031154455.GU3245006@noisy.programming.kicks-ass.net>
On Fri, 2025-10-31 at 16:44 +0100, Peter Zijlstra wrote:
> On Fri, Oct 31, 2025 at 04:41:22PM +0100, Gabriele Monaco wrote:
>
> > > Humm, let me noodle a bit more on this. Also, I should see if I can get
> > > graphviz to draw ascii art state diagrams :-)
> >
> > Dot doesn't do it but graph-easy does reasonably well.
>
> yep, just found that. Seems to work well:
>
Nice! This can become also a model by the way. But I'd need a few more
tracepoints ;)
>
> +----------------------+
> | A:init | <+
> +----------------------+ |
> | |
> | 1:dl_server_start | 4:pick_task_dl
> v |
> 2:update_curr_dl_se +----------------------+ |
> +---------------------- | | |
> | | B:zero_laxity-wait | |
> +---------------------> | | <+------------------+
> +----------------------+ | |
> | | |
> | 3:dl_server_timer | |
> v | |
> +----------------------+ | |
> +---------------------> | C:running | -+ |
> 2:update_curr_dl_se
> | +----------------------+ |
> | | |
> | 6:dl_server_timer | 5:update_curr_dl_se |
> | v |
> | +----------------------+ |
> +---------------------- | D:replenish | --------------------+
> +----------------------+
>
> Anyway, back to noodling on how to make it stop on idle :-)
next prev parent reply other threads:[~2025-10-31 15:52 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-10-07 12:29 Gabriele Monaco
2025-10-14 9:30 ` Gabriele Monaco
2025-10-14 9:54 ` Peter Zijlstra
2025-10-14 10:05 ` Gabriele Monaco
2025-10-14 10:25 ` Peter Zijlstra
2025-10-14 15:32 ` Gabriele Monaco
2025-10-14 16:01 ` Juri Lelli
2025-10-14 19:33 ` Peter Zijlstra
2025-10-15 5:40 ` Juri Lelli
2025-10-20 14:11 ` Peter Zijlstra
2025-10-22 10:11 ` Gabriele Monaco
2025-10-30 18:42 ` Peter Zijlstra
2025-10-31 13:05 ` Peter Zijlstra
2025-10-31 13:24 ` Gabriele Monaco
2025-10-31 15:20 ` Peter Zijlstra
2025-10-31 15:41 ` Gabriele Monaco
2025-10-31 15:44 ` Peter Zijlstra
2025-10-31 15:51 ` Gabriele Monaco [this message]
2025-11-01 0:00 ` Peter Zijlstra
2025-11-11 9:58 ` Gabriele Monaco
2025-11-11 11:17 ` Peter Zijlstra
2025-11-11 11:24 ` Peter Zijlstra
2025-11-11 11:37 ` [tip: sched/core] sched/deadline: Fix dl_server stop condition tip-bot2 for Peter Zijlstra
2025-11-01 0:08 ` [RFC PATCH] sched/deadline: Avoid dl_server boosting with expired deadline Peter Zijlstra
2025-11-01 8:43 ` Gabriele Monaco
2025-11-11 11:37 ` [tip: sched/core] sched/deadline: Fix dl_server time accounting tip-bot2 for Peter Zijlstra
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=6c8c276e3e69da824dec179b68e6c120d1426a4a.camel@redhat.com \
--to=gmonaco@redhat.com \
--cc=arighi@nvidia.com \
--cc=juri.lelli@redhat.com \
--cc=linux-kernel@vger.kernel.org \
--cc=mingo@redhat.com \
--cc=peterz@infradead.org \
--cc=williams@redhat.com \
/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
all inboxes | Powered by JetHome®