> -----Original Message-----
> From: Stephen Hemminger <[email protected]>
> Sent: Friday, September 18, 2026 4:10 AM
> To: [email protected]
> Cc: Stephen Hemminger <[email protected]>; Wei Hu
> <[email protected]>
> Subject: [EXTERNAL] [PATCH v8 16/25] bus/vmbus: convert from rte_atomic
> to stdatomic
> 
> The tx ring producer uses two cursors:
> - tbr->windex which is driver private. It lets producers reserve space
>   concurrently without a lock
> - vbr->windex is the host visible commit cursor and has to advance in
>   reservation order so the host never sees it point past unwritten data.
> 
> Convert the reservation CAS on tbr->windex to a weak compare exchange, and
> replace the smp_wmb plus CAS spin that published the commit with
> rte_wait_until_equal_32 on the previous producer followed by a release store.
> The release ordering on that store covers what the barrier did.
> 
> The wait on the previous producer uses acquire ordering, not relaxed.
> A release store only carries the writes of the storing thread and anything it 
> has
> a happens-before edge to. Producers publish in reservation order, so when
> this thread stores its own windex the host may then consume the data of
> every earlier producer as well. The acquire on the wait pairs with the earlier
> producer's release store, putting that producer's data writes into this 
> thread's
> happens-before set so they are carried by this store too.
> 
> vbr->windex stays volatile uint32_t in the packed bufring struct.
> The host is not a C11 thread.
> 
> The atomic qualifier is applied by cast at the single publishing store; the
> (uintptr_t) launder there avoids a bogus misaligned atomic warning from the
> packed attribute, since windex sits at offset 0 of a page aligned struct.
> 
> Signed-off-by: Stephen Hemminger <[email protected]>

Reviewed-by: Wei Hu <[email protected]>

> ---
>  drivers/bus/vmbus/private.h       |  2 +-
>  drivers/bus/vmbus/vmbus_bufring.c | 40 +++++++++++++++++--------------
>  2 files changed, 23 insertions(+), 19 deletions(-)
> 
> diff --git a/drivers/bus/vmbus/private.h b/drivers/bus/vmbus/private.h index
> 6efac86b77..6b7782724f 100644
> --- a/drivers/bus/vmbus/private.h
> +++ b/drivers/bus/vmbus/private.h
> @@ -25,7 +25,7 @@ extern int vmbus_logtype_bus;  struct vmbus_br {
>       struct vmbus_bufring *vbr;
>       uint32_t        dsize;
> -     uint32_t        windex; /* next available location */
> +     RTE_ATOMIC(uint32_t) windex; /* next available location */
>  };
> 
>  #define UIO_NAME_MAX 64
> diff --git a/drivers/bus/vmbus/vmbus_bufring.c
> b/drivers/bus/vmbus/vmbus_bufring.c
> index fcb97287dc..dcd66390a3 100644
> --- a/drivers/bus/vmbus/vmbus_bufring.c
> +++ b/drivers/bus/vmbus/vmbus_bufring.c
> @@ -15,7 +15,7 @@
>  #include <rte_tailq.h>
>  #include <rte_log.h>
>  #include <rte_malloc.h>
> -#include <rte_atomic.h>
> +#include <rte_stdatomic.h>
>  #include <rte_memory.h>
>  #include <rte_pause.h>
>  #include <rte_bus_vmbus.h>
> @@ -121,17 +121,13 @@ vmbus_txbr_write(struct vmbus_br *tbr, const
> struct iovec iov[], int iovlen,
>               total += iov[i].iov_len;
>       total += sizeof(save_windex);
> 
> +     /* Get current free location */
> +     old_windex = rte_atomic_load_explicit(&tbr->windex,
> +                                           rte_memory_order_relaxed);
> +
>       /* Reserve space in ring */
>       do {
> -             uint32_t avail;
> -
> -             /* Get current free location */
> -             old_windex = tbr->windex;
> -
> -             /* Prevent compiler reordering this with calculation */
> -             rte_compiler_barrier();
> -
> -             avail = vmbus_br_availwrite(tbr, old_windex);
> +             uint32_t avail = vmbus_br_availwrite(tbr, old_windex);
> 
>               /* If not enough space in ring, then tell caller. */
>               if (avail <= total)
> @@ -139,8 +135,12 @@ vmbus_txbr_write(struct vmbus_br *tbr, const
> struct iovec iov[], int iovlen,
> 
>               next_windex = vmbus_br_idxinc(old_windex, total, ring_size);
> 
> -             /* Atomic update of next write_index for other threads */
> -     } while (!rte_atomic32_cmpset(&tbr->windex, old_windex,
> next_windex));
> +             /* Atomic update of next write_index for other threads
> +              * Can use weak since easy to recompute and retry.
> +              */
> +     } while (!rte_atomic_compare_exchange_weak_explicit(
> +                      &tbr->windex, &old_windex, next_windex,
> +                      rte_memory_order_acquire,
> rte_memory_order_relaxed));
> 
>       /* Space from old..new is now reserved */
>       windex = old_windex;
> @@ -157,12 +157,15 @@ vmbus_txbr_write(struct vmbus_br *tbr, const
> struct iovec iov[], int iovlen,
>       /* The region reserved should match region used */
>       RTE_ASSERT(windex == next_windex);
> 
> -     /* Ensure that data is available before updating host index */
> -     rte_smp_wmb();
> +     /* Wait for previous producer to publish their windex update */
> +     rte_wait_until_equal_32(&vbr->windex, old_windex,
> +rte_memory_order_acquire);
> 
> -     /* Checkin for our reservation. wait for our turn to update host */
> -     while (!rte_atomic32_cmpset(&vbr->windex, old_windex,
> next_windex))
> -             rte_pause();
> +     /* Publish our windex update; prior data writes ordered via release.
> +      * windex is 4-byte aligned in practice (struct is page-aligned, windex
> +      * at offset 0); cast launders the packed-struct alignment-1 attribute.
> +      */
> +     rte_atomic_store_explicit((volatile __rte_atomic uint32_t
> *)(uintptr_t)&vbr->windex,
> +                               next_windex, rte_memory_order_release);
> 
>       /* If host had read all data before this, then need to signal */
>       *need_sig |= vmbus_txbr_need_signal(vbr, old_windex); @@ -224,7
> +227,8 @@ vmbus_rxbr_read(struct vmbus_br *rbr, void *data, size_t dlen,
> size_t skip)
>               return -EAGAIN;
> 
>       /* Record where host was when we started read (for debug) */
> -     rbr->windex = rbr->vbr->windex;
> +     rte_atomic_store_explicit(&rbr->windex, rbr->vbr->windex,
> +                               rte_memory_order_relaxed);
> 
>       /*
>        * Copy channel packet from RX bufring.
> --
> 2.53.0

Reply via email to