On Tue, Oct 25, 2016 at 11:20:51AM +0200, Dario Faggioli wrote:
> On Fri, 2016-10-21 at 22:12 -0400, Meng Xu wrote:
> > We should clear the __RTDS_depleted bit once a VCPU budget is
> > replenished.
> > Because repl_timer_handler may be called after rt_schedule
> > but before rt_context_saved, the
On Tue, Oct 25, 2016 at 5:20 AM, Dario Faggioli
wrote:
> On Fri, 2016-10-21 at 22:12 -0400, Meng Xu wrote:
>> We should clear the __RTDS_depleted bit once a VCPU budget is
>> replenished.
>> Because repl_timer_handler may be called after rt_schedule
>> but before rt_context_saved, the VCPU may be
On Fri, 2016-10-21 at 22:12 -0400, Meng Xu wrote:
> We should clear the __RTDS_depleted bit once a VCPU budget is
> replenished.
> Because repl_timer_handler may be called after rt_schedule
> but before rt_context_saved, the VCPU may be not on CPU or on queue
> when the VCPU is the middle of contex
We should clear the __RTDS_depleted bit once a VCPU budget is replenished.
Because repl_timer_handler may be called after rt_schedule
but before rt_context_saved, the VCPU may be not on CPU or on queue
when the VCPU is the middle of context switch
Signed-off-by: Meng Xu
---
Cc: Dario Faggioli
Cc
