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)
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
