On Wed, Jan 12, 2022, David Matlack wrote: > When the TDP MMU is write-protection GFNs for page table protection (as > opposed to for dirty logging, or due to the HVA not being writable), it > checks if the SPTE is already write-protected and if so skips modifying > the SPTE and the TLB flush. > > This behavior is incorrect because the SPTE may be write-protected for > dirty logging. This implies that the SPTE could be locklessly be made > writable on the next write access, and that vCPUs could still be running > with writable SPTEs cached in their TLB. > > Fix this by unconditionally setting the SPTE and only skipping the TLB > flush if the SPTE was already marked !MMU-writable or !Host-writable, > which guarantees the SPTE cannot be locklessly be made writable and no > vCPUs are running the writable SPTEs cached in their TLBs. > > Technically it would be safe to skip setting the SPTE as well since: > > (a) If MMU-writable is set then Host-writable must be cleared > and the only way to set Host-writable is to fault the SPTE > back in entirely (at which point any unsynced shadow pages > reachable by the new SPTE will be synced and MMU-writable can > be safetly be set again). > > and > > (b) MMU-writable is never consulted on its own. > > And in fact this is what the shadow MMU does when write-protecting guest > page tables. However setting the SPTE unconditionally is much easier to > reason about and does not require a huge comment explaining why it is safe. I disagree. I looked at the code+comment before reading the full changelog and typed up a response saying the code should be: if (!is_writable_pte(iter.old_spte) && !spte_can_locklessly_be_made_writable(spte)) break; Then I went read the changelog and here we are :-) I find that much more easier to grok, e.g. in plain English: "if the SPTE isn't writable and can't be made writable, there's nothing to do". Versus "unconditionally clear the writable bits because ???, but only flush if the write was actually necessary", with a slightly opinionated translation :-) And with that, you don't need to do s/spte_set/flush. Though I would be in favor of a separate patch to do s/spte_set/write_protected here and in the caller, to match kvm_mmu_slot_gfn_write_protect().
