| Message ID | 20160803161325.14933-4-christoffer.dall@linaro.org |
|---|---|
| State | New |
| Headers | show |
On Mon, Aug 08, 2016 at 02:30:38PM +0100, Andre Przywara wrote: > Hi, > > On 03/08/16 17:13, Christoffer Dall wrote: > > There are two problems with the current implementation of the MMIO > > handlers for the propbaser and pendbaser: > > > > First, the write to the value itself is not guaranteed to be an atomic > > 64-bit write so two concurrent writes to the structure field could be > > intermixed. > > > > Second, because we do a read-modify-update operation without any > > synchronization, if we have two 32-bit accesses to separate parts of the > > register, we can loose one of them. > > I am still not 100% convinced that this is necessary, but leave it up to > the judgement of you senior guys. ok, consider this case: reg = 0x55555555 55555555; CPU 0 CPU 1 ----- ----- tmp = reg; tmp = reg; tmp[63:32] = ~0; tmp[31:0] = 0; reg = tmp; reg = tmp; print("reg is %x", reg); /* reg is 0x55555555 00000000 */ which is weird, because I think in hardware you'll get: 0xffffffff 00000000 no matter how you order the two 32-bit updates. That is, unless the architecture tells us that you could observe the above behavior. > > > We can take the KVM mutex to synchronize accesses to these registers. > > > > Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org> > > --- > > virt/kvm/arm/vgic/vgic-mmio-v3.c | 10 ++++++++-- > > 1 file changed, 8 insertions(+), 2 deletions(-) > > > > diff --git a/virt/kvm/arm/vgic/vgic-mmio-v3.c b/virt/kvm/arm/vgic/vgic-mmio-v3.c > > index ff668e0..e38b7a0 100644 > > --- a/virt/kvm/arm/vgic/vgic-mmio-v3.c > > +++ b/virt/kvm/arm/vgic/vgic-mmio-v3.c > > @@ -306,16 +306,19 @@ static void vgic_mmio_write_propbase(struct kvm_vcpu *vcpu, > > { > > struct vgic_dist *dist = &vcpu->kvm->arch.vgic; > > struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu; > > - u64 propbaser = dist->propbaser; > > + u64 propbaser; > > > > /* Storing a value with LPIs already enabled is undefined */ > > if (vgic_cpu->lpis_enabled) > > return; > > > > + mutex_lock(&vcpu->kvm->lock); > > I see that kvm->lock is becoming problematic in the future, since the > userland save/restore path for GICv2 is taking this lock as well. So we > have to come up with something better once we use migration on > GICv3/ITS. I have the gut feeling we need an extra lock for those two > registers. that's why I started with a distributor lock, but you talked my out of it on IRC. I'll just change this patch to introduce the distributor lock. It's ok to have that as long as we don't grab it all over, which we won't. > But this is not an issue for the purpose of this fix in the current code > base. > > Do we need to add the kvm->lock to our locking order documentation? > I'll think about this. > > + propbaser = dist->propbaser; > > propbaser = update_64bit_reg(propbaser, addr & 4, len, val); > > propbaser = vgic_sanitise_propbaser(propbaser); > > > > dist->propbaser = propbaser; > > + mutex_unlock(&vcpu->kvm->lock); > > } > > > > static unsigned long vgic_mmio_read_pendbase(struct kvm_vcpu *vcpu, > > @@ -331,16 +334,19 @@ static void vgic_mmio_write_pendbase(struct kvm_vcpu *vcpu, > > unsigned long val) > > { > > struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu; > > - u64 pendbaser = vgic_cpu->pendbaser; > > + u64 pendbaser; > > > > /* Storing a value with LPIs already enabled is undefined */ > > if (vgic_cpu->lpis_enabled) > > return; > > > > + mutex_lock(&vcpu->kvm->lock); > > + pendbaser = vgic_cpu->pendbaser; > > pendbaser = update_64bit_reg(pendbaser, addr & 4, len, val); > > pendbaser = vgic_sanitise_pendbaser(pendbaser); > > > > vgic_cpu->pendbaser = pendbaser; > > + mutex_unlock(&vcpu->kvm->lock); > > } > > > > /* > > > > I checked all hits of 'git grep "kvm->lock"' (minus > arch/<some_obscure_arch>), and apart from that above mentioned GICv2 > save/restore path couldn't find anything that looks prone to deadlocks > (on the first glance). > Also I enabled some locking checks in .config and am running three SMP > guests with ITS emulation simultaneously at the moment: the kernel > didn't complain so far. > > So this looks like a safe change to me. > > Reviewed-by: Andre Przywara <andre.przywara@arm.com> Thanks for doing that. It should be trivial to verify that this works with a dedicated distributor lock as well though. Thanks, -Christoffer _______________________________________________ linux-arm-kernel mailing list linux-arm-kernel@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-arm-kernel
On Tue, Aug 09, 2016 at 12:30:12PM +0200, Christoffer Dall wrote: > On Mon, Aug 08, 2016 at 02:30:38PM +0100, Andre Przywara wrote: > > Hi, > > > > On 03/08/16 17:13, Christoffer Dall wrote: > > > There are two problems with the current implementation of the MMIO > > > handlers for the propbaser and pendbaser: > > > > > > First, the write to the value itself is not guaranteed to be an atomic > > > 64-bit write so two concurrent writes to the structure field could be > > > intermixed. > > > > > > Second, because we do a read-modify-update operation without any > > > synchronization, if we have two 32-bit accesses to separate parts of the > > > register, we can loose one of them. > > > > I am still not 100% convinced that this is necessary, but leave it up to > > the judgement of you senior guys. > > ok, consider this case: > > reg = 0x55555555 55555555; > > CPU 0 CPU 1 > ----- ----- > tmp = reg; > tmp = reg; > tmp[63:32] = ~0; > tmp[31:0] = 0; > reg = tmp; > reg = tmp; > > print("reg is %x", reg); > /* reg is 0x55555555 00000000 */ > > which is weird, because I think in hardware you'll get: > 0xffffffff 00000000 > > no matter how you order the two 32-bit updates. > > That is, unless the architecture tells us that you could observe the > above behavior. > > > > > > > We can take the KVM mutex to synchronize accesses to these registers. > > > > > > Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org> > > > --- > > > virt/kvm/arm/vgic/vgic-mmio-v3.c | 10 ++++++++-- > > > 1 file changed, 8 insertions(+), 2 deletions(-) > > > > > > diff --git a/virt/kvm/arm/vgic/vgic-mmio-v3.c b/virt/kvm/arm/vgic/vgic-mmio-v3.c > > > index ff668e0..e38b7a0 100644 > > > --- a/virt/kvm/arm/vgic/vgic-mmio-v3.c > > > +++ b/virt/kvm/arm/vgic/vgic-mmio-v3.c > > > @@ -306,16 +306,19 @@ static void vgic_mmio_write_propbase(struct kvm_vcpu *vcpu, > > > { > > > struct vgic_dist *dist = &vcpu->kvm->arch.vgic; > > > struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu; > > > - u64 propbaser = dist->propbaser; > > > + u64 propbaser; > > > > > > /* Storing a value with LPIs already enabled is undefined */ > > > if (vgic_cpu->lpis_enabled) > > > return; > > > > > > + mutex_lock(&vcpu->kvm->lock); > > > > I see that kvm->lock is becoming problematic in the future, since the > > userland save/restore path for GICv2 is taking this lock as well. So we > > have to come up with something better once we use migration on > > GICv3/ITS. I have the gut feeling we need an extra lock for those two > > registers. > > that's why I started with a distributor lock, but you talked my out of > it on IRC. I'll just change this patch to introduce the distributor > lock. It's ok to have that as long as we don't grab it all over, which > we won't. > > > But this is not an issue for the purpose of this fix in the current code > > base. > > > > Do we need to add the kvm->lock to our locking order documentation? > > > > I'll think about this. > So I think Marc had the better intuition here, and by just using a cmpxchg64 we can get around introducing more locks etc. so I took at stab at this. Thanks, -Christoffer _______________________________________________ linux-arm-kernel mailing list linux-arm-kernel@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-arm-kernel
On Tue, Aug 09, 2016 at 12:19:53PM +0100, Andre Przywara wrote: > Hi, > > On 09/08/16 11:30, Christoffer Dall wrote: > > On Mon, Aug 08, 2016 at 02:30:38PM +0100, Andre Przywara wrote: > >> Hi, > >> > >> On 03/08/16 17:13, Christoffer Dall wrote: > >>> There are two problems with the current implementation of the MMIO > >>> handlers for the propbaser and pendbaser: > >>> > >>> First, the write to the value itself is not guaranteed to be an atomic > >>> 64-bit write so two concurrent writes to the structure field could be > >>> intermixed. > >>> > >>> Second, because we do a read-modify-update operation without any > >>> synchronization, if we have two 32-bit accesses to separate parts of the > >>> register, we can loose one of them. > >> > >> I am still not 100% convinced that this is necessary, but leave it up to > >> the judgement of you senior guys. > > > > ok, consider this case: > > > > reg = 0x55555555 55555555; > > > > CPU 0 CPU 1 > > ----- ----- > > tmp = reg; > > tmp = reg; > > tmp[63:32] = ~0; > > tmp[31:0] = 0; > > reg = tmp; > > reg = tmp; > > > > print("reg is %x", reg); > > /* reg is 0x55555555 00000000 */ > > > > which is weird, because I think in hardware you'll get: > > 0xffffffff 00000000 > > > > no matter how you order the two 32-bit updates. > > > > That is, unless the architecture tells us that you could observe the > > above behavior. > > OK, I can see that this case is indeed broken. I was just wondering how > much software can expect if it allows unsynchronized accesses from > different CPUs to such a 64-bit register - even if it is for separate > halves of that register. I'd expect (guest) software to take a lock if > it can't atomically update prop/pendbaser and there are other agents > possibly chiming in. > And I hope we sanitize them enough now to avoid any bad things to happen > in the kernel ;-) > I don't think it's 100% unreasonable to potentially imagine independent updates of parts of the register when the spec explicitly says this is allowed. I agree, that it would be a curious guest (and I raised this point once already), but I think relying on this is a terrible approach to emulating hardware and without any comment or anything in the kernel saying 'this is safe and reasonable because of so and so' it just looks too dodgy for me to live with. -Christoffer _______________________________________________ linux-arm-kernel mailing list linux-arm-kernel@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-arm-kernel
diff --git a/virt/kvm/arm/vgic/vgic-mmio-v3.c b/virt/kvm/arm/vgic/vgic-mmio-v3.c index ff668e0..e38b7a0 100644 --- a/virt/kvm/arm/vgic/vgic-mmio-v3.c +++ b/virt/kvm/arm/vgic/vgic-mmio-v3.c @@ -306,16 +306,19 @@ static void vgic_mmio_write_propbase(struct kvm_vcpu *vcpu, { struct vgic_dist *dist = &vcpu->kvm->arch.vgic; struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu; - u64 propbaser = dist->propbaser; + u64 propbaser; /* Storing a value with LPIs already enabled is undefined */ if (vgic_cpu->lpis_enabled) return; + mutex_lock(&vcpu->kvm->lock); + propbaser = dist->propbaser; propbaser = update_64bit_reg(propbaser, addr & 4, len, val); propbaser = vgic_sanitise_propbaser(propbaser); dist->propbaser = propbaser; + mutex_unlock(&vcpu->kvm->lock); } static unsigned long vgic_mmio_read_pendbase(struct kvm_vcpu *vcpu, @@ -331,16 +334,19 @@ static void vgic_mmio_write_pendbase(struct kvm_vcpu *vcpu, unsigned long val) { struct vgic_cpu *vgic_cpu = &vcpu->arch.vgic_cpu; - u64 pendbaser = vgic_cpu->pendbaser; + u64 pendbaser; /* Storing a value with LPIs already enabled is undefined */ if (vgic_cpu->lpis_enabled) return; + mutex_lock(&vcpu->kvm->lock); + pendbaser = vgic_cpu->pendbaser; pendbaser = update_64bit_reg(pendbaser, addr & 4, len, val); pendbaser = vgic_sanitise_pendbaser(pendbaser); vgic_cpu->pendbaser = pendbaser; + mutex_unlock(&vcpu->kvm->lock); } /*
There are two problems with the current implementation of the MMIO handlers for the propbaser and pendbaser: First, the write to the value itself is not guaranteed to be an atomic 64-bit write so two concurrent writes to the structure field could be intermixed. Second, because we do a read-modify-update operation without any synchronization, if we have two 32-bit accesses to separate parts of the register, we can loose one of them. We can take the KVM mutex to synchronize accesses to these registers. Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org> --- virt/kvm/arm/vgic/vgic-mmio-v3.c | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) -- 2.9.0 _______________________________________________ linux-arm-kernel mailing list linux-arm-kernel@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-arm-kernel