From: Paolo Bonzini <pbonzini@redhat.com>
To: Igor Mammedov <imammedo@redhat.com>, qemu-devel@nongnu.org
Cc: peterx@redhat.com, mst@redhat.com, mtosatti@redhat.com,
kraxel@redhat.com, peter.maydell@linaro.org
Subject: Re: [PATCH v2 6/6] kvm: i386: irqchip: take BQL only if there is an interrupt
Date: Fri, 1 Aug 2025 12:26:26 +0200 [thread overview]
Message-ID: <8edc80d5-49a0-4e4d-82c4-e4a18eb78304@redhat.com> (raw)
In-Reply-To: <20250730123934.1787379-7-imammedo@redhat.com>
The patch is not wrong but complicates things more than it should.
Also, as we do more of these tricks it may be worth adding wrapper APIs
for interrupt_request access, but that needs to be done tree-wide so you
can do it separately.
On 7/30/25 14:39, Igor Mammedov wrote:
> if (cpu->interrupt_request & (CPU_INTERRUPT_INIT | CPU_INTERRUPT_TPR)) {
> + if (!kvm_pic_in_kernel()) {
> + bql_lock();
> + release_bql = true;
> + }
This bql_lock() is not needed, all the writes in the "if" are local to
the current CPU.
When the outer bql_lock() was added, cpu_interrupt() was not thread-safe
at all, and taking the lock was needed in order to read
cpu->interrupt_request. But now it is ok to read outside the lock,
which you can use to simplify this patch a lot.
> if ((cpu->interrupt_request & CPU_INTERRUPT_INIT) &&
> !(env->hflags & HF_SMM_MASK)) {
> cpu->exit_request = 1;
A patch that changes all these accesses to
qatomic_set(&cpu->exit_request, 1), tree-wide, would be nice.
> + if (cpu->interrupt_request & CPU_INTERRUPT_HARD) {
This should be qatomic_read(&cpu->interrupt_request). Not a blocker for
now, but this is where I would suggest adding a wrapper like
cpu_test_interrupt(cpu, CPU_INTERRUPT_HARD).
> + if (!release_bql) {
> + bql_lock();
> + release_bql = true;
> + }
With the above simplification, this can be done unconditionally.
> + /* Try to inject an interrupt if the guest can accept it */
> + if (run->ready_for_interrupt_injection &&
> + (cpu->interrupt_request & CPU_INTERRUPT_HARD) &&
> + (env->eflags & IF_MASK)) {
> + int irq;
> +
> + cpu->interrupt_request &= ~CPU_INTERRUPT_HARD;
Reads and writes to cpu->interrupt_request still take the BQL, which is
consistent with include/hw/core/cpu.h, so yeah here the bql_lock() is
needed.
Like above, writing it's a data race with readers outside the BQL, so
qatomic_read()/qatomic_set() would be needed to respect the C standard.
Even better could be to add a function cpu_reset_interrupt_locked() that
does
assert(bql_locked());
qatomic_set(&cpu->interrupt_request, cpu->interrupt_request & ~mask);
But neither of these wrappers (which should be applied tree-wide) are an
absolute necessity for this series.
> @@ -5531,7 +5540,14 @@ void kvm_arch_pre_run(CPUState *cpu, struct kvm_run *run)
>
> DPRINTF("setting tpr\n");
> run->cr8 = cpu_get_apic_tpr(x86_cpu->apic_state);
> + /*
> + * make sure that request_interrupt_window/cr8 are set
> + * before KVM_RUN might read them
> + */
> + smp_mb();
This is not needed, ->cr8 is only read for the same CPU (in
kvm_arch_vcpu_ioctl_run).
> + }
>
> + if (release_bql) {
> bql_unlock();
> }
And since release_bql is not needed anymore, the bql_unlock() can be
left where it was.
Paolo
> }
next prev parent reply other threads:[~2025-08-01 10:29 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-07-30 12:39 [PATCH v2 0/6] Reinvent BQL-free PIO/MMIO Igor Mammedov
2025-07-30 12:39 ` [PATCH v2 1/6] memory: reintroduce BQL-free fine-grained PIO/MMIO Igor Mammedov
2025-07-30 21:47 ` Peter Xu
2025-07-31 8:15 ` Igor Mammedov
2025-08-01 12:42 ` Igor Mammedov
2025-08-01 13:19 ` Peter Xu
2025-07-30 12:39 ` [PATCH v2 2/6] acpi: mark PMTIMER as unlocked Igor Mammedov
2025-07-30 12:39 ` [PATCH v2 3/6] hpet: switch to fain-grained device locking Igor Mammedov
2025-07-30 12:39 ` [PATCH v2 4/6] hpet: move out main counter read into a separate block Igor Mammedov
2025-07-30 12:39 ` [PATCH v2 5/6] hpet: make main counter read lock-less Igor Mammedov
2025-07-30 22:15 ` Peter Xu
2025-07-31 8:32 ` Igor Mammedov
2025-07-31 14:02 ` Peter Xu
2025-08-01 8:06 ` Igor Mammedov
2025-08-01 13:32 ` Peter Xu
2025-07-30 12:39 ` [PATCH v2 6/6] kvm: i386: irqchip: take BQL only if there is an interrupt Igor Mammedov
2025-07-31 19:24 ` Peter Xu
2025-08-01 8:42 ` Igor Mammedov
2025-08-01 13:08 ` Paolo Bonzini
2025-08-01 10:26 ` Paolo Bonzini [this message]
2025-08-01 12:47 ` Igor Mammedov
2025-07-31 21:15 ` [PATCH v2 0/6] Reinvent BQL-free PIO/MMIO Philippe Mathieu-Daudé
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=8edc80d5-49a0-4e4d-82c4-e4a18eb78304@redhat.com \
--to=pbonzini@redhat.com \
--cc=imammedo@redhat.com \
--cc=kraxel@redhat.com \
--cc=mst@redhat.com \
--cc=mtosatti@redhat.com \
--cc=peter.maydell@linaro.org \
--cc=peterx@redhat.com \
--cc=qemu-devel@nongnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).