[Xen-devel] bad interaction between boosted idle vcpus and csched's tickling?

["Jan Beulich" <JBeulich@xxxxxxxxxx>]

Keir,

isn't there a problem after the change to handle tasklets in idle vcpus
in that {default,acpi_processor}_idle() will put the vcpu to sleep with
boosted priority still in place, hence preventing it from being tickled
and/or needlessly tickling other CPUs?

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel