On 29/06/2022 09:45, Catalin Marinas wrote: > On Mon, Jun 27, 2022 at 05:55:33PM +0200, Cornelia Huck wrote: >> [I'm still in the process of trying to grok the issues surrounding >> MTE+KVM, so apologies in advance if I'm muddying the waters] > > No worries, we are not that far ahead either ;). > >> On Sat, Jun 25 2022, Steven Price <steven.price@xxxxxxx> wrote: >>> On 24/06/2022 18:05, Catalin Marinas wrote: >>>> + Steven as he added the KVM and swap support for MTE. >>>> >>>> On Thu, Jun 23, 2022 at 04:49:44PM -0700, Peter Collingbourne wrote: >>>>> Certain VMMs such as crosvm have features (e.g. sandboxing, pmem) that >>>>> depend on being able to map guest memory as MAP_SHARED. The current >>>>> restriction on sharing MAP_SHARED pages with the guest is preventing >>>>> the use of those features with MTE. Therefore, remove this restriction. >>>> >>>> We already have some corner cases where the PG_mte_tagged logic fails >>>> even for MAP_PRIVATE (but page shared with CoW). Adding this on top for >>>> KVM MAP_SHARED will potentially make things worse (or hard to reason >>>> about; for example the VMM sets PROT_MTE as well). I'm more inclined to >>>> get rid of PG_mte_tagged altogether, always zero (or restore) the tags >>>> on user page allocation, copy them on write. For swap we can scan and if >>>> all tags are 0 and just skip saving them. >>>> >>>> Another aspect is a change in the KVM ABI with this patch. It's probably >>>> not that bad since it's rather a relaxation but it has the potential to >>>> confuse the VMM, especially as it doesn't know whether it's running on >>>> older kernels or not (it would have to probe unless we expose this info >>>> to the VMM in some other way). >> >> Which VMMs support KVM+MTE so far? (I'm looking at adding support in QEMU.) > > Steven to confirm but I think he only played with kvmtool. Adding > Jean-Philippe who also had Qemu on his plans at some point. Yes I've only played with kvmtool so far. 'basic support' at the moment is little more than enabling the cap - that allows the guest to access tags. However obviously aspects such as migration need to understand what's going on to correctly save/restore tags - which is mostly only relevant to Qemu. >> What happens in kvm_vm_ioctl_mte_copy_tags()? I think we would just end >> up copying zeroes? > > Yes. For migration, the VMM could ignore sending over tags that are all > zeros or maybe use some simple compression. We don't have a way to > disable MTE for guests, so all pages mapped into the guest address space > end up with PG_mte_tagged. Architecturally we don't (yet) have a way of describing memory without tags, so indeed you will get all zeros if the guest hasn't populated the tags yet. >> That said, do we make any assumptions about when KVM_ARM_MTE_COPY_TAGS >> will be called? I.e. when implementing migration, it should be ok to >> call it while the vm is paused, but you probably won't get a consistent >> state while the vm is running? > > Wouldn't this be the same as migrating data? The VMM would only copy it > after it was marked read-only. BTW, I think sanitise_mte_tags() needs a > barrier before setting the PG_mte_tagged() flag (unless we end up with > some lock for reading the tags). As Catalin says, tags are no different from data so the VMM needs to either pause the VM or mark the page read-only to protect it from guest updates during the copy. The whole test_bit/set_bit dance does seem to be leaving open race conditions. I /think/ that Peter's extra flag as a lock with an added memory barrier is sufficient to mitigate it, but at this stage I'm also thinking some formal modelling would be wise as I don't trust my intuition when it comes to memory barriers. >> [Postcopy needs a different interface, I guess, so that the migration >> target can atomically place a received page and its metadata. I see >> https://lore.kernel.org/all/CAJc+Z1FZxSYB_zJit4+0uTR-88VqQL+-01XNMSEfua-dXDy6Wg@xxxxxxxxxxxxxx/; >> has there been any follow-up?] > > I don't follow the qemu list, so I wasn't even aware of that thread. But > postcopy, the VMM needs to ensure that both the data and tags are up to > date before mapping such page into the guest address space. > I'm not sure I see how atomically updating data+tags is different from the existing issues around atomically updating the data. The VMM needs to ensure that the guest doesn't see the page before all the data+all the tags are written. It does mean lazy setting of the tags isn't possible in the VMM, but I'm not sure that's a worthwhile thing anyway. Perhaps I'm missing something? Steve _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
