Hi everyone,
Version 2, with only patch 1 changed to follow Andrew's suggestion of directly
moving the cpupool_*_domain() functions into the sched_*_domain() functions.
That required changing the signature of sched_init_domain(), but I think the
final state of the code is indeed more robust.
Thanks and Regards,
Dario
---
Dario Faggioli (2):
xen: fix a (latent) cpupool-related race during domain destroy
xen: cpupool: small optimization when moving between pools
xen/common/cpupool.c | 3 +++
xen/common/domain.c | 7 +------
xen/common/schedule.c | 13 ++++++++++++-
xen/include/xen/sched.h | 2 +-
4 files changed, 17 insertions(+), 8 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)
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
