Re: [PATCH v2 04/13] sched/fair: Remove magic hardcoded margin in fits_capacity()

[Vincent Guittot]

On Mon, 4 May 2026 at 04:00, Qais Yousef <qyousef@xxxxxxxxxxx> wrote:
>
> Replace hardcoded margin value in fits_capacity() with better dynamic
> logic.
>
> 80% margin is a magic value that has served its purpose for now, but it
> no longer fits the variety of systems that exist today. If a system is
> over powered specifically, this 80% will mean we leave a lot of capacity
> unused before we decide to upmigrate on HMP system.
>
> On many systems the little cores are under powered and ability to
> migrate faster away from them is desired.
>
> Redefine misfit migration to mean the utilization threshold at which the
> task would become misfit at the next load balance event assuming it

Do you mean at the next tick?

> becomes an always running task.
>
> To calculate this threshold, we use the new approximate_util_avg()
> function to find out the threshold, based on arch_scale_cpu_capacity()
> the task will be misfit if it continues to run for a TICK_USEC which is
> our worst case scenario for when misfit migration will kick in.
>
> Signed-off-by: Qais Yousef <qyousef@xxxxxxxxxxx>
> ---
>  kernel/sched/core.c  |  1 +
>  kernel/sched/fair.c  | 40 ++++++++++++++++++++++++++++++++--------
>  kernel/sched/sched.h |  1 +
>  3 files changed, 34 insertions(+), 8 deletions(-)
>
> diff --git a/kernel/sched/core.c b/kernel/sched/core.c
> index 49cd5d217161..47ec8ea7c52e 100644
> --- a/kernel/sched/core.c
> +++ b/kernel/sched/core.c
> @@ -8921,6 +8921,7 @@ void __init sched_init(void)
>                 rq->sd = NULL;
>                 rq->rd = NULL;
>                 rq->cpu_capacity = SCHED_CAPACITY_SCALE;
> +               rq->fits_capacity_threshold = SCHED_CAPACITY_SCALE;
>                 rq->balance_callback = &balance_push_callback;
>                 rq->active_balance = 0;
>                 rq->next_balance = jiffies;
> diff --git a/kernel/sched/fair.c b/kernel/sched/fair.c
> index f179faf7a6a1..4e1ed3c7f96e 100644
> --- a/kernel/sched/fair.c
> +++ b/kernel/sched/fair.c
> @@ -97,11 +97,15 @@ int __weak arch_asym_cpu_priority(int cpu)
>  }
>
>  /*
> - * The margin used when comparing utilization with CPU capacity.
> - *
> - * (default: ~20%)
> + * fits_capacity() must ensure that a task will not be 'stuck' on a CPU with
> + * lower capacity for too long. This the threshold is the util value at which
> + * if a task becomes always busy it could miss misfit migration load balance
> + * event. So we consider a task is misfit before it reaches this point.
>   */
> -#define fits_capacity(cap, max)        ((cap) * 1280 < (max) * 1024)
> +static inline bool fits_capacity(unsigned long util, int cpu)
> +{
> +       return util < cpu_rq(cpu)->fits_capacity_threshold;
> +}
>
>  /*
>   * The margin used when comparing CPU capacities.
> @@ -5180,14 +5184,13 @@ static inline int util_fits_cpu(unsigned long util,
>                                 unsigned long uclamp_max,
>                                 int cpu)
>  {
> -       unsigned long capacity = capacity_of(cpu);
>         unsigned long capacity_orig;
>         bool fits, uclamp_max_fits;
>
>         /*
>          * Check if the real util fits without any uclamp boost/cap applied.
>          */
> -       fits = fits_capacity(util, capacity);
> +       fits = fits_capacity(util, cpu);
>
>         if (!uclamp_is_used())
>                 return fits;
> @@ -10299,12 +10302,33 @@ static void update_cpu_capacity(struct sched_domain *sd, int cpu)
>  {
>         unsigned long capacity = scale_rt_capacity(cpu);
>         struct sched_group *sdg = sd->groups;
> +       struct rq *rq = cpu_rq(cpu);
> +       u64 limit;
>
>         if (!capacity)
>                 capacity = 1;
>
> -       cpu_rq(cpu)->cpu_capacity = capacity;
> -       trace_sched_cpu_capacity_tp(cpu_rq(cpu));
> +       rq->cpu_capacity = capacity;
> +       trace_sched_cpu_capacity_tp(rq);
> +
> +       /*
> +        * Calculate the util at which the task must be considered a misfit.
> +        *
> +        * We must ensure that a task experiences the same ramp-up time to
> +        * reach max performance point of the system regardless of the CPU it
> +        * is running on (due to invariance, time will stretch and task will
> +        * take longer to achieve the same util value compared to a task
> +        * running on a big CPU) and a delay in misfit migration which depends
> +        * on TICK doesn't end up hurting it as it can happen after we would
> +        * have crossed this threshold.
> +        *
> +        * To ensure that invaraince is taken into account, we don't scale time
> +        * and use it as-is, approximate_util_avg() will then let us know the
> +        * our threshold.
> +        */
> +       limit = approximate_runtime(arch_scale_cpu_capacity(cpu)) * USEC_PER_MSEC;
> +       limit -= TICK_USEC; /* sd->balance_interval is more accurate */
> +       rq->fits_capacity_threshold = approximate_util_avg(0, limit);

update_cpu_capacity() is called in build_sched_domain() and also
during periodic load balancing, but fits_capacity_threshold is fixed
and should be set once

I'm not sure to get what you want to do here. Do you want to get a
tick margin at max compute capacity compared to
arch_scale_cpu_capacity() ?

On the big core (1024), this means a threshold of 1023 which sounds reasonable.
On the little core (280), this means a threshold of 268 (1ms tick).
However, reaching 268 at max freq on the little core requires 41ms,
whereas the task will be at 602 after 41ms running on the big core




>
>         sdg->sgc->capacity = capacity;
>         sdg->sgc->min_capacity = capacity;
> diff --git a/kernel/sched/sched.h b/kernel/sched/sched.h
> index a445add5cc3a..24008f1ec812 100644
> --- a/kernel/sched/sched.h
> +++ b/kernel/sched/sched.h
> @@ -1236,6 +1236,7 @@ struct rq {
>         unsigned char           nohz_idle_balance;
>         unsigned char           idle_balance;
>
> +       unsigned long           fits_capacity_threshold;
>         unsigned long           misfit_task_load;
>
>         /* For active balancing */
> --
> 2.34.1
>