[Xen-devel] [for-4.7] xen/arm: Force broadcast of TLB and instruction cache maintenance instructions

2016-04-18 Thread Julien Grall
UP guest usually uses TLB instruction to flush only on the local CPU. The TLB flush won't be broadcasted across all the CPUs within the same innershareable domain. When the vCPU is migrated between different CPUs, it may be rescheduled to a previous CPU where the TLB has not been flushed. The TLB

Re: [Xen-devel] [for-4.7] xen/arm: Force broadcast of TLB and instruction cache maintenance instructions

2016-04-25 Thread Stefano Stabellini
On Mon, 18 Apr 2016, Julien Grall wrote: > UP guest usually uses TLB instruction to flush only on the local CPU. The > TLB flush won't be broadcasted across all the CPUs within the same > innershareable domain. > > When the vCPU is migrated between different CPUs, it may be rescheduled > to a prev

Re: [Xen-devel] [for-4.7] xen/arm: Force broadcast of TLB and instruction cache maintenance instructions

2016-04-25 Thread Julien Grall
(CC Steve and Andre) Hi Stefano, On 25/04/16 11:45, Stefano Stabellini wrote: On Mon, 18 Apr 2016, Julien Grall wrote: UP guest usually uses TLB instruction to flush only on the local CPU. The TLB flush won't be broadcasted across all the CPUs within the same innershareable domain. When the v

Re: [Xen-devel] [for-4.7] xen/arm: Force broadcast of TLB and instruction cache maintenance instructions

2016-04-25 Thread Konrad Rzeszutek Wilk
On Mon, Apr 18, 2016 at 10:29:51AM +0100, Julien Grall wrote: > UP guest usually uses TLB instruction to flush only on the local CPU. The > TLB flush won't be broadcasted across all the CPUs within the same > innershareable domain. > > When the vCPU is migrated between different CPUs, it may be re

Re: [Xen-devel] [for-4.7] xen/arm: Force broadcast of TLB and instruction cache maintenance instructions

2016-04-26 Thread Julien Grall
Hi Konrad, On 25/04/2016 19:22, Konrad Rzeszutek Wilk wrote: On Mon, Apr 18, 2016 at 10:29:51AM +0100, Julien Grall wrote: UP guest usually uses TLB instruction to flush only on the local CPU. The TLB flush won't be broadcasted across all the CPUs within the same innershareable domain. When th

Re: [Xen-devel] [for-4.7] xen/arm: Force broadcast of TLB and instruction cache maintenance instructions

2016-04-26 Thread Stefano Stabellini
On Mon, 25 Apr 2016, Julien Grall wrote: > (CC Steve and Andre) > > Hi Stefano, > > On 25/04/16 11:45, Stefano Stabellini wrote: > > On Mon, 18 Apr 2016, Julien Grall wrote: > > > UP guest usually uses TLB instruction to flush only on the local CPU. The > > > TLB flush won't be broadcasted across

Re: [Xen-devel] [for-4.7] xen/arm: Force broadcast of TLB and instruction cache maintenance instructions

2016-04-27 Thread Julien Grall
Hi Stefano, On 26/04/2016 10:45, Stefano Stabellini wrote: On Mon, 25 Apr 2016, Julien Grall wrote: On 25/04/16 11:45, Stefano Stabellini wrote: On Mon, 18 Apr 2016, Julien Grall wrote: UP guest usually uses TLB instruction to flush only on the local CPU. The TLB flush won't be broadcasted ac