All of lore.kernel.org
 help / color / mirror / Atom feed
From: Oleksii Kurochko <oleksii.kurochko@gmail.com>
To: Jan Beulich <jbeulich@suse.com>
Cc: "Alistair Francis" <alistair.francis@wdc.com>,
	"Connor Davis" <connojdavis@gmail.com>,
	"Andrew Cooper" <andrew.cooper3@citrix.com>,
	"Anthony PERARD" <anthony.perard@vates.tech>,
	"Michal Orzel" <michal.orzel@amd.com>,
	"Julien Grall" <julien@xen.org>,
	"Roger Pau Monné" <roger.pau@citrix.com>,
	"Stefano Stabellini" <sstabellini@kernel.org>,
	xen-devel@lists.xenproject.org
Subject: Re: [PATCH v1 07/15] xen/riscv: introduce tracking of pending vCPU interrupts, part 1
Date: Thu, 15 Jan 2026 11:55:32 +0100	[thread overview]
Message-ID: <a80a50c0-eefc-4ee3-8d49-145698d45297@gmail.com> (raw)
In-Reply-To: <fc3d92fe-e04e-48df-a0ed-c74b3bb7d3ba@suse.com>


On 1/15/26 10:52 AM, Jan Beulich wrote:
> On 15.01.2026 10:14, Oleksii Kurochko wrote:
>> On 1/14/26 4:56 PM, Jan Beulich wrote:
>>> On 14.01.2026 16:39, Oleksii Kurochko wrote:
>>>> On 1/13/26 2:54 PM, Jan Beulich wrote:
>>>>> On 13.01.2026 13:51, Oleksii Kurochko wrote:
>>>>>> On 1/7/26 5:28 PM, Jan Beulich wrote:
>>>>>>> On 24.12.2025 18:03, Oleksii Kurochko wrote:
>>>>>> By maintaining irqs_pending_mask, you can detect “this bit changed
>>>>>> recently,” even if the final state is 0.
>>>>>>
>>>>>> Also, having irqs_pending_mask allows to flush interrupts without lock:
>>>>>> if ( ACCESS_ONCE(v->arch.irqs_pending_mask[0]) )
>>>>>> {
>>>>>> mask = xchg(&v->arch.irqs_pending_mask[0], 0UL);
>>>>>> val = ACCESS_ONCE(v->arch.irqs_pending[0]) & mask;
>>>>>>
>>>>>> *hvip &= ~mask;
>>>>>> *hvip |= val;
>>>>>> }
>>>>>> Without it I assume that we should have spinlcok around access to irqs_pending.
>>>>> Ah yes, this would indeed be a benefit. Just that it's not quite clear to
>>>>> me:
>>>>>
>>>>>        *hvip |= xchg(&v->arch.irqs_pending[0], 0UL);
>>>>>
>>>>> wouldn't require a lock either
>>>> Because vCPU's hvip (which is stored on the stack) can't be changed concurrently
>>>> and it's almost the one place in the code where vCPU->hvip is changed. Another
>>>> place it is save_csrs() during context switch but it can't be called in parallel
>>>> with the vcpu_sync_interrupts() (look below).
>>>>
>>>>> . What may be confusing me is that you put
>>>>> things as if it was normal to see 1 -> 0 transitions from (virtual)
>>>>> hardware, when I (with my x86 background) would expect 1 -> 0 transitions
>>>>> to only occur due to software actions (End Of Interrupt), unless - see
>>>>> above - something malfunctioned and an interrupt was lost. That (the 1 ->
>>>>> 0 transitions) could be (guest) writes to SVIP, for example.
>>>>>
>>>>> Talking of which - do you really mean HVIP in the code you provided, not
>>>>> VSVIP? So far I my understanding was that HVIP would be recording the
>>>>> interrupts the hypervisor itself has pending (and needs to service).
>>>> HVIP is correct to use here, HVIP is used to indicate virtual interrupts
>>>> intended for VS-mode. And I think you confused HVIP with the HIP register
>>>> which supplements the standard supervisor-level SIP register to indicate
>>>> pending virtual supervisor (VS-level) interrupts and hypervisor-specific
>>>> interrupts.
>>>>
>>>> If a guest will do "That (the 1 -> 0 transitions) could be (guest) writes
>>>> to SVIP, for example." then the correspondent HVIP (and HIP as usually
>>>> they are aliasis of HVIP) bits will be updated. And that is why we need
>>>> vcpu_sync_interrupts() I've mentioned in one of replies and sync VSSIP:
>>>> +void vcpu_sync_interrupts(struct vcpu *v)
>>>> +{
>>>> +    unsigned long hvip;
>>>> +
>>>> +    /* Read current HVIP and VSIE CSRs */
>>>> +    v->arch.vsie = csr_read(CSR_VSIE);
>>>> +
>>>> +    /* Sync-up HVIP.VSSIP bit changes does by Guest */
>>>> +    hvip = csr_read(CSR_HVIP);
>>>> +    if ( (v->arch.hvip ^ hvip) & BIT(IRQ_VS_SOFT, UL) )
>>>> +    {
>>>> +        if ( hvip & BIT(IRQ_VS_SOFT, UL) )
>>>> +        {
>>>> +            if ( !test_and_set_bit(IRQ_VS_SOFT,
>>>> +                                   &v->arch.irqs_pending_mask) )
>>>> +                set_bit(IRQ_VS_SOFT, &v->arch.irqs_pending);
>>>> +        }
>>>> +        else
>>>> +        {
>>>> +            if ( !test_and_set_bit(IRQ_VS_SOFT,
>>>> +                                   &v->arch.irqs_pending_mask) )
>>>> +                clear_bit(IRQ_VS_SOFT, &v->arch.irqs_pending);
>>>> +        }
>>>> +    }
>>> I fear I don't understand this at all. Why would the guest having set a
>>> pending bit not result in the IRQ to be marked pending?
>> Maybe it is wrong assumption but based on the spec:
>>     Bits sip.SSIP and sie.SSIE are the interrupt-pending and interrupt-enable
>>     bits  for supervisor-level software interrupts. If implemented, SSIP is
>>     writable in sip and may also be set to 1 by a platform-specific interrupt
>>     controller.
>> and:
>>     Interprocessor interrupts are sent to other harts by implementation-specific
>>     means, which will ultimately cause the SSIP bit to be set in the recipient
>>     hart’s sip register.
>>
>> Meaning that sending an IPI to self by writing 1 to sip.SSIP is
>> well-defined. The same should be true of vsip.SSIP while in VS mode.
> I can't read that out of the text above. To the contrary, "will ultimately cause
> the SSIP bit to be set" suggests to me that the bit is not to be set by writing
> the CSR. Things still may work like this for self-IPI, but that wouldn't follow
> from the quotation above.

Why not that wouldn't follow from the quotation above?

The first quotation tells that we can do self-IPI so VSSIP.SSIP will set to 1
what we could miss SSIP bit if won't explicitly try to read h/w HVIP (or VSSIP,
or whatever other alias of the SSIP bit) and sync with what we have cached
in hypervisor.

