From mboxrd@z Thu Jan 1 00:00:00 1970 From: Dario Faggioli Subject: Re: [PATCH v3 1/5] xen:rtds: towards work conserving RTDS Date: Wed, 11 Oct 2017 12:49:03 +0200 Message-ID: <1507718943.19120.14.camel@linux.it> References: <1507677465-3840-1-git-send-email-mengxu@cis.upenn.edu> <1507677465-3840-2-git-send-email-mengxu@cis.upenn.edu> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============6477148109394602225==" Return-path: Received: from mail6.bemta6.messagelabs.com ([193.109.254.103]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e2EZX-0001gs-WC for xen-devel@lists.xenproject.org; Wed, 11 Oct 2017 10:49:08 +0000 Received: by mail-wm0-f66.google.com with SMTP id i124so3599643wmf.3 for ; Wed, 11 Oct 2017 03:49:06 -0700 (PDT) In-Reply-To: <1507677465-3840-2-git-send-email-mengxu@cis.upenn.edu> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: Meng Xu , xen-devel@lists.xenproject.org Cc: george.dunlap@eu.citrix.com, ian.jackson@eu.citrix.com, xumengpanda@gmail.com, wei.liu2@citrix.com List-Id: xen-devel@lists.xenproject.org --===============6477148109394602225== Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="=-NjCQPWJjO8q6fJSz2V+k" --=-NjCQPWJjO8q6fJSz2V+k Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Tue, 2017-10-10 at 19:17 -0400, Meng Xu wrote: > Make RTDS scheduler work conserving without breaking the real-time > guarantees. >=20 > 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, > if it has extratime flag set, > its priority_level will increase by 1 and its budget will be > refilled; > othewrise, the VCPU will be moved to the depletedq. >=20 > Scheduling policy is modified global EDF: > A VCPU v1 has higher priority than another VCPU v2 if > (i) v1 has smaller priority_leve; or > (ii) v1 has the same priority_level but has a smaller deadline >=20 > Queue management: > Run queue holds VCPUs with extratime flag set and VCPUs with > remaining budget. Run queue is sorted in increasing order of VCPUs > priorities. > Depleted queue holds VCPUs which have extratime flag cleared and > depleted budget. > Replenished queue is not modified. >=20 > Distribution of spare bandwidth > Spare bandwidth is distributed among all VCPUs with extratime flag > set, > proportional to these VCPUs utilizations >=20 > Signed-off-by: Meng Xu >=20 Reviewed-by: Dario Faggioli Regards, Dario --=20 <> (Raistlin Majere) ----------------------------------------------------------------- Dario Faggioli, Ph.D, http://about.me/dario.faggioli --=-NjCQPWJjO8q6fJSz2V+k Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEES5ssOj3Vhr0WPnOLFkJ4iaW4c+4FAlnd9x8ACgkQFkJ4iaW4 c+6S5RAA1XSFVve3h+l6OH0Wckav6ZVs1puMcNxs6/64rYoYNHwnp++MjuES0WrG WXbTgyPHtJT2eKlIsYKrozcwjSHlrOhzDHxEwH+vEB33Aa90p+3k3ZliwhWA4zVr tomxS0WUS98Pmszx4OOKGpsMDjWNUtqxC/RhZaRgMHw2Z6cwDfkE9XgdRWH7A1T2 u5rnYWFSzHV3JnuJcXO2d/3NV0ulS+XCn9jI7VvxlDK7ybFnrPH8bYdukQrAKRny epLHWBicb14Ql1+Nzyb2ZMilrWNTwDJnpNfjNYYgU1zuY7oSQ15XkjKQIMWDORnj 9vUIKXj48Vh0D2fTUphlVaYYQ2A6wQtCUUzKCi/rdrbQXWxIk//YTqUvWyfAmYYg Jiqs4+4VslZEfvQ+D1yaIm39a6us2PqrBZjW6gHxZb7EjGBZohdg7HiP1YddrEAc dVCAV9q6F+r7MkPf8+AZp2O7NvHQGvzPSA1PqpvMOHuzfeRAo0Y6HH0npNc/bycT j0Ji5BtkvpcdV01Ke14S5LS65LDV0Ibnz72ujiCyHl9UPqXvN0oyYFcuzggNHfcf fsqnYztQXGSROwDJP9cVn7Q6+xh0kF0PEdCQd3ys8g49go/OaTqthFclR6KO9fYJ lssDC8OMfd9XzYesjrPXuLaaoTPO2BlezoALN6eecJb10pA/6uY= =V8r4 -----END PGP SIGNATURE----- --=-NjCQPWJjO8q6fJSz2V+k-- --===============6477148109394602225== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KWGVuLWRldmVs IG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVuLm9yZwpodHRwczovL2xpc3RzLnhlbi5v cmcveGVuLWRldmVsCg== --===============6477148109394602225==--