| Message ID | 20230718091310.119672-2-mlevitsk@redhat.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
| Series | Fix 'Spurious APIC interrupt (vector 0xFF) on CPU#n' issue | expand |
On 7/18/23 11:13, Maxim Levitsky wrote: > + irr_val = READ_ONCE(*((u32 *)(regs + APIC_IRR + i * 0x10))); Let's separate out the complicated arithmetic, as it recurs below too: u32 *p_irr = (u32 *)(regs + APIC_IRR + i * 0x10); > + while (!try_cmpxchg(((u32 *)(regs + APIC_IRR + i * 0x10)), > + &irr_val, irr_val | pir_val)); > + > prev_irr_val = irr_val; > - irr_val |= xchg(&pir[i], 0); > - *((u32 *)(regs + APIC_IRR + i * 0x10)) = irr_val; > - if (prev_irr_val != irr_val) { > - max_updated_irr = > - __fls(irr_val ^ prev_irr_val) + vec; > - } > + irr_val |= pir_val; > + > + if (prev_irr_val != irr_val) > + max_updated_irr = __fls(irr_val ^ prev_irr_val) + vec; We can write this a bit more cleanly too, and avoid unnecessary try_cmpxchg too: prev_irr_val = irr_val; do irr_val = prev_irr_val | pir_val; while (prev_irr_val != irr_val && !try_cmpxchg(p_irr, &prev_irr_val, irr_val)); if (prev_irr_val != irr_val) max_updated_irr = __fls(irr_val ^ prev_irr_val) + vec; If this looks okay to you, I'll queue the patches for -rc3 and also Cc them for inclusion in stable kernels. Paolo
У вт, 2023-07-18 у 13:41 +0200, Paolo Bonzini пише: > On 7/18/23 11:13, Maxim Levitsky wrote: > > + irr_val = READ_ONCE(*((u32 *)(regs + APIC_IRR + i * 0x10))); > > Let's separate out the complicated arithmetic, as it recurs below too: > > u32 *p_irr = (u32 *)(regs + APIC_IRR + i * 0x10); No objections at all for this change, I wanted to have a minimal patch. > > > + while (!try_cmpxchg(((u32 *)(regs + APIC_IRR + i * 0x10)), > > + &irr_val, irr_val | pir_val)); > > + > > prev_irr_val = irr_val; > > - irr_val |= xchg(&pir[i], 0); > > - *((u32 *)(regs + APIC_IRR + i * 0x10)) = irr_val; > > - if (prev_irr_val != irr_val) { > > - max_updated_irr = > > - __fls(irr_val ^ prev_irr_val) + vec; > > - } > > + irr_val |= pir_val; > > + > > + if (prev_irr_val != irr_val) > > + max_updated_irr = __fls(irr_val ^ prev_irr_val) + vec; > > We can write this a bit more cleanly too, and avoid unnecessary To be honest as far as I see, no matter what to do with this function, it is still a bit complicated IMHO: The root cause of the complexity in this function is that it does two things at the same time - copies both the new bits to IRR and also counts the max_irr. It would be so much cleaner to first copy new bits from PIR to irr (and that can be done with 'lock or' or even by setting each bit with atomic bit set (in this way the setting of the bits will be pretty much the same as what other users of IRR do (set bit atomically + set irr_pending). And then let the common code count the max_irr. I doubt this will affect performance in any way, but I don't have a good way to measure it, so I won't be arguing about it. On the other hand, I am thinking now that maybe I should make the cmpxchg conditional on apicv beeing inhibited, as otherwise it works for nothing and actually might affect performance. This though might in theory cause a race if a sender incorrectly thinks that this's vCPU APICv is inhibited or not. It probalby doesn't matter as the only reason for APICv to be inhibited is that AutoEOI thing which should happen just once when the guest boots. I also have another idea - I can make the IPI senders still set bits in the PIR even if APICv is inhibited, then there is no race to worry about although then the bits will always have to be copied from PIR to IRR (but then again APICv inhibition is rare). > try_cmpxchg too: > > prev_irr_val = irr_val; > do > irr_val = prev_irr_val | pir_val; > while (prev_irr_val != irr_val && > !try_cmpxchg(p_irr, &prev_irr_val, irr_val)); > > if (prev_irr_val != irr_val) > max_updated_irr = __fls(irr_val ^ prev_irr_val) + vec; > > If this looks okay to you, I'll queue the patches for -rc3 and also Cc > them for inclusion in stable kernels. No objections for this change as well. Best regards, Maxim Levitsky > > Paolo >
diff --git a/arch/x86/kvm/lapic.c b/arch/x86/kvm/lapic.c index e542cf285b5184..b3f57e0f0d64ae 100644 --- a/arch/x86/kvm/lapic.c +++ b/arch/x86/kvm/lapic.c @@ -627,15 +627,19 @@ bool __kvm_apic_update_irr(u32 *pir, void *regs, int *max_irr) for (i = vec = 0; i <= 7; i++, vec += 32) { pir_val = READ_ONCE(pir[i]); - irr_val = *((u32 *)(regs + APIC_IRR + i * 0x10)); + irr_val = READ_ONCE(*((u32 *)(regs + APIC_IRR + i * 0x10))); + if (pir_val) { + pir_val = xchg(&pir[i], 0); + + while (!try_cmpxchg(((u32 *)(regs + APIC_IRR + i * 0x10)), + &irr_val, irr_val | pir_val)); + prev_irr_val = irr_val; - irr_val |= xchg(&pir[i], 0); - *((u32 *)(regs + APIC_IRR + i * 0x10)) = irr_val; - if (prev_irr_val != irr_val) { - max_updated_irr = - __fls(irr_val ^ prev_irr_val) + vec; - } + irr_val |= pir_val; + + if (prev_irr_val != irr_val) + max_updated_irr = __fls(irr_val ^ prev_irr_val) + vec; } if (irr_val) *max_irr = __fls(irr_val) + vec;
If APICv is inhibited, then IPIs from peer vCPUs are done by atomically setting bits in IRR. This means, that when __kvm_apic_update_irr copies PIR to IRR, it has to modify IRR atomically as well. Signed-off-by: Maxim Levitsky <mlevitsk@redhat.com> --- arch/x86/kvm/lapic.c | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-)