Commit fee1759e authored by Tim C Chen's avatar Tim C Chen Committed by Peter Zijlstra

sched/fair: Determine active load balance for SMT sched groups

On hybrid CPUs with scheduling cluster enabled, we will need to
consider balancing between SMT CPU cluster, and Atom core cluster.

Below shows such a hybrid x86 CPU with 4 big cores and 8 atom cores.
Each scheduling cluster span a L2 cache.

          --L2-- --L2-- --L2-- --L2-- ----L2---- -----L2------
          [0, 1] [2, 3] [4, 5] [5, 6] [7 8 9 10] [11 12 13 14]
          Big    Big    Big    Big    Atom       Atom
          core   core   core   core   Module     Module

If the busiest group is a big core with both SMT CPUs busy, we should
active load balance if destination group has idle CPU cores.  Such
condition is considered by asym_active_balance() in load balancing but not
considered when looking for busiest group and computing load imbalance.
Add this consideration in find_busiest_group() and calculate_imbalance().

In addition, update the logic determining the busier group when one group
is SMT and the other group is non SMT but both groups are partially busy
with idle CPU. The busier group should be the group with idle cores rather
than the group with one busy SMT CPU.  We do not want to make the SMT group
the busiest one to pull the only task off SMT CPU and causing the whole core to
go empty.

