Re: [RFC PATCH] sched/deadline: Avoid dl_server boosting with expired deadline

[Peter Zijlstra]

On Tue, Oct 14, 2025 at 06:01:10PM +0200, Juri Lelli wrote:

> Shouldn't idle time be accounted (subtracted from runtime) as well, though?

Argh, indeed. Then I suppose we should look at bringing some of that
'idle-for-whole-period' logic to try and actually stop the timer at some
point if nothing happens.