I think this patch is also OK
Thanks,
Luca
On Tue, 30 May 2023 09:55:26 -0400
Vineeth Pillai <[email protected]> wrote:
> Update the details of GRUB to reflect the updated logic.
>
> Signed-off-by: Vineeth Pillai (Google) <[email protected]>
> ---
> Documentation/scheduler/sched-deadline.rst | 5 ++++-
> 1 file changed, 4 insertions(+), 1 deletion(-)
>
> diff --git a/Documentation/scheduler/sched-deadline.rst
> b/Documentation/scheduler/sched-deadline.rst index
> 9d9be52f221a..9fe4846079bb 100644 ---
> a/Documentation/scheduler/sched-deadline.rst +++
> b/Documentation/scheduler/sched-deadline.rst @@ -203,12 +203,15 @@
> Deadline Task Scheduling
> - Total bandwidth (this_bw): this is the sum of all tasks
> "belonging" to the runqueue, including the tasks in Inactive state.
>
> + - Maximum usable bandwidth (max_bw): This is the maximum bandwidth
> usable by
> + deadline tasks and is currently set to the RT capacity.
> +
>
> The algorithm reclaims the bandwidth of the tasks in Inactive state.
> It does so by decrementing the runtime of the executing task Ti at
> a pace equal to
>
> - dq = -max{ Ui / Umax, (1 - Uinact - Uextra) } dt
> + dq = -(max{ Ui, (Umax - Uinact - Uextra) } / Umax) dt
>
> where:
>