Otherwise suppose in the search for the busiest group, we first encounter
an SMT group with 1 task and set it as the busiest.  The destination
group is an atom cluster with 1 task and we next encounter an atom
cluster group with 3 tasks, we will not pick this atom cluster over the
SMT group, even though we should.  As a result, we do not load balance
the busier Atom cluster (with 3 tasks) towards the local atom cluster
(with 1 task).  And it doesn't make sense to pick the 1 task SMT group
as the busier group as we also should not pull task off the SMT towards
the 1 task atom cluster and make the SMT core completely empty.
Signed-off-by: default avatarTim Chen <tim.c.chen@linux.intel.com>
Signed-off-by: default avatarPeter Zijlstra (Intel) <peterz@infradead.org>
Link: https://lore.kernel.org/r/e24f35d142308790f69be65930b82794ef6658a2.1688770494.git.tim.c.chen@linux.intel.com
parent 35cd21f6
...@@ -8446,6 +8446,11 @@ enum group_type { ...@@ -8446,6 +8446,11 @@ enum group_type {
* more powerful CPU. * more powerful CPU.
*/ */
group_misfit_task, group_misfit_task,
/*
* Balance SMT group that's fully busy. Can benefit from migration
* a task on SMT with busy sibling to another CPU on idle core.
*/
group_smt_balance,
/* /*
* SD_ASYM_PACKING only: One local CPU with higher capacity is available, * SD_ASYM_PACKING only: One local CPU with higher capacity is available,
* and the task should be migrated to it instead of running on the * and the task should be migrated to it instead of running on the
...@@ -9154,6 +9159,7 @@ struct sg_lb_stats { ...@@ -9154,6 +9159,7 @@ struct sg_lb_stats {
unsigned int group_weight; unsigned int group_weight;
enum group_type group_type; enum group_type group_type;
unsigned int group_asym_packing; /* Tasks should be moved to preferred CPU */ unsigned int group_asym_packing; /* Tasks should be moved to preferred CPU */
unsigned int group_smt_balance; /* Task on busy SMT be moved */
unsigned long group_misfit_task_load; /* A CPU has a task too big for its capacity */ unsigned long group_misfit_task_load; /* A CPU has a task too big for its capacity */
#ifdef CONFIG_NUMA_BALANCING #ifdef CONFIG_NUMA_BALANCING
unsigned int nr_numa_running; unsigned int nr_numa_running;
...@@ -9427,6 +9433,9 @@ group_type group_classify(unsigned int imbalance_pct, ...@@ -9427,6 +9433,9 @@ group_type group_classify(unsigned int imbalance_pct,
if (sgs->group_asym_packing) if (sgs->group_asym_packing)
return group_asym_packing; return group_asym_packing;
if (sgs->group_smt_balance)
return group_smt_balance;
if (sgs->group_misfit_task_load) if (sgs->group_misfit_task_load)
return group_misfit_task; return group_misfit_task;
...@@ -9496,6 +9505,36 @@ sched_asym(struct lb_env *env, struct sd_lb_stats *sds, struct sg_lb_stats *sgs ...@@ -9496,6 +9505,36 @@ sched_asym(struct lb_env *env, struct sd_lb_stats *sds, struct sg_lb_stats *sgs
return sched_asym_prefer(env->dst_cpu, group->asym_prefer_cpu); return sched_asym_prefer(env->dst_cpu, group->asym_prefer_cpu);
} }
/* One group has more than one SMT CPU while the other group does not */
static inline bool smt_vs_nonsmt_groups(struct sched_group *sg1,
struct sched_group *sg2)
{
if (!sg1 || !sg2)
return false;
return (sg1->flags & SD_SHARE_CPUCAPACITY) !=
(sg2->flags & SD_SHARE_CPUCAPACITY);
}
static inline bool smt_balance(struct lb_env *env, struct sg_lb_stats *sgs,
struct sched_group *group)
{
if (env->idle == CPU_NOT_IDLE)
return false;
/*
* For SMT source group, it is better to move a task
* to a CPU that doesn't have multiple tasks sharing its CPU capacity.
* Note that if a group has a single SMT, SD_SHARE_CPUCAPACITY
* will not be on.
*/
if (group->flags & SD_SHARE_CPUCAPACITY &&
sgs->sum_h_nr_running > 1)
return true;
return false;
}
static inline bool static inline bool
sched_reduced_capacity(struct rq *rq, struct sched_domain *sd) sched_reduced_capacity(struct rq *rq, struct sched_domain *sd)
{ {
...@@ -9588,6 +9627,10 @@ static inline void update_sg_lb_stats(struct lb_env *env, ...@@ -9588,6 +9627,10 @@ static inline void update_sg_lb_stats(struct lb_env *env,
sgs->group_asym_packing = 1; sgs->group_asym_packing = 1;
} }
/* Check for loaded SMT group to be balanced to dst CPU */
if (!local_group && smt_balance(env, sgs, group))
sgs->group_smt_balance = 1;
sgs->group_type = group_classify(env->sd->imbalance_pct, group, sgs); sgs->group_type = group_classify(env->sd->imbalance_pct, group, sgs);
/* Computing avg_load makes sense only when group is overloaded */ /* Computing avg_load makes sense only when group is overloaded */
...@@ -9672,6 +9715,7 @@ static bool update_sd_pick_busiest(struct lb_env *env, ...@@ -9672,6 +9715,7 @@ static bool update_sd_pick_busiest(struct lb_env *env,
return false; return false;
break; break;
case group_smt_balance:
case group_fully_busy: case group_fully_busy:
/* /*
* Select the fully busy group with highest avg_load. In * Select the fully busy group with highest avg_load. In
...@@ -9700,6 +9744,18 @@ static bool update_sd_pick_busiest(struct lb_env *env, ...@@ -9700,6 +9744,18 @@ static bool update_sd_pick_busiest(struct lb_env *env,
break; break;
case group_has_spare: case group_has_spare:
/*
* Do not pick sg with SMT CPUs over sg with pure CPUs,
* as we do not want to pull task off SMT core with one task
* and make the core idle.
*/
if (smt_vs_nonsmt_groups(sds->busiest, sg)) {
if (sg->flags & SD_SHARE_CPUCAPACITY && sgs->sum_h_nr_running <= 1)
return false;
else
return true;
}
/* /*
* Select not overloaded group with lowest number of idle cpus * Select not overloaded group with lowest number of idle cpus
* and highest number of running tasks. We could also compare * and highest number of running tasks. We could also compare
...@@ -9896,6 +9952,7 @@ static bool update_pick_idlest(struct sched_group *idlest, ...@@ -9896,6 +9952,7 @@ static bool update_pick_idlest(struct sched_group *idlest,
case group_imbalanced: case group_imbalanced:
case group_asym_packing: case group_asym_packing:
case group_smt_balance:
/* Those types are not used in the slow wakeup path */ /* Those types are not used in the slow wakeup path */
return false; return false;
...@@ -10027,6 +10084,7 @@ find_idlest_group(struct sched_domain *sd, struct task_struct *p, int this_cpu) ...@@ -10027,6 +10084,7 @@ find_idlest_group(struct sched_domain *sd, struct task_struct *p, int this_cpu)
case group_imbalanced: case group_imbalanced:
case group_asym_packing: case group_asym_packing:
case group_smt_balance:
/* Those type are not used in the slow wakeup path */ /* Those type are not used in the slow wakeup path */
return NULL; return NULL;
...@@ -10281,6 +10339,13 @@ static inline void calculate_imbalance(struct lb_env *env, struct sd_lb_stats *s ...@@ -10281,6 +10339,13 @@ static inline void calculate_imbalance(struct lb_env *env, struct sd_lb_stats *s
return; return;
} }
if (busiest->group_type == group_smt_balance) {
/* Reduce number of tasks sharing CPU capacity */
env->migration_type = migrate_task;
env->imbalance = 1;
return;
}
if (busiest->group_type == group_imbalanced) { if (busiest->group_type == group_imbalanced) {
/* /*
* In the group_imb case we cannot rely on group-wide averages * In the group_imb case we cannot rely on group-wide averages
...@@ -10536,16 +10601,23 @@ static struct sched_group *find_busiest_group(struct lb_env *env) ...@@ -10536,16 +10601,23 @@ static struct sched_group *find_busiest_group(struct lb_env *env)
goto force_balance; goto force_balance;
if (busiest->group_type != group_overloaded) { if (busiest->group_type != group_overloaded) {
if (env->idle == CPU_NOT_IDLE) if (env->idle == CPU_NOT_IDLE) {
/* /*
* If the busiest group is not overloaded (and as a * If the busiest group is not overloaded (and as a
* result the local one too) but this CPU is already * result the local one too) but this CPU is already
* busy, let another idle CPU try to pull task. * busy, let another idle CPU try to pull task.
*/ */
goto out_balanced; goto out_balanced;
}
if (busiest->group_type == group_smt_balance &&
smt_vs_nonsmt_groups(sds.local, sds.busiest)) {
/* Let non SMT CPU pull from SMT CPU sharing with sibling */
goto force_balance;
}
if (busiest->group_weight > 1 && if (busiest->group_weight > 1 &&
local->idle_cpus <= (busiest->idle_cpus + 1)) local->idle_cpus <= (busiest->idle_cpus + 1)) {
/* /*
* If the busiest group is not overloaded * If the busiest group is not overloaded
* and there is no imbalance between this and busiest * and there is no imbalance between this and busiest
...@@ -10556,13 +10628,15 @@ static struct sched_group *find_busiest_group(struct lb_env *env) ...@@ -10556,13 +10628,15 @@ static struct sched_group *find_busiest_group(struct lb_env *env)
* there is more than 1 CPU per group. * there is more than 1 CPU per group.
*/ */
goto out_balanced; goto out_balanced;
}
if (busiest->sum_h_nr_running == 1) if (busiest->sum_h_nr_running == 1) {
/* /*
* busiest doesn't have any tasks waiting to run * busiest doesn't have any tasks waiting to run
*/ */
goto out_balanced; goto out_balanced;
} }
}
force_balance: force_balance:
/* Looks like there is an imbalance. Compute it */ /* Looks like there is an imbalance. Compute it */
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment