Re: [Xen-devel] [PATCH v1 1/3] xen:rtds: towards work conserving RTDS

On Tue, Aug 8, 2017 at 3:52 PM, Dario Faggioli wrote: > On Tue, 2017-08-08 at 12:06 -0700, Meng Xu wrote: >> On Tue, Aug 8, 2017 at 10:57 AM, Dario Faggioli >> wrote: >> > On Sun, 2017-08-06 at 12:22 -0400, Meng Xu wrote: >> > > >> > > diff

Re: [Xen-devel] [PATCH v1 1/3] xen:rtds: towards work conserving RTDS

On Tue, 2017-08-08 at 12:06 -0700, Meng Xu wrote: > On Tue, Aug 8, 2017 at 10:57 AM, Dario Faggioli > wrote: > > On Sun, 2017-08-06 at 12:22 -0400, Meng Xu wrote: > > > > > > diff --git a/xen/include/public/domctl.h > > > b/xen/include/public/domctl.h > > > index

Re: [Xen-devel] [PATCH v1 1/3] xen:rtds: towards work conserving RTDS

On Tue, Aug 8, 2017 at 10:57 AM, Dario Faggioli wrote: > On Sun, 2017-08-06 at 12:22 -0400, Meng Xu wrote: >> Make RTDS scheduler work conserving without breaking the real-time >> guarantees. >> >> VCPU model: >> Each real-time VCPU is extended to have an extratime flag

Re: [Xen-devel] [PATCH v1 1/3] xen:rtds: towards work conserving RTDS

On Sun, 2017-08-06 at 12:22 -0400, Meng Xu wrote: > Make RTDS scheduler work conserving without breaking the real-time > guarantees. > > VCPU model: > Each real-time VCPU is extended to have an extratime flag > and a priority_level field. > When a VCPU's budget is depleted in the current period,