[PATCH v3 0/6] xen: sched: fix locking of {insert, remove}_vcpu()

[Dario Faggioli <dario.faggioli@citrix.com>]

Hi,

Take 3 of this series, improving how inserting vCPUs in schedulers runqueues is
done, including fixing a couple of bugs, and paving the way for more
improvement in Credit2 runqueue handling (will be submitted as a separate
series).

v2 is here:
http://lists.xen.org/archives/html/xen-devel/2015-10/msg01605.html

v1 was here:
http://lists.xen.org/archives/html/xen-devel/2015-10/msg00974.html

In this iteration, wrt v2, only patches 2, 3 and 4 really changed, to cope with
review comments and sligthly changing my own mind about where to do things
(nothing too big, anyways).

Patch 1 and 2 are actual bugfix and, IMO, are candidate of being backported (I
kept that in mind when wroting them and when deciding how to structure the
series). However, let's see after this get committed (I'll rise the topic
myself with stable maintainers).

There is a git branch with the series applied here:

 git://xenbits.xen.org/people/dariof/xen.git  rel/sched/fix-vcpu-ins-rem-v2

Thanks and Regards,
Dario
---
Dario Faggioli (6):
      xen: sched: fix locking of remove_vcpu() in credit1
      xen: sched: fix locking for insert_vcpu() in credit1 and RTDS
      xen: sched: clarify use cases of schedule_cpu_switch()
      xen: sched: better handle (not) inserting idle vCPUs in runqueues
      xen: sched: get rid of the per domain vCPU list in RTDS
      xen: sched: get rid of the per domain vCPU list in Credit2

 xen/common/cpupool.c       |    7 -----
 xen/common/sched_credit.c  |   17 ++++++++++--
 xen/common/sched_credit2.c |   55 ++++++++++++++--------------------------
 xen/common/sched_rt.c      |   61 ++++++++++++++++++++++----------------------
 xen/common/schedule.c      |   57 +++++++++++++++++++++++++++++++----------
 5 files changed, 106 insertions(+), 91 deletions(-)
--
<<This happens because I choose it to happen!>> (Raistlin Majere)
-----------------------------------------------------------------
Dario Faggioli, Ph.D, http://about.me/dario.faggioli
Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)