[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH v3 2/6] x86: extend update_intpte() to support atomic get-and-update


  • To: xen-devel@xxxxxxxxxxxxxxxxxxxx
  • From: Kevin Lampis <kevin.lampis@xxxxxxxxxx>
  • Date: Thu, 1 Oct 2026 18:47:45 +0100
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=citrix.com; dmarc=pass action=none header.from=citrix.com; dkim=pass header.d=citrix.com; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=vZP1qWvcBKGy+An2YvUS92jnRpESFXMLGTu4MwG7Q+E=; b=gtoCOM2E/zp8S/llem+ko8SZDq48rhY012FVQDTT4hT25xvH02hyAnXiy/q7R/f/U3W5hLfgEkUusGr2EtWWf+vNU7fGr8+kEaOaKBYikylz4Y+3TP4UfkRPyNXwuXy9B/FkYid1AfO58+Kj30l+yQuoJH6ZroKID20pHeAxXEOtuTN7PuVlNy1nDhA5ptxDYmsv1msx2lKf+KBT/C8BkslS8OkXENyU10a6M/6DiRUOnefsUyo/rkTVE+weK6mNVlbN0DqsYiOwa0qu/dqzPiAQiWsiol9mRhubhk7prlASi4N++D9C8wdTH6E6j7Pu9CLrnPHezjiN/D9fDzARog==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=bCdrN+1icuEEUNxB/NlzkCfdm4CSTQeIMaxzvAUtaFkvdFl8jlvrMIXpWDIkP6rDZi4P9ADl0yzaBt+W/s0Fh8NjfH6rr4vaxpzNVp36BSujn7gowCNvd3RShBUAaNiczsDO5M4+TVFoPH261PmBx0Ew87hmKw2+0DJSk7FTuaOtWKsGdVG5u/Vm+R9oRC24FNCjQhkxnCwpbbAn+KLHPE6VC+NArBUVJxvXIOg5D1iYQt9ZUwYA9eKqlDaPQburikIixFyINF5JXPKG+8UjdW7FI4G+4iSiKNB3yyy1kx4BJehkGnhPOX0rdAY7KiwhEgd6fFPQwzErpC5M37ue9w==
  • Authentication-results: eu.smtp.expurgate.cloud; dkim=pass header.s=selector1 header.d=citrix.com header.i="@citrix.com" header.h="From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck"
  • Authentication-results: mx.microsoft.com 1; dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=citrix.com;
  • Cc: jbeulich@xxxxxxxx, andrew.cooper3@xxxxxxxxxx, teddy.astie@xxxxxxxxxx, Kevin Lampis <kevin.lampis@xxxxxxxxxx>
  • Delivery-date: Thu, 01 Oct 2026 17:46:21 +0000
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>

The update_intpte() now accepts a new swap flag and if set
returns the old pte value.

No functional change for existing callers.

Signed-off-by: Kevin Lampis <kevin.lampis@xxxxxxxxxx>
---
Changes in v3:
- Return 0 in the paging_write_guest_entry() case (update_intpte)
- Add UPDATE_ENTRY_SWAP to convert return value to correct type

Changes in v2:
- Add new PTE_UPDATE_SWAP flag instead of a bool argument
- Return the old pte value instead of turning `old` into an out pointer
---
 xen/arch/x86/pv/mm.h | 28 ++++++++++++++++++++++------
 1 file changed, 22 insertions(+), 6 deletions(-)

diff --git a/xen/arch/x86/pv/mm.h b/xen/arch/x86/pv/mm.h
index bfee0feb7b21..363db35b5fe3 100644
--- a/xen/arch/x86/pv/mm.h
+++ b/xen/arch/x86/pv/mm.h
@@ -64,16 +64,23 @@ static inline intpte_t paging_cmpxchg_guest_entry(
 
 #define PTE_UPDATE_PRESERVE_AD  (1u << 0)
 #define PTE_UPDATE_NO_TRANSLATE (1u << 1)
+#define PTE_UPDATE_SWAP         (1u << 2)
 
 /*
  * How to write an entry to the guest pagetables.
+ * If the SWAP flag is set then does an atomic swap and returns the old PTE
+ * value, otherwise returns 0.
  */
-static inline void update_intpte(intpte_t *p, intpte_t old, intpte_t new,
-                                 mfn_t mfn, struct vcpu *v, unsigned int flags)
+static inline intpte_t update_intpte(intpte_t *p, intpte_t old, intpte_t new,
+                                     mfn_t mfn, struct vcpu *v,
+                                     unsigned int flags)
 {
 #ifndef PTE_UPDATE_WITH_CMPXCHG
-    if ( !(flags & PTE_UPDATE_PRESERVE_AD) )
+    if ( !(flags & (PTE_UPDATE_PRESERVE_AD | PTE_UPDATE_SWAP)) )
+    {
         paging_write_guest_entry(v, p, new, mfn);
+        return 0;
+    }
     else
 #endif
     {
@@ -95,17 +102,26 @@ static inline void update_intpte(intpte_t *p, intpte_t 
old, intpte_t new,
             old = t;
         }
     }
+    return old;
 }
 
 /*
  * Macro that wraps the appropriate type-changes around update_intpte().
  * Arguments are: type, ptr, old, new, mfn, vcpu
  */
-#define UPDATE_ENTRY(_t ,_p ,_o ,_n ,_m ,_v , fl)                   \
-    update_intpte(&_t ## e_get_intpte(*(_p)),                       \
-                  _t ## e_get_intpte(_o), _t ## e_get_intpte(_n),   \
+#define UPDATE_ENTRY(_t ,_p ,_o ,_n ,_m ,_v , fl)                 \
+    update_intpte(&_t ## e_get_intpte(*(_p)),                     \
+                  _t ## e_get_intpte(_o), _t ## e_get_intpte(_n), \
                   _m, _v, fl)
 
+/*
+ * Macro that wraps UPDATE_ENTRY.
+ * This version converts the return type to l{1,2,3,4}_pgentry_t
+ * The return value must be used because of compiler flags.
+ */
+#define UPDATE_ENTRY_SWAP(_t ,_p ,_o ,_n ,_m ,_v , fl)            \
+    _t ## e_from_intpte(UPDATE_ENTRY(_t, _p, _o, _n, _m, _v, fl))
+
 static always_inline l1_pgentry_t adjust_guest_l1e(l1_pgentry_t l1e,
                                                    const struct domain *d)
 {
-- 
2.52.0




 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.