Re: Possible bug on ARM with irq passthrough

[Dario Faggioli <dario.faggioli@citrix.com>]

[-- Attachment #1.1: Type: text/plain, Size: 958 bytes --]

On Wed, 2017-07-05 at 13:55 +0100, Julien Grall wrote:
> 
> If you got a message in the former, but not the latter. Then you hit
> the 
> bug described in my previous e-mail.
> 
> This would happen if some of the pCPUs are idle states (using wfi).r.
> The main difference between credit1 and credit2 (I am not sure for
> RTDS) 
> is there are IPI traffic with credit1 on idle pCPU because of the
> ticker.
> 
Exactly,

It's a bug in RCU, which happens to be exposed (or, at least, it turns
out to be this severe) only by certain schedulers, and only on ARM.

I think it makes sense that this is visible with RTDS as well, because
it also does not have a periodic timer.

Dario
-- 
<<This happens because I choose it to happen!>> (Raistlin Majere)
-----------------------------------------------------------------
Dario Faggioli, Ph.D, http://about.me/dario.faggioli
Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)

[-- Attachment #1.2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 819 bytes --]

[-- Attachment #2: Type: text/plain, Size: 127 bytes --]

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel