From: Juergen Gross <juergen.gross@ts.fujitsu.com>
To: Dario Faggioli <dario.faggioli@citrix.com>
Cc: Marcus Granado <Marcus.Granado@eu.citrix.com>,
Dan Magenheimer <dan.magenheimer@oracle.com>,
Ian Campbell <Ian.Campbell@citrix.com>,
Anil Madhavapeddy <anil@recoil.org>,
George Dunlap <george.dunlap@eu.citrix.com>,
Andrew Cooper <Andrew.Cooper3@citrix.com>,
Ian Jackson <Ian.Jackson@eu.citrix.com>,
xen-devel@lists.xen.org, Jan Beulich <JBeulich@suse.com>,
Daniel De Graaf <dgdegra@tycho.nsa.gov>,
Matt Wilson <msw@amazon.com>
Subject: Re: [PATCH 04 of 11 v3] xen: sched_credit: let the scheduler know about node-affinity
Date: Fri, 01 Feb 2013 15:30:15 +0100 [thread overview]
Message-ID: <510BD177.9010504@ts.fujitsu.com> (raw)
In-Reply-To: <7b30913e753c4f0a2396.1359716474@Solace>
Am 01.02.2013 12:01, schrieb Dario Faggioli:
> As vcpu-affinity tells where VCPUs must run, node-affinity tells
> where they should or, better, prefer. While respecting vcpu-affinity
> remains mandatory, node-affinity is not that strict, it only expresses
> a preference, although honouring it is almost always true that will
> bring significant performances benefit (especially as compared to
> not having any affinity at all).
>
> This change modifies the VCPU load balancing algorithm (for the
> credit scheduler only), introducing a two steps logic.
> During the first step, we use the node-affinity mask. The aim is
> giving precedence to the CPUs where it is known to be preferable
> for the domain to run. If that fails in finding a valid PCPU, the
> node-affinity is just ignored and, in the second step, we fall
> back to using cpu-affinity only.
>
> Signed-off-by: Dario Faggioli<dario.faggioli@citrix.com>
Acked-by: Juergen Gross <juergen.gross@ts.fujitsu.com>
> ---
> Changes from v2:
> * for_each_csched_balance_step() now is defined as a regular, and
> easier to understand, 0...n for() loop, instead of a going backwards
> one, as that wasn't really needed;
> * checking whether or not a CSCHED_BALANCE_NODE_AFFINITY balancing
> set is useful or not now happens outside of csched_balance_cpumask(),
> i.e., closer to the actual loop, making the logic a lot more evident
> and easy to understand, as requested during review;
> * while reworking __runq_tickle(), handling of idle pcpu has been brought
> outside from the balancing loop, as requested during review;
> * __csched_vcpu_is_migrateable() was just wrong, so it has been removed;
> * the suboptimal handling of SMT in _csched_cpu_pick() has been moved
> to a separate patch (i.e., the previous patch in the series);
> * moved the CPU mask needed for balancing within `csched_pcpu', as
> suggested during review. This way it is not only more close to
> other per-PCPU data (potential cache related benefits), but it is
> also only allocated for the PCPUs credit is in charge of.
>
> Changes from v1:
> * CPU masks variables moved off from the stack, as requested during
> review. As per the comments in the code, having them in the private
> (per-scheduler instance) struct could have been enough, but it would be
> racy (again, see comments). For that reason, use a global bunch of
> them of (via per_cpu());
> * George suggested a different load balancing logic during v1's review. I
> think he was right and then I changed the old implementation in a way
> that resembles exactly that. I rewrote most of this patch to introduce
> a more sensible and effective noda-affinity handling logic.
>
> diff --git a/xen/common/sched_credit.c b/xen/common/sched_credit.c
> --- a/xen/common/sched_credit.c
> +++ b/xen/common/sched_credit.c
> @@ -111,6 +111,12 @@
>
>
> /*
> + * Node Balancing
> + */
> +#define CSCHED_BALANCE_NODE_AFFINITY 0
> +#define CSCHED_BALANCE_CPU_AFFINITY 1
> +
> +/*
> * Boot parameters
> */
> static int __read_mostly sched_credit_tslice_ms = CSCHED_DEFAULT_TSLICE_MS;
> @@ -125,9 +131,20 @@ struct csched_pcpu {
> struct timer ticker;
> unsigned int tick;
> unsigned int idle_bias;
> + /* Store this here to avoid having too many cpumask_var_t-s on stack */
> + cpumask_var_t balance_mask;
> };
>
> /*
> + * Convenience macro for accessing the per-PCPU cpumask we need for
> + * implementing the two steps (vcpu and node affinity) balancing logic.
> + * It is stored in csched_pcpu so that serialization is not an issue,
> + * as there is a csched_pcpu for each PCPU and we always hold the
> + * runqueue spin-lock when using this.
> + */
> +#define csched_balance_mask (CSCHED_PCPU(smp_processor_id())->balance_mask)
> +
> +/*
> * Virtual CPU
> */
> struct csched_vcpu {
> @@ -159,6 +176,9 @@ struct csched_dom {
> struct list_head active_vcpu;
> struct list_head active_sdom_elem;
> struct domain *dom;
> + /* cpumask translated from the domain's node-affinity.
> + * Basically, the CPUs we prefer to be scheduled on. */
> + cpumask_var_t node_affinity_cpumask;
> uint16_t active_vcpu_count;
> uint16_t weight;
> uint16_t cap;
> @@ -239,6 +259,43 @@ static inline void
> list_del_init(&svc->runq_elem);
> }
>
> +#define for_each_csched_balance_step(step) \
> + for ( (step) = 0; (step)<= CSCHED_BALANCE_CPU_AFFINITY; (step)++ )
> +
> +
> +/*
> + * vcpu-affinity balancing is always necessary and must never be skipped.
> + * OTOH, if a domain has affinity with all the nodes, we can tell the caller
> + * that he can safely skip the node-affinity balancing step.
> + */
> +#define __vcpu_has_valuable_node_affinity(vc) \
> + ( !cpumask_full(CSCHED_DOM(vc->domain)->node_affinity_cpumask) )
> +
> +static inline int csched_balance_step_skippable(int step, struct vcpu *vc)
> +{
> + if ( step == CSCHED_BALANCE_NODE_AFFINITY
> +&& !__vcpu_has_valuable_node_affinity(vc) )
> + return 1;
> + return 0;
> +}
> +
> +/*
> + * Each csched-balance step uses its own cpumask. This function determines
> + * which one (given the step) and copies it in mask. For the node-affinity
> + * balancing step, the pcpus that are not part of vc's vcpu-affinity are
> + * filtered out from the result, to avoid running a vcpu where it would
> + * like, but is not allowed to!
> + */
> +static void
> +csched_balance_cpumask(const struct vcpu *vc, int step, cpumask_t *mask)
> +{
> + if ( step == CSCHED_BALANCE_NODE_AFFINITY )
> + cpumask_and(mask, CSCHED_DOM(vc->domain)->node_affinity_cpumask,
> + vc->cpu_affinity);
> + else /* step == CSCHED_BALANCE_CPU_AFFINITY */
> + cpumask_copy(mask, vc->cpu_affinity);
> +}
> +
> static void burn_credits(struct csched_vcpu *svc, s_time_t now)
> {
> s_time_t delta;
> @@ -266,12 +323,12 @@ static inline void
> struct csched_vcpu * const cur = CSCHED_VCPU(curr_on_cpu(cpu));
> struct csched_private *prv = CSCHED_PRIV(per_cpu(scheduler, cpu));
> cpumask_t mask, idle_mask;
> - int idlers_empty;
> + int balance_step, idlers_empty;
>
> ASSERT(cur);
> cpumask_clear(&mask);
> + idlers_empty = cpumask_empty(prv->idlers);
>
> - idlers_empty = cpumask_empty(prv->idlers);
>
> /*
> * If the pcpu is idle, or there are no idlers and the new
> @@ -291,41 +348,67 @@ static inline void
> }
> else if ( !idlers_empty )
> {
> - /* Check whether or not there are idlers that can run new */
> - cpumask_and(&idle_mask, prv->idlers, new->vcpu->cpu_affinity);
> + /* Node and vcpu-affinity balancing loop */
> + for_each_csched_balance_step( balance_step )
> + {
> + int new_idlers_empty;
>
> - /*
> - * If there are no suitable idlers for new, and it's higher
> - * priority than cur, ask the scheduler to migrate cur away.
> - * We have to act like this (instead of just waking some of
> - * the idlers suitable for cur) because cur is running.
> - *
> - * If there are suitable idlers for new, no matter priorities,
> - * leave cur alone (as it is running and is, likely, cache-hot)
> - * and wake some of them (which is waking up and so is, likely,
> - * cache cold anyway).
> - */
> - if ( cpumask_empty(&idle_mask)&& new->pri> cur->pri )
> - {
> - SCHED_STAT_CRANK(tickle_idlers_none);
> - SCHED_VCPU_STAT_CRANK(cur, kicked_away);
> - SCHED_VCPU_STAT_CRANK(cur, migrate_r);
> - SCHED_STAT_CRANK(migrate_kicked_away);
> - set_bit(_VPF_migrating,&cur->vcpu->pause_flags);
> - cpumask_set_cpu(cpu,&mask);
> - }
> - else if ( !cpumask_empty(&idle_mask) )
> - {
> - /* Which of the idlers suitable for new shall we wake up? */
> - SCHED_STAT_CRANK(tickle_idlers_some);
> - if ( opt_tickle_one_idle )
> + /* For vcpus with no node-affinity, consider vcpu-affinity only */
> + if ( csched_balance_step_skippable( balance_step, new->vcpu) )
> + continue;
> +
> + /* Are there idlers suitable for new (for this balance step)? */
> + csched_balance_cpumask(new->vcpu, balance_step,
> + csched_balance_mask);
> + cpumask_and(&idle_mask, prv->idlers, csched_balance_mask);
> + new_idlers_empty = cpumask_empty(&idle_mask);
> +
> + /*
> + * Let's not be too harsh! If there aren't idlers suitable
> + * for new in its node-affinity mask, make sure we check its
> + * vcpu-affinity as well, before taking final decisions.
> + */
> + if ( new_idlers_empty
> +&& balance_step == CSCHED_BALANCE_NODE_AFFINITY )
> + continue;
> +
> + /*
> + * If there are no suitable idlers for new, and it's higher
> + * priority than cur, ask the scheduler to migrate cur away.
> + * We have to act like this (instead of just waking some of
> + * the idlers suitable for cur) because cur is running.
> + *
> + * If there are suitable idlers for new, no matter priorities,
> + * leave cur alone (as it is running and is, likely, cache-hot)
> + * and wake some of them (which is waking up and so is, likely,
> + * cache cold anyway).
> + */
> + if ( new_idlers_empty&& new->pri> cur->pri )
> {
> - this_cpu(last_tickle_cpu) =
> - cpumask_cycle(this_cpu(last_tickle_cpu),&idle_mask);
> - cpumask_set_cpu(this_cpu(last_tickle_cpu),&mask);
> + SCHED_STAT_CRANK(tickle_idlers_none);
> + SCHED_VCPU_STAT_CRANK(cur, kicked_away);
> + SCHED_VCPU_STAT_CRANK(cur, migrate_r);
> + SCHED_STAT_CRANK(migrate_kicked_away);
> + set_bit(_VPF_migrating,&cur->vcpu->pause_flags);
> + cpumask_set_cpu(cpu,&mask);
> }
> - else
> - cpumask_or(&mask,&mask,&idle_mask);
> + else if ( !new_idlers_empty )
> + {
> + /* Which of the idlers suitable for new shall we wake up? */
> + SCHED_STAT_CRANK(tickle_idlers_some);
> + if ( opt_tickle_one_idle )
> + {
> + this_cpu(last_tickle_cpu) =
> + cpumask_cycle(this_cpu(last_tickle_cpu),&idle_mask);
> + cpumask_set_cpu(this_cpu(last_tickle_cpu),&mask);
> + }
> + else
> + cpumask_or(&mask,&mask,&idle_mask);
> + }
> +
> + /* Did we find anyone? */
> + if ( !cpumask_empty(&mask) )
> + break;
> }
> }
>
> @@ -370,6 +453,7 @@ csched_free_pdata(const struct scheduler
>
> spin_unlock_irqrestore(&prv->lock, flags);
>
> + free_cpumask_var(spc->balance_mask);
> xfree(spc);
> }
>
> @@ -385,6 +469,12 @@ csched_alloc_pdata(const struct schedule
> if ( spc == NULL )
> return NULL;
>
> + if ( !alloc_cpumask_var(&spc->balance_mask) )
> + {
> + xfree(spc);
> + return NULL;
> + }
> +
> spin_lock_irqsave(&prv->lock, flags);
>
> /* Initialize/update system-wide config */
> @@ -475,15 +565,16 @@ static inline int
> }
>
> static inline int
> -__csched_vcpu_is_migrateable(struct vcpu *vc, int dest_cpu)
> +__csched_vcpu_is_migrateable(struct vcpu *vc, int dest_cpu, cpumask_t *mask)
> {
> /*
> * Don't pick up work that's in the peer's scheduling tail or hot on
> - * peer PCPU. Only pick up work that's allowed to run on our CPU.
> + * peer PCPU. Only pick up work that prefers and/or is allowed to run
> + * on our CPU.
> */
> return !vc->is_running&&
> !__csched_vcpu_is_cache_hot(vc)&&
> - cpumask_test_cpu(dest_cpu, vc->cpu_affinity);
> + cpumask_test_cpu(dest_cpu, mask);
> }
>
> static int
> @@ -493,97 +584,110 @@ static int
> cpumask_t idlers;
> cpumask_t *online;
> struct csched_pcpu *spc = NULL;
> - int cpu;
> + int cpu = vc->processor;
> + int balance_step;
>
> - /*
> - * Pick from online CPUs in VCPU's affinity mask, giving a
> - * preference to its current processor if it's in there.
> - */
> online = cpupool_scheduler_cpumask(vc->domain->cpupool);
> - cpumask_and(&cpus, online, vc->cpu_affinity);
> - cpu = cpumask_test_cpu(vc->processor,&cpus)
> - ? vc->processor
> - : cpumask_cycle(vc->processor,&cpus);
> - ASSERT( !cpumask_empty(&cpus)&& cpumask_test_cpu(cpu,&cpus) );
> + for_each_csched_balance_step( balance_step )
> + {
> + if ( csched_balance_step_skippable( balance_step, vc) )
> + continue;
>
> - /*
> - * Try to find an idle processor within the above constraints.
> - *
> - * In multi-core and multi-threaded CPUs, not all idle execution
> - * vehicles are equal!
> - *
> - * We give preference to the idle execution vehicle with the most
> - * idling neighbours in its grouping. This distributes work across
> - * distinct cores first and guarantees we don't do something stupid
> - * like run two VCPUs on co-hyperthreads while there are idle cores
> - * or sockets.
> - *
> - * Notice that, when computing the "idleness" of cpu, we may want to
> - * discount vc. That is, iff vc is the currently running and the only
> - * runnable vcpu on cpu, we add cpu to the idlers.
> - */
> - cpumask_and(&idlers,&cpu_online_map, CSCHED_PRIV(ops)->idlers);
> - if ( vc->processor == cpu&& IS_RUNQ_IDLE(cpu) )
> - cpumask_set_cpu(cpu,&idlers);
> - cpumask_and(&cpus,&cpus,&idlers);
> + /* Pick an online CPU from the proper affinity mask */
> + csched_balance_cpumask(vc, balance_step,&cpus);
> + cpumask_and(&cpus,&cpus, online);
>
> - /*
> - * It is important that cpu points to an idle processor, if a suitable
> - * one exists (and we can use cpus to check and, possibly, choose a new
> - * CPU, as we just&&-ed it with idlers). In fact, if we are on SMT, and
> - * cpu points to a busy thread with an idle sibling, both the threads
> - * will be considered the same, from the "idleness" calculation point
> - * of view", preventing vcpu from being moved to the thread that is
> - * actually idle.
> - */
> - if ( !cpumask_empty(&cpus)&& !cpumask_test_cpu(cpu,&cpus) )
> - cpu = cpumask_cycle(cpu,&cpus);
> - cpumask_clear_cpu(cpu,&cpus);
> + /* If present, prefer vc's current processor */
> + cpu = cpumask_test_cpu(vc->processor,&cpus)
> + ? vc->processor
> + : cpumask_cycle(vc->processor,&cpus);
> + ASSERT( !cpumask_empty(&cpus)&& cpumask_test_cpu(cpu,&cpus) );
>
> - while ( !cpumask_empty(&cpus) )
> - {
> - cpumask_t cpu_idlers;
> - cpumask_t nxt_idlers;
> - int nxt, weight_cpu, weight_nxt;
> - int migrate_factor;
> + /*
> + * Try to find an idle processor within the above constraints.
> + *
> + * In multi-core and multi-threaded CPUs, not all idle execution
> + * vehicles are equal!
> + *
> + * We give preference to the idle execution vehicle with the most
> + * idling neighbours in its grouping. This distributes work across
> + * distinct cores first and guarantees we don't do something stupid
> + * like run two VCPUs on co-hyperthreads while there are idle cores
> + * or sockets.
> + *
> + * Notice that, when computing the "idleness" of cpu, we may want to
> + * discount vc. That is, iff vc is the currently running and the only
> + * runnable vcpu on cpu, we add cpu to the idlers.
> + */
> + cpumask_and(&idlers,&cpu_online_map, CSCHED_PRIV(ops)->idlers);
> + if ( vc->processor == cpu&& IS_RUNQ_IDLE(cpu) )
> + cpumask_set_cpu(cpu,&idlers);
> + cpumask_and(&cpus,&cpus,&idlers);
>
> - nxt = cpumask_cycle(cpu,&cpus);
> + /*
> + * It is important that cpu points to an idle processor, if a suitable
> + * one exists (and we can use cpus to check and, possibly, choose a new
> + * CPU, as we just&&-ed it with idlers). In fact, if we are on SMT, and
> + * cpu points to a busy thread with an idle sibling, both the threads
> + * will be considered the same, from the "idleness" calculation point
> + * of view", preventing vcpu from being moved to the thread that is
> + * actually idle.
> + */
> + if ( !cpumask_empty(&cpus)&& !cpumask_test_cpu(cpu,&cpus) )
> + cpu = cpumask_cycle(cpu,&cpus);
> + cpumask_clear_cpu(cpu,&cpus);
>
> - if ( cpumask_test_cpu(cpu, per_cpu(cpu_core_mask, nxt)) )
> + while ( !cpumask_empty(&cpus) )
> {
> - /* We're on the same socket, so check the busy-ness of threads.
> - * Migrate if # of idlers is less at all */
> - ASSERT( cpumask_test_cpu(nxt, per_cpu(cpu_core_mask, cpu)) );
> - migrate_factor = 1;
> - cpumask_and(&cpu_idlers,&idlers, per_cpu(cpu_sibling_mask, cpu));
> - cpumask_and(&nxt_idlers,&idlers, per_cpu(cpu_sibling_mask, nxt));
> - }
> - else
> - {
> - /* We're on different sockets, so check the busy-ness of cores.
> - * Migrate only if the other core is twice as idle */
> - ASSERT( !cpumask_test_cpu(nxt, per_cpu(cpu_core_mask, cpu)) );
> - migrate_factor = 2;
> - cpumask_and(&cpu_idlers,&idlers, per_cpu(cpu_core_mask, cpu));
> - cpumask_and(&nxt_idlers,&idlers, per_cpu(cpu_core_mask, nxt));
> + cpumask_t cpu_idlers;
> + cpumask_t nxt_idlers;
> + int nxt, weight_cpu, weight_nxt;
> + int migrate_factor;
> +
> + nxt = cpumask_cycle(cpu,&cpus);
> +
> + if ( cpumask_test_cpu(cpu, per_cpu(cpu_core_mask, nxt)) )
> + {
> + /* We're on the same socket, so check the busy-ness of threads.
> + * Migrate if # of idlers is less at all */
> + ASSERT( cpumask_test_cpu(nxt, per_cpu(cpu_core_mask, cpu)) );
> + migrate_factor = 1;
> + cpumask_and(&cpu_idlers,&idlers, per_cpu(cpu_sibling_mask,
> + cpu));
> + cpumask_and(&nxt_idlers,&idlers, per_cpu(cpu_sibling_mask,
> + nxt));
> + }
> + else
> + {
> + /* We're on different sockets, so check the busy-ness of cores.
> + * Migrate only if the other core is twice as idle */
> + ASSERT( !cpumask_test_cpu(nxt, per_cpu(cpu_core_mask, cpu)) );
> + migrate_factor = 2;
> + cpumask_and(&cpu_idlers,&idlers, per_cpu(cpu_core_mask, cpu));
> + cpumask_and(&nxt_idlers,&idlers, per_cpu(cpu_core_mask, nxt));
> + }
> +
> + weight_cpu = cpumask_weight(&cpu_idlers);
> + weight_nxt = cpumask_weight(&nxt_idlers);
> + /* smt_power_savings: consolidate work rather than spreading it */
> + if ( sched_smt_power_savings ?
> + weight_cpu> weight_nxt :
> + weight_cpu * migrate_factor< weight_nxt )
> + {
> + cpumask_and(&nxt_idlers,&cpus,&nxt_idlers);
> + spc = CSCHED_PCPU(nxt);
> + cpu = cpumask_cycle(spc->idle_bias,&nxt_idlers);
> + cpumask_andnot(&cpus,&cpus, per_cpu(cpu_sibling_mask, cpu));
> + }
> + else
> + {
> + cpumask_andnot(&cpus,&cpus,&nxt_idlers);
> + }
> }
>
> - weight_cpu = cpumask_weight(&cpu_idlers);
> - weight_nxt = cpumask_weight(&nxt_idlers);
> - /* smt_power_savings: consolidate work rather than spreading it */
> - if ( sched_smt_power_savings ?
> - weight_cpu> weight_nxt :
> - weight_cpu * migrate_factor< weight_nxt )
> - {
> - cpumask_and(&nxt_idlers,&cpus,&nxt_idlers);
> - spc = CSCHED_PCPU(nxt);
> - cpu = cpumask_cycle(spc->idle_bias,&nxt_idlers);
> - cpumask_andnot(&cpus,&cpus, per_cpu(cpu_sibling_mask, cpu));
> - }
> - else
> - {
> - cpumask_andnot(&cpus,&cpus,&nxt_idlers);
> - }
> + /* Stop if cpu is idle */
> + if ( cpumask_test_cpu(cpu,&idlers) )
> + break;
> }
>
> if ( commit&& spc )
> @@ -925,6 +1029,13 @@ csched_alloc_domdata(const struct schedu
> if ( sdom == NULL )
> return NULL;
>
> + if ( !alloc_cpumask_var(&sdom->node_affinity_cpumask) )
> + {
> + xfree(sdom);
> + return NULL;
> + }
> + cpumask_setall(sdom->node_affinity_cpumask);
> +
> /* Initialize credit and weight */
> INIT_LIST_HEAD(&sdom->active_vcpu);
> sdom->active_vcpu_count = 0;
> @@ -956,6 +1067,9 @@ csched_dom_init(const struct scheduler *
> static void
> csched_free_domdata(const struct scheduler *ops, void *data)
> {
> + struct csched_dom *sdom = data;
> +
> + free_cpumask_var(sdom->node_affinity_cpumask);
> xfree(data);
> }
>
> @@ -1252,7 +1366,7 @@ csched_tick(void *_cpu)
> }
>
> static struct csched_vcpu *
> -csched_runq_steal(int peer_cpu, int cpu, int pri)
> +csched_runq_steal(int peer_cpu, int cpu, int pri, int balance_step)
> {
> const struct csched_pcpu * const peer_pcpu = CSCHED_PCPU(peer_cpu);
> const struct vcpu * const peer_vcpu = curr_on_cpu(peer_cpu);
> @@ -1277,11 +1391,21 @@ csched_runq_steal(int peer_cpu, int cpu,
> if ( speer->pri<= pri )
> break;
>
> - /* Is this VCPU is runnable on our PCPU? */
> + /* Is this VCPU runnable on our PCPU? */
> vc = speer->vcpu;
> BUG_ON( is_idle_vcpu(vc) );
>
> - if (__csched_vcpu_is_migrateable(vc, cpu))
> + /*
> + * If the vcpu has no valuable node-affinity, skip this vcpu.
> + * In fact, what we want is to check if we have any node-affine
> + * work to steal, before starting to look at vcpu-affine work.
> + */
> + if ( balance_step == CSCHED_BALANCE_NODE_AFFINITY
> +&& !__vcpu_has_valuable_node_affinity(vc) )
> + continue;
> +
> + csched_balance_cpumask(vc, balance_step, csched_balance_mask);
> + if ( __csched_vcpu_is_migrateable(vc, cpu, csched_balance_mask) )
> {
> /* We got a candidate. Grab it! */
> TRACE_3D(TRC_CSCHED_STOLEN_VCPU, peer_cpu,
> @@ -1307,7 +1431,8 @@ csched_load_balance(struct csched_privat
> struct csched_vcpu *speer;
> cpumask_t workers;
> cpumask_t *online;
> - int peer_cpu;
> + int peer_cpu, peer_node, bstep;
> + int node = cpu_to_node(cpu);
>
> BUG_ON( cpu != snext->vcpu->processor );
> online = cpupool_scheduler_cpumask(per_cpu(cpupool, cpu));
> @@ -1324,42 +1449,68 @@ csched_load_balance(struct csched_privat
> SCHED_STAT_CRANK(load_balance_other);
>
> /*
> - * Peek at non-idling CPUs in the system, starting with our
> - * immediate neighbour.
> + * Let's look around for work to steal, taking both vcpu-affinity
> + * and node-affinity into account. More specifically, we check all
> + * the non-idle CPUs' runq, looking for:
> + * 1. any node-affine work to steal first,
> + * 2. if not finding anything, any vcpu-affine work to steal.
> */
> - cpumask_andnot(&workers, online, prv->idlers);
> - cpumask_clear_cpu(cpu,&workers);
> - peer_cpu = cpu;
> + for_each_csched_balance_step( bstep )
> + {
> + /*
> + * We peek at the non-idling CPUs in a node-wise fashion. In fact,
> + * it is more likely that we find some node-affine work on our same
> + * node, not to mention that migrating vcpus within the same node
> + * could well expected to be cheaper than across-nodes (memory
> + * stays local, there might be some node-wide cache[s], etc.).
> + */
> + peer_node = node;
> + do
> + {
> + /* Find out what the !idle are in this node */
> + cpumask_andnot(&workers, online, prv->idlers);
> + cpumask_and(&workers,&workers,&node_to_cpumask(peer_node));
> + cpumask_clear_cpu(cpu,&workers);
>
> - while ( !cpumask_empty(&workers) )
> - {
> - peer_cpu = cpumask_cycle(peer_cpu,&workers);
> - cpumask_clear_cpu(peer_cpu,&workers);
> + if ( cpumask_empty(&workers) )
> + goto next_node;
>
> - /*
> - * Get ahold of the scheduler lock for this peer CPU.
> - *
> - * Note: We don't spin on this lock but simply try it. Spinning could
> - * cause a deadlock if the peer CPU is also load balancing and trying
> - * to lock this CPU.
> - */
> - if ( !pcpu_schedule_trylock(peer_cpu) )
> - {
> - SCHED_STAT_CRANK(steal_trylock_failed);
> - continue;
> - }
> + peer_cpu = cpumask_first(&workers);
> + do
> + {
> + /*
> + * Get ahold of the scheduler lock for this peer CPU.
> + *
> + * Note: We don't spin on this lock but simply try it. Spinning
> + * could cause a deadlock if the peer CPU is also load
> + * balancing and trying to lock this CPU.
> + */
> + if ( !pcpu_schedule_trylock(peer_cpu) )
> + {
> + SCHED_STAT_CRANK(steal_trylock_failed);
> + peer_cpu = cpumask_cycle(peer_cpu,&workers);
> + continue;
> + }
>
> - /*
> - * Any work over there to steal?
> - */
> - speer = cpumask_test_cpu(peer_cpu, online) ?
> - csched_runq_steal(peer_cpu, cpu, snext->pri) : NULL;
> - pcpu_schedule_unlock(peer_cpu);
> - if ( speer != NULL )
> - {
> - *stolen = 1;
> - return speer;
> - }
> + /* Any work over there to steal? */
> + speer = cpumask_test_cpu(peer_cpu, online) ?
> + csched_runq_steal(peer_cpu, cpu, snext->pri, bstep) : NULL;
> + pcpu_schedule_unlock(peer_cpu);
> +
> + /* As soon as one vcpu is found, balancing ends */
> + if ( speer != NULL )
> + {
> + *stolen = 1;
> + return speer;
> + }
> +
> + peer_cpu = cpumask_cycle(peer_cpu,&workers);
> +
> + } while( peer_cpu != cpumask_first(&workers) );
> +
> + next_node:
> + peer_node = cycle_node(peer_node, node_online_map);
> + } while( peer_node != node );
> }
>
> out:
> diff --git a/xen/include/xen/nodemask.h b/xen/include/xen/nodemask.h
> --- a/xen/include/xen/nodemask.h
> +++ b/xen/include/xen/nodemask.h
> @@ -41,6 +41,8 @@
> * int last_node(mask) Number highest set bit, or MAX_NUMNODES
> * int first_unset_node(mask) First node not set in mask, or
> * MAX_NUMNODES.
> + * int cycle_node(node, mask) Next node cycling from 'node', or
> + * MAX_NUMNODES
> *
> * nodemask_t nodemask_of_node(node) Return nodemask with bit 'node' set
> * NODE_MASK_ALL Initializer - all bits set
> @@ -254,6 +256,16 @@ static inline int __first_unset_node(con
> find_first_zero_bit(maskp->bits, MAX_NUMNODES));
> }
>
> +#define cycle_node(n, src) __cycle_node((n),&(src), MAX_NUMNODES)
> +static inline int __cycle_node(int n, const nodemask_t *maskp, int nbits)
> +{
> + int nxt = __next_node(n, maskp, nbits);
> +
> + if (nxt == nbits)
> + nxt = __first_node(maskp, nbits);
> + return nxt;
> +}
> +
> #define NODE_MASK_LAST_WORD BITMAP_LAST_WORD_MASK(MAX_NUMNODES)
>
> #if MAX_NUMNODES<= BITS_PER_LONG
>
> _______________________________________________
> Xen-devel mailing list
> Xen-devel@lists.xen.org
> http://lists.xen.org/xen-devel
>
>
--
Juergen Gross Principal Developer Operating Systems
PBG PDG ES&S SWE OS6 Telephone: +49 (0) 89 3222 2967
Fujitsu Technology Solutions e-mail: juergen.gross@ts.fujitsu.com
Domagkstr. 28 Internet: ts.fujitsu.com
D-80807 Muenchen Company details: ts.fujitsu.com/imprint.html
next prev parent reply other threads:[~2013-02-01 14:30 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-02-01 11:01 [PATCH 00 of 11 v3] NUMA aware credit scheduling Dario Faggioli
2013-02-01 11:01 ` [PATCH 01 of 11 v3] xen, libxc: rename xenctl_cpumap to xenctl_bitmap Dario Faggioli
2013-03-12 15:46 ` Ian Campbell
2013-03-12 17:06 ` Dario Faggioli
2013-03-12 17:26 ` Ian Campbell
2013-03-12 18:08 ` Dario Faggioli
2013-03-13 9:53 ` Ian Campbell
2013-03-13 10:13 ` Dario Faggioli
2013-02-01 11:01 ` [PATCH 02 of 11 v3] xen, libxc: introduce xc_nodemap_t Dario Faggioli
2013-02-01 11:01 ` [PATCH 03 of 11 v3] xen: sched_credit: when picking, make sure we get an idle one, if any Dario Faggioli
2013-02-01 13:57 ` Juergen Gross
2013-02-07 17:50 ` George Dunlap
2013-02-01 11:01 ` [PATCH 04 of 11 v3] xen: sched_credit: let the scheduler know about node-affinity Dario Faggioli
2013-02-01 14:30 ` Juergen Gross [this message]
2013-02-27 19:00 ` George Dunlap
2013-03-13 16:09 ` Dario Faggioli
2013-03-12 15:57 ` Ian Campbell
2013-03-12 16:20 ` Dario Faggioli
2013-03-12 16:30 ` Ian Campbell
2013-02-01 11:01 ` [PATCH 05 of 11 v3] xen: allow for explicitly specifying node-affinity Dario Faggioli
2013-02-01 14:20 ` Juergen Gross
2013-02-01 11:01 ` [PATCH 06 of 11 v3] libxc: " Dario Faggioli
2013-02-01 11:01 ` [PATCH 07 of 11 v3] libxl: " Dario Faggioli
2013-02-28 12:16 ` George Dunlap
2013-02-01 11:01 ` [PATCH 08 of 11 v3] libxl: optimize the calculation of how many VCPUs can run on a candidate Dario Faggioli
2013-02-01 14:28 ` Juergen Gross
2013-02-28 14:05 ` George Dunlap
2013-02-01 11:01 ` [PATCH 09 of 11 v3] libxl: automatic placement deals with node-affinity Dario Faggioli
2013-02-01 11:01 ` [PATCH 10 of 11 v3] xl: add node-affinity to the output of `xl list` Dario Faggioli
2013-03-12 16:04 ` Ian Campbell
2013-03-12 16:10 ` Dario Faggioli
2013-02-01 11:01 ` [PATCH 11 of 11 v3] docs: rearrange and update NUMA placement documentation Dario Faggioli
2013-02-01 13:41 ` Juergen Gross
2013-02-28 14:11 ` George Dunlap
2013-02-18 17:13 ` [PATCH 00 of 11 v3] NUMA aware credit scheduling Dario Faggioli
2013-02-19 8:11 ` Jan Beulich
2013-02-19 8:51 ` Ian Campbell
2013-02-21 13:54 ` George Dunlap
2013-02-21 14:32 ` Dario Faggioli
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=510BD177.9010504@ts.fujitsu.com \
--to=juergen.gross@ts.fujitsu.com \
--cc=Andrew.Cooper3@citrix.com \
--cc=Ian.Campbell@citrix.com \
--cc=Ian.Jackson@eu.citrix.com \
--cc=JBeulich@suse.com \
--cc=Marcus.Granado@eu.citrix.com \
--cc=anil@recoil.org \
--cc=dan.magenheimer@oracle.com \
--cc=dario.faggioli@citrix.com \
--cc=dgdegra@tycho.nsa.gov \
--cc=george.dunlap@eu.citrix.com \
--cc=msw@amazon.com \
--cc=xen-devel@lists.xen.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.