sched/deadline: Use sched_dl_entity's dl_density in dl_task_fits_capacity()
authorDietmar Eggemann <dietmar.eggemann@arm.com>
Fri, 29 Jul 2022 11:13:05 +0000 (13:13 +0200)
committerIngo Molnar <mingo@kernel.org>
Tue, 2 Aug 2022 10:32:46 +0000 (12:32 +0200)
commitb3f53daacc74c0ca0922e14a8cb793cb2db4c6d1
tree558a374df2d3b76746ee6a6cd6ec0e8ff14723e6
parent6092478bcbf4021d3c52144bd456378de043fe58
sched/deadline: Use sched_dl_entity's dl_density in dl_task_fits_capacity()

Save a multiplication in dl_task_fits_capacity() by using already
maintained per-sched_dl_entity (i.e. per-task) `dl_runtime/dl_deadline`
(dl_density).

  cap_scale(dl_deadline, cap) >= dl_runtime

  dl_deadline * cap >> SCHED_CAPACITY_SHIFT >= dl_runtime

  cap >= dl_runtime << SCHED_CAPACITY_SHIFT / dl_deadline

  cap >= (dl_runtime << BW_SHIFT / dl_deadline) >>
BW_SHIFT - SCHED_CAPACITY_SHIFT

  cap >= dl_density >> BW_SHIFT - SCHED_CAPACITY_SHIFT

__sched_setscheduler()->__checkparam_dl() ensures that the 2 corner
cases (if conditions) `runtime == RUNTIME_INF (-1)` and `period == 0`
of to_ratio(deadline, runtime) are not met when setting dl_density in
__sched_setscheduler()-> __setscheduler_params()->__setparam_dl().

Signed-off-by: Dietmar Eggemann <dietmar.eggemann@arm.com>
Signed-off-by: Ingo Molnar <mingo@kernel.org>
Link: https://lore.kernel.org/r/20220729111305.1275158-4-dietmar.eggemann@arm.com
kernel/sched/sched.h