From mboxrd@z Thu Jan 1 00:00:00 1970 From: Dario Faggioli Subject: Re: [PATCH 0/3] VMX: Properly handle pi descriptor and per-cpu blocking list Date: Sat, 25 Jun 2016 01:43:52 +0200 Message-ID: <1466811832.18398.111.camel@citrix.com> References: <1463734431-22353-1-git-send-email-feng.wu@intel.com> <573F02B102000078000ED304@prv-mh.provo.novell.com> <5742D6BB02000078000EDA57@prv-mh.provo.novell.com> <5742E0BE02000078000EDABD@prv-mh.provo.novell.com> <1464007152.21930.55.camel@citrix.com> <1464098547.21930.107.camel@citrix.com> <1466694703.18398.69.camel@citrix.com> <1466752952.18398.81.camel@citrix.com> <1466764062.18398.93.camel@citrix.com> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============7973270372433937718==" Return-path: In-Reply-To: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: "Wu, Feng" , Jan Beulich Cc: "george.dunlap@eu.citrix.com" , "andrew.cooper3@citrix.com" , "Tian, Kevin" , "keir@xen.org" , "xen-devel@lists.xen.org" List-Id: xen-devel@lists.xenproject.org --===============7973270372433937718== Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="=-bvEPtT8+Ik/5d0dQ+Nw4" --=-bvEPtT8+Ik/5d0dQ+Nw4 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Fri, 2016-06-24 at 13:25 +0000, Wu, Feng wrote: > >=C2=A0 > > Then, in this case, the reason why we are sure that all the pcpus > > are > > executing the body of the tasklet, is indeed the structure of > > stop_machine_run() and stopmachine_action() themselves, which are > > built > > to make sure of that, > Thanks for the reply, I am sorry I don't quite understand the above > comment. In my understanding, the tasklet has higher priority, so > stopmachine_action() as the body of the tasklet preempts vCPU3. > Is this the case? >=20 It is the case. What I was trying to say is that, even if tasklets would not have higher priority than regular vCPUs (as soon as there would be a mechanism that ensures that tasklets themselves were run and not starve), things would still work. It's not that important, it's just that it seemed you wanted to summarize in order to better understand the situation, and I thought it was important to make you notice this. Just that. :-) Regards, Dario --=20 <> (Raistlin Majere) ----------------------------------------------------------------- Dario Faggioli, Ph.D, http://about.me/dario.faggioli Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK) --=-bvEPtT8+Ik/5d0dQ+Nw4 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAABCAAGBQJXbcW5AAoJEBZCeImluHPuktYP/innCEEUq/8NZuCMIjnJsbqy quq7thsXU0ZKni5o1opFOIciZAUjkYeAKZSigIXi2hp0RU7D4wHxDpTfjKcIiGrn Htx/Yfsjiso1g588m0goUvi2z6qBBjIiw6FHPvfwWU1LL3y/RdoJEMgW/O0j6dpQ s2dhKS6s+yypYmo/+ukWldNy619lD2OTwsTb42xHlSNq4wWY5Ssyn5xWgzHbY1JD WVU14nSxcE6VLQ9DwxDQ7KxPxfzLZjm1WuTm38MaJukTpeboxmNPLakPjd90yRZn onvBsjpDsfpiYi+RnjTAn0Odip5ToHci7eL7yBr21ZD6/YwjKkuoO9McJEIiMQSl 5CjPm0UXE+E3KYuRtOMdt6An/DiXn+b9OXNkzpRXb1xkRWCbOIICzepE1lCH+kEn fnC9TEG0SQFuLbgFWhsESKlBKBeNi6RzVlXbm4Cmqm6xsgYti4lOk+FYQD6Tn2YM VhwlutaKwvN6KDBW3m+ihWKFPg+jg4lvWGCe1EznDu0nsQp8YEjqMM/37CRRLODk GUHwzUpjt2o5LqTB3gDy/04w+vj6OoRS/gTOWvY2I/TVAs+fAXGs9Q5AvWVbNEs0 CfvB9NL/IOKwy2WtRFI2lCmLloSDEf+MJzaCRDuh+/EKQu1rovNHoUtLlaOHiJfM I+VKV2THcoNn7kEfxTcB =FNWg -----END PGP SIGNATURE----- --=-bvEPtT8+Ik/5d0dQ+Nw4-- --===============7973270372433937718== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KWGVuLWRldmVs IG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVuLm9yZwpodHRwOi8vbGlzdHMueGVuLm9y Zy94ZW4tZGV2ZWwK --===============7973270372433937718==--