While working on my core scheduling series I stumbled over the periodic timer. Could it be this timer never worked correctly?
When the vcpu with an active periodic timer is running everything seems to be fine. But when not running the timer is stopped in schedule(). So a vcpu going to idle relying to be woken up by the periodic timer will remain sleeping until another event is happening. The periodic timer won't fire as it is stopped. The periodic timer is used via VCPUOP_set_periodic_timer only, and today's Linux kernel isn't using it at all. So I guess this timer not really working as it should is no big issue. I just wanted to mention that fact, maybe someone is keen repairing this issue. Juergen _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel