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>,
	"Bob Eshleman" <bobbyeshleman@gmail.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 08/15] xen/riscv: introduce vtimer_set_timer() and vtimer_expired()
Date: Thu, 15 Jan 2026 10:30:26 +0100	[thread overview]
Message-ID: <477dfa23-7b64-4e2b-9896-9af389e33ceb@gmail.com> (raw)
In-Reply-To: <8fa84e68-72b6-4578-9c3b-70d85d268c53@suse.com>


On 1/15/26 8:52 AM, Jan Beulich wrote:
> On 14.01.2026 16:59, Oleksii Kurochko wrote:
>> On 1/14/26 3:57 PM, Jan Beulich wrote:
>>> On 14.01.2026 13:27, Oleksii Kurochko wrote:
>>>> On 1/13/26 4:12 PM, Jan Beulich wrote:
>>>>> On 13.01.2026 15:44, Oleksii Kurochko wrote:
>>>>>> On 1/8/26 11:28 AM, Jan Beulich wrote:
>>>>>>> On 24.12.2025 18:03, Oleksii Kurochko wrote:
>>>>>>>> +    {
>>>>>>>> +        stop_timer(&t->timer);
>>>>>>>> +
>>>>>>>> +        return;
>>>>>>>> +    }
>>>>>>>> +
>>>>>>>> +    set_timer(&t->timer, expires);
>>>>>>> See the handling of VCPUOP_set_singleshot_timer for what you may want to
>>>>>>> do if the expiry asked for is (perhaps just very slightly) into the past.
>>>>>> I got an idea why we want to check if "expires" already expired, but ...
>>>>>>
>>>>>>> There you'll also find a use of migrate_timer(), which you will want to
>>>>>>> at least consider using here as well.
>>>>>> ... I don't get why we want to migrate timer before set_timer() here.
>>>>>> Could you please explain that?
>>>>> Didn't I see you use migrate_timer() in other patches (making me assume
>>>>> you understand)? Having the timer tied to the pCPU where the vCPU runs
>>>>> means the signalling to that vCPU will (commonly) be cheaper.
>>>> I thought that migrate_timer() is needed only when a vCPU changes the pCPU
>>>> it is running on to ensure that it is running on correct pCPU after migrations,
>>>> hotplug events, or scheduling changes. That is why I placed it in
>>>> vtimer_restore(), as there is no guarantee that the vCPU will run on the
>>>> same pCPU it was running on previously.
>>>>
>>>> So that is why ...
>>>>
>>>>> Whether
>>>>> that actually matters depends on what vtimer_expired() will eventually
>>>>> contain. Hence why I said "consider using".
>>>> ... I didn't get why I might need vtimer_expired() in vtimer_set_timer()
>>>> before set_timer().
>>>>
>>>> vtimer_expired() will only notify the vCPU that a timer interrupt has
>>>> occurred by setting bit in irqs_pending bitmap which then will be synced
>>>> with vcpu->hvip, but I still do not understand whether migrate_timer()
>>>> is needed before calling set_timer() here.
>>> Just to repeat - it's not needed. It may be wanted.
>>>
>>>> Considering that vtimer_set_timer() is called from the vCPU while it is
>>>> running on the current pCPU, and assuming no pCPU rescheduling has
>>>> occurred for this vCPU, we are already on the correct pCPU.
>>>> If pCPU rescheduling for the vCPU did occur, then migrate_timer() would
>>>> have been called in context_switch(),
>>> Even if the timer wasn't active?
>> Yes, migrate_timer() is called unconditionally in vtimer_restore() called
>> from context_switch(). migrate_timer() will activate the timer.
> Which is wrong?

I don't know, based on the comment above migrate_timer():
   /* Migrate a timer to a different CPU. The timer may be currently active. */

it doesn't mention that it shouldn't be called if the timer wasn't active.
All around other cases where migrate_timer() is used I don't see also that
anyone checks if a timer is active or not.

~ Oleksii



  reply	other threads:[~2026-01-15  9:37 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
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 [this message]
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=477dfa23-7b64-4e2b-9896-9af389e33ceb@gmail.com \
    --to=oleksii.kurochko@gmail.com \
    --cc=alistair.francis@wdc.com \
    --cc=andrew.cooper3@citrix.com \
    --cc=anthony.perard@vates.tech \
    --cc=bobbyeshleman@gmail.com \
    --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.