On Thu, Oct 27, 2016 at 10:54:23AM +0200, Dario Faggioli wrote:
> On Wed, 2016-10-26 at 15:06 -0400, Meng Xu wrote:
> > Fix:
> > We keeps last_start always within the current period for a VCPU, so
> > that
> > we only deduct the time spent in the current period from the VCPU
> > budget.
> > We alwa
On Wed, 2016-10-26 at 15:06 -0400, Meng Xu wrote:
> Fix:
> We keeps last_start always within the current period for a VCPU, so
> that
> we only deduct the time spent in the current period from the VCPU
> budget.
> We always update last_start whenever we update cur_deadline for a
> VCPU.
>
> Signed
Bug scenario:
repl_timer_handler() may be called before rt_schedule() for a VCPU.
This situation may happen in two scenarios:
(1) The VCPU misses deadline due to the system is oversubscribed. For example,
the sum of VCPUs utilization on a core is larger than one.
(2) The VCPU has budget = perio