The second quotation tells that if another CPU send IPI to CPUx then CPUx.SIP will
have SSIP bit set to 1 and again hypervisor won't know that without explicit
reading of HVIP (or VSSIP, or whatever other alias of the SSIP bit).


>
>>>    You can't know
>>> whether that guest write happened before or after you last touched
>>> .irqs_pending{,mask}[]?
>> Yes, I think you are right.
>>
>> On the other hand, if we are in hypervisor when vcpu_sync_interrupts() is
>> called it means that pCPU on which vCPU is ran and for which
>> vcpu_sync_interrupts() is called now executes some hypervisor things, so
>> guest won't able to update VSIP.SSIP for this pCPU. So nothing else will
>> change VSIP.SSIP and so h/w HVIP won't be changed by something and it is
>> okay to sync .irqs_pending{,mask} with what h/w in its HVIP.
> That is, vcpu_sync_interrupts() is called on every entry to the hypervisor?
> Not just during context switch?

It is called each time before exit from the hypervisor to a guest.

~ Oleksii



  reply	other threads:[~2026-01-15 10:55 UTC|newest]

Thread overview: 93+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-12-24 17:03 [PATCH v1 00/15] xen/riscv: introduce vtimer related things Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 01/15] xen/riscv: introduce struct arch_vcpu Oleksii Kurochko
2026-01-05 16:58   ` Jan Beulich
2026-01-06 14:19     ` Oleksii Kurochko
2026-01-06 14:26       ` Jan Beulich
2026-01-06 14:59         ` Andrew Cooper
2026-01-06 15:05         ` Oleksii Kurochko
2026-01-06 15:33           ` Jan Beulich
2026-01-06 16:00             ` Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 02/15] xen/riscv: implement arch_vcpu_{create,destroy}() Oleksii Kurochko
2026-01-06 15:56   ` Jan Beulich
2026-01-12 10:19     ` Oleksii Kurochko
2026-01-12 10:42       ` Jan Beulich
2025-12-24 17:03 ` [PATCH v1 03/15] xen/riscv: implement vcpu_csr_init() Oleksii Kurochko
2026-01-07  8:46   ` Jan Beulich
2026-01-12 12:59     ` Oleksii Kurochko
2026-01-12 14:28       ` Jan Beulich
2026-01-12 15:46         ` Oleksii Kurochko
2026-01-12 15:54           ` Jan Beulich
2026-01-12 16:39             ` Oleksii Kurochko
2026-01-12 16:42               ` Jan Beulich
2025-12-24 17:03 ` [PATCH v1 04/15] xen/riscv: introduce vtimer Oleksii Kurochko
2026-01-07 15:21   ` Jan Beulich
2026-01-12 16:28     ` Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 05/15] xen/riscv: implement stub for smp_send_event_check_mask() Oleksii Kurochko
2026-01-07 15:47   ` Jan Beulich
2026-01-12 16:53     ` Oleksii Kurochko
2026-01-12 17:05       ` Jan Beulich
2026-01-13  9:58         ` Oleksii Kurochko
2026-01-13 10:22           ` Jan Beulich
2026-01-13 11:39             ` Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 06/15] xen/riscv: introduce vcpu_kick() implementation Oleksii Kurochko
2026-01-07 16:04   ` Jan Beulich
2025-12-24 17:03 ` [PATCH v1 07/15] xen/riscv: introduce tracking of pending vCPU interrupts, part 1 Oleksii Kurochko
2026-01-07 16:28   ` Jan Beulich
2026-01-13 12:51     ` Oleksii Kurochko
2026-01-13 13:54       ` Jan Beulich
2026-01-14 15:39         ` Oleksii Kurochko
2026-01-14 15:56           ` Jan Beulich
2026-01-15  9:14             ` Oleksii Kurochko
2026-01-15  9:52               ` Jan Beulich
2026-01-15 10:55                 ` Oleksii Kurochko [this message]
2026-01-15 10:59                   ` Jan Beulich
2026-01-15 11:46                     ` Oleksii Kurochko
2026-01-15 12:09                       ` Jan Beulich
2026-01-15 12:25                         ` Oleksii Kurochko
2026-01-15 12:30                           ` Jan Beulich
2026-01-16 14:25     ` Oleksii Kurochko
2026-01-16 14:42       ` Jan Beulich
2025-12-24 17:03 ` [PATCH v1 08/15] xen/riscv: introduce vtimer_set_timer() and vtimer_expired() Oleksii Kurochko
2026-01-08 10:28   ` Jan Beulich
2026-01-13 14:44     ` Oleksii Kurochko
2026-01-13 15:12       ` Jan Beulich
2026-01-14 12:27         ` Oleksii Kurochko
2026-01-14 14:57           ` Jan Beulich
2026-01-14 15:59             ` Oleksii Kurochko
2026-01-15  7:52               ` Jan Beulich
2026-01-15  9:30                 ` Oleksii Kurochko
2026-01-15  9:55                   ` Jan Beulich
2025-12-24 17:03 ` [PATCH v1 09/15] xen/riscv: add vtimer_{save,restore}() Oleksii Kurochko
2026-01-08 10:43   ` Jan Beulich
2026-01-13 15:32     ` Oleksii Kurochko
2026-01-14  9:00       ` Jan Beulich
2025-12-24 17:03 ` [PATCH v1 10/15] xen/riscv: implement SBI legacy SET_TIMER support for guests Oleksii Kurochko
2026-01-08 10:45   ` Jan Beulich
2026-01-13 15:41     ` Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 11/15] xen/riscv: introduce ns_to_ticks() Oleksii Kurochko
2026-01-12 14:59   ` [Arm] " Jan Beulich
2026-01-21  0:23     ` Volodymyr Babchuk
2026-01-21  1:19       ` Stefano Stabellini
2025-12-24 17:03 ` [PATCH v1 12/15] xen/riscv: introduce sbi_set_timer() Oleksii Kurochko
2026-01-12 15:12   ` Jan Beulich
2026-01-13 16:33     ` Oleksii Kurochko
2026-01-14  9:07       ` Jan Beulich
2026-01-14  9:59         ` Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 13/15] xen/riscv: implement reprogram_timer() using SBI Oleksii Kurochko
2026-01-12 15:24   ` Jan Beulich
2026-01-13 16:50     ` Oleksii Kurochko
2026-01-14  9:13       ` Jan Beulich
2026-01-14  9:41         ` Oleksii Kurochko
2026-01-14  9:53           ` Jan Beulich
2026-01-14 10:33             ` Oleksii Kurochko
2026-01-14 11:17               ` Jan Beulich
2026-01-14 12:41                 ` Oleksii Kurochko
2026-01-14 15:04                   ` Jan Beulich
2026-01-14 15:53                     ` Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 14/15] xen/riscv: handle hypervisor timer interrupts Oleksii Kurochko
2026-01-12 16:15   ` Jan Beulich
2026-01-13 16:53     ` Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 15/15] xen/riscv: init tasklet subsystem Oleksii Kurochko
2026-01-12 16:20   ` Jan Beulich
2026-01-13 17:03     ` Oleksii Kurochko
2026-01-14  9:15       ` Jan Beulich

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=a80a50c0-eefc-4ee3-8d49-145698d45297@gmail.com \
    --to=oleksii.kurochko@gmail.com \
    --cc=alistair.francis@wdc.com \
    --cc=andrew.cooper3@citrix.com \
    --cc=anthony.perard@vates.tech \
    --cc=connojdavis@gmail.com \
    --cc=jbeulich@suse.com \
    --cc=julien@xen.org \
    --cc=michal.orzel@amd.com \
    --cc=roger.pau@citrix.com \
    --cc=sstabellini@kernel.org \
    --cc=xen-devel@lists.xenproject.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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.