On 10/30/2015 12:59 AM, Dario Faggioli wrote:
On Fri, 2015-10-30 at 00:04 +0100, Dario Faggioli wrote:
schedule_cpu_switch() is meant to be only used for moving
pCPUs from a cpupool to no cpupool, and from there back
to a cpupool, *not* to move them directly from one cpupool
to another.
This is something that is reflected in the way it is
implemented, and should be kept in mind when looking at
it. However, that is not that clear, by just the look of
it.
Make it more evident by:
- adding commentary and ASSERT()s;
- update the cpupool per-CPU variable (mapping pCPUs to
pools) directly in schedule_cpu_switch(), rather than
in various places in cpupool.c.
Signed-off-by: Dario Faggioli <dario.faggi...@citrix.com>
Acked-by: Juergen Gross <jgr...@suse.com>
BTW, Juergen, I had the whole series tested with the script below, for
a few hourse, as per your suggestion to help confirming that this patch
is actually correct, as it seems by just looking at the code.
Since everything was fine, I added your Ack, as you said I could.
Great. Thanks for doing this!
BTW: I especially like that you removed cpu 0 from Pool-0!
Juergen
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
