Linux-ARM-Kernel Archive on lore.kernel.org
 help / color / mirror / Atom feed
From: David Hildenbrand <david.hildenbrand@arm.com>
To: Alexandru Elisei <alexandru.elisei@arm.com>,
	Sean Christopherson <seanjc@google.com>
Cc: pbonzini@redhat.com, kvm@vger.kernel.org, maz@kernel.org,
	oupton@kernel.org, joey.gouly@arm.com, seiden@linux.ibm.com,
	suzuki.poulose@arm.com, yuzenghui@huawei.com,
	linux-arm-kernel@lists.infradead.org, kvmarm@lists.linux.dev,
	fuad.tabba@linux.dev, mark.rutland@arm.com
Subject: Re: [RFC PATCH 1/3] KVM: guest_memfd: Use memslot id to keep track of associated memslots
Date: Mon, 13 Jul 2026 16:03:18 +0200	[thread overview]
Message-ID: <8c0c099d-47aa-4bf0-ab7a-c682b0dccdf5@arm.com> (raw)
In-Reply-To: <ak0x0QIWWw6lFUiy@raptor>

On 7/7/26 19:05, Alexandru Elisei wrote:
> Hi Sean,
> 
> On Mon, Jul 06, 2026 at 02:43:23PM -0700, Sean Christopherson wrote:
>> On Thu, Jul 02, 2026, Alexandru Elisei wrote:
>>> To enable memslot operations, KVM maintains two arrays of memslots, and an
>>> RCU pointer to the active (in use) array. Changes are made first to the
>>> inactive array, and the RCU pointer is updated to point to the inactive
>>> array, which becomes active.
>>>
>>> The guest_memfd file maintains an xarray of pointers to memslots that use
>>> it as the memory provider. After the RCU pointer to the active memslots is
>>> updated and until SRCU is synchronized, readers can observe the old or the
>>> new value for the active array, and therefore the old or the new pointer
>>> for a given memslot.  For memslot creation or deletion that is not an issue
>>> for guest_memfd, as readers will either read the same memslot pointer saved
>>> by the guest_memfd file, or a non-existing memslot.
>>>
>>> But when changing the flags for a memslot, readers can read two different
>>> and non-NULL memslot pointers. 
>>
>> And?  Why does that matter?  KVM memslot updates aren't atomic.  Practically
>> speaking, they _can't_ be made atomic. Userspace is required to quiesce all
>> activity that must not observe inconsistent state, i.e. userspace must pause
>> (stop running) vCPUs when performing a memslot update.
> 
> Is that true when KVM_MEM_LOG_DIRTY_PAGES is toggled for a memslot?

Good point.

> 
> As far as I can tell, KVM today tolerates VCPUs running while the
> KVM_MEM_LOG_DIRTY_PAGES flags is being changed for a memslot. And by
> tolarate I mean that VCPUs that are running when the flag is changed don't
> return an error from KVM_RUN. If changing a memslot while VCPUs are running
> were fatal, I would think that KVM would want to take vcpu->mutex for all
> VCPUs to keep them from running. Or is it a case of KVM allowing userspace
> to shoot themselves in the foot if they really want it?
> 
> When the KVM_MEM_LOG_DIRTY_PAGES flags is being changed, VCPUs handling a
> guest fault can observe either the old memslot, with the old flags, or the
> new memslot, with the flag changed, but they still continue running without
> returning an error.

Staring at QEMU, kvm_log_start()+kvm_log_stop() do not call
accel_ioctl_inhibit_begin() etc.

So at least QEMU does not force VCPUs out of KVM when only updating flags.

One option would be to require user space to do that also when starting+stopping
dirty page logging. (I'd assume that should work, but it might be tricky
depending on in which context it is called from QEMU migration code -- whether
we hold the BQL)

-- 
Cheers,

David


  reply	other threads:[~2026-07-13 14:04 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-07-02 14:29 [RFC PATCH 0/3] KVM: Dirty page logging for guest_memfd-only memslots Alexandru Elisei
2026-07-02 14:29 ` [RFC PATCH 1/3] KVM: guest_memfd: Use memslot id to keep track of associated memslots Alexandru Elisei
2026-07-06  7:14   ` David Hildenbrand
2026-07-06 13:45     ` Alexandru Elisei
2026-07-06 21:46       ` Sean Christopherson
2026-07-07 17:05         ` Alexandru Elisei
2026-07-06 21:43   ` Sean Christopherson
2026-07-07 17:05     ` Alexandru Elisei
2026-07-13 14:03       ` David Hildenbrand [this message]
2026-07-13 16:13         ` Sean Christopherson
2026-07-13 13:42     ` David Hildenbrand
2026-07-02 14:29 ` [RFC PATCH 2/3] KVM: Implement dirty page logging for guest_memfd-only memslots Alexandru Elisei
2026-07-07  1:29   ` Sean Christopherson
2026-07-07 17:12     ` Alexandru Elisei
2026-07-14  5:39       ` Kishen Maloor
2026-07-02 14:29 ` [RFC PATCH 3/3] KVM: arm64: Allow " Alexandru Elisei
2026-07-07  0:56 ` [RFC PATCH 0/3] KVM: Dirty " Sean Christopherson
2026-07-07 16:58   ` Alexandru Elisei
2026-07-07 17:12     ` Sean Christopherson
2026-07-09 11:21       ` Mark Rutland
2026-07-09 19:01         ` Sean Christopherson
2026-07-10 10:26           ` Mark Rutland
2026-07-13 14:11             ` David Hildenbrand
2026-07-09 20:33     ` Oliver Upton
2026-07-10 10:44       ` Alexandru Elisei
2026-07-10 18:18         ` Oliver Upton
2026-07-13 13:48           ` Alexandru Elisei

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=8c0c099d-47aa-4bf0-ab7a-c682b0dccdf5@arm.com \
    --to=david.hildenbrand@arm.com \
    --cc=alexandru.elisei@arm.com \
    --cc=fuad.tabba@linux.dev \
    --cc=joey.gouly@arm.com \
    --cc=kvm@vger.kernel.org \
    --cc=kvmarm@lists.linux.dev \
    --cc=linux-arm-kernel@lists.infradead.org \
    --cc=mark.rutland@arm.com \
    --cc=maz@kernel.org \
    --cc=oupton@kernel.org \
    --cc=pbonzini@redhat.com \
    --cc=seanjc@google.com \
    --cc=seiden@linux.ibm.com \
    --cc=suzuki.poulose@arm.com \
    --cc=yuzenghui@huawei.com \
    /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