On Fri, Oct 21, 2016 at 1:36 PM, Dario Faggioli
wrote:
>
> On Wed, 2016-10-19 at 11:13 -0400, Meng Xu wrote:
> > The bug is introduced in Xen 4.7 when we converted RTDS scheduler
> > from quantum-driven model to event-driven model.
> > We assumed rt_schedule() is always called for a VCPU
> > befor
On Wed, 2016-10-19 at 11:13 -0400, Meng Xu wrote:
> The bug is introduced in Xen 4.7 when we converted RTDS scheduler
> from quantum-driven model to event-driven model.
> We assumed rt_schedule() is always called for a VCPU
> before the VCPUs budget replenished handler.
>
No, we didn't.
Or at leas
On Wed, Oct 19, 2016 at 11:13:54AM -0400, Meng Xu wrote:
> The bug is introduced in Xen 4.7 when we converted RTDS scheduler
> from quantum-driven model to event-driven model.
> We assumed rt_schedule() is always called for a VCPU
> before the VCPUs budget replenished handler.
> This assumption doe
[cc. Tianyang...]
On Wed, Oct 19, 2016 at 11:45 AM, Wei Liu wrote:
> On Wed, Oct 19, 2016 at 11:13:54AM -0400, Meng Xu wrote:
>> The bug is introduced in Xen 4.7 when we converted RTDS scheduler
>> from quantum-driven model to event-driven model.
>> We assumed rt_schedule() is always called for a
On Wed, Oct 19, 2016 at 11:13 AM, Meng Xu wrote:
> The bug is introduced in Xen 4.7 when we converted RTDS scheduler
> from quantum-driven model to event-driven model.
> We assumed rt_schedule() is always called for a VCPU
> before the VCPUs budget replenished handler.
> This assumption does not h
