From: David Gibson <david@gibson.dropbear.id.au>
To: "Eugenio Pérez" <eperezma@redhat.com>
Cc: passt-dev@passt.top, jasowang@redhat.com
Subject: Re: [RFC v2 10/11] tap: add poll(2) to used_idx
Date: Thu, 24 Jul 2025 11:20:44 +1000 [thread overview]
Message-ID: <aIGKbH3mzWTF6hDF@zatzit> (raw)
In-Reply-To: <20250709174748.3514693-11-eperezma@redhat.com>
[-- Attachment #1: Type: text/plain, Size: 5917 bytes --]
On Wed, Jul 09, 2025 at 07:47:47PM +0200, Eugenio Pérez wrote:
> From ~13Gbit/s to ~11.5Gbit/s.
Again, I really don't know what you're comparing to what here.
>
> TODO: Maybe we can reuse epoll for this, not needing to introduce a new
> syscall.
I really hope so.
>
> Signed-off-by: Eugenio Pérez <eperezma@redhat.com>
> ---
> tap.c | 59 +++++++++++++++++++++++++++++++++++++++++++++----------
> tap.h | 2 +-
> tcp_buf.c | 6 +++---
> 3 files changed, 53 insertions(+), 14 deletions(-)
>
> diff --git a/tap.c b/tap.c
> index 55357e3..93a8c12 100644
> --- a/tap.c
> +++ b/tap.c
> @@ -19,6 +19,7 @@
> #include <stdio.h>
> #include <errno.h>
> #include <limits.h>
> +#include <poll.h>
> #include <string.h>
> #include <net/ethernet.h>
> #include <net/if.h>
> @@ -120,7 +121,7 @@ static PACKET_POOL_NOINIT(pool_tap6, TAP_MSGS_IP6, pkt_buf);
> #define VHOST_NDESCS (PKT_BUF_BYTES / 65520)
> static_assert(!(VHOST_NDESCS & (VHOST_NDESCS - 1)),
> "Number of vhost descs must be a power of two by standard");
> -static struct {
> +static struct vhost_virtqueue {
> /* Descriptor index we're using. This is not the same as avail idx in
> * split: this takes into account the chained descs */
> uint16_t vring_idx;
> @@ -472,26 +473,63 @@ static void vhost_kick(struct vring_used *used, int kick_fd) {
> eventfd_write(kick_fd, 1);
> }
>
> +/*
> + * #syscalls:pasta read poll
> + */
> +static uint16_t used_idx(struct vhost_virtqueue *vq,
> + struct vring_avail *avail,
> + const struct vring_used *used, int pollfd)
> +{
> + struct pollfd fds = { .fd = pollfd, .events = POLLIN };
> + int r;
> +
> + if (vq->shadow_used_idx == vq->last_used_idx)
> + vq->shadow_used_idx = le16toh(used->idx);
> +
> + if (vq->shadow_used_idx != vq->last_used_idx || pollfd < 0)
> + return vq->shadow_used_idx;
> +
> + avail->flags &= ~htole16(1ULL << VRING_AVAIL_F_NO_INTERRUPT);
> + /* trusting syscall for smp_wb() */
> + r = read(pollfd, (uint64_t[]){0}, sizeof(uint64_t));
> + assert((r < 0 && errno == EAGAIN) || r == 8);
> +
> + /* Another oportunity before syscalls */
> + vq->shadow_used_idx = le16toh(used->idx);
> + if (vq->shadow_used_idx != vq->last_used_idx) {
> + return vqs->shadow_used_idx;
> + }
> +
> + r = poll(&fds, 1, -1);
> + assert (0 < r);
> + avail->flags |= htole16(1ULL << VRING_AVAIL_F_NO_INTERRUPT);
> + vq->shadow_used_idx = le16toh(used->idx);
> + return vq->shadow_used_idx;
I don't understand what this is accomplishing. It seems like it's
blocking waiting for a buffer to be freed, which seems like exactly
what we don't want to do.
> +}
> +
> /* n = target */
> -void tap_free_old_xmit(size_t n)
> +size_t tap_free_old_xmit(const struct ctx *c, size_t n)
> {
> size_t r = 0;
> + int pollfd = (n == (size_t)-1) ? -1 : c->vq[1].call_fd;
>
> while (r < n) {
> - uint16_t used_idx = vqs[1].last_used_idx;
> - if (vqs[1].shadow_used_idx == used_idx) {
> - vqs[1].shadow_used_idx = le16toh(*(volatile uint16_t*)&vring_used_1.used.idx);
> -
> - if (vqs[1].shadow_used_idx == used_idx)
> - continue;
> + uint16_t last_used = vqs[1].last_used_idx;
> + if (used_idx(&vqs[1], &vring_avail_1.avail, &vring_used_1.used, pollfd) == last_used) {
> + assert(pollfd == -1);
> + return r;
> }
>
> + /* Only get used array entries after they have been exposed by vhost. */
> + smp_rmb();
> /* assert in-order */
> - assert(vring_used_1.used.ring[used_idx % VHOST_NDESCS].id == vring_avail_1.avail.ring[used_idx % VHOST_NDESCS]);
> - vqs[1].num_free += vqs[1].ndescs[used_idx % VHOST_NDESCS];
> + assert(vring_used_1.used.ring[last_used % VHOST_NDESCS].id == vring_avail_1.avail.ring[last_used % VHOST_NDESCS]);
> + vqs[1].num_free += vqs[1].ndescs[last_used % VHOST_NDESCS];
> vqs[1].last_used_idx++;
> r++;
> }
> +
> + return r;
> }
>
> /**
> @@ -1687,6 +1725,7 @@ static int tap_ns_tun(void *arg)
> if (rc < 0)
> die_perror("Failed to add call eventfd to epoll");
> }
> + fprintf(stderr, "[eperezma %s:%d][i=%d][call_fd=%d]\n", __func__, __LINE__, i, file.fd);
> c->vq[i].call_fd = file.fd;
>
> file.fd = eventfd(0, EFD_NONBLOCK | EFD_CLOEXEC);
> diff --git a/tap.h b/tap.h
> index 7ca0fb0..7004116 100644
> --- a/tap.h
> +++ b/tap.h
> @@ -112,7 +112,7 @@ void tap_icmp6_send(const struct ctx *c,
> const struct in6_addr *src, const struct in6_addr *dst,
> const void *in, size_t l4len);
> void tap_send_single(const struct ctx *c, const void *data, size_t l2len, bool vhost);
> -void tap_free_old_xmit(size_t n);
> +size_t tap_free_old_xmit(const struct ctx *c, size_t n);
> size_t tap_send_frames(const struct ctx *c, const struct iovec *iov,
> size_t bufs_per_frame, size_t nframes, bool vhost);
> void eth_update_mac(struct ethhdr *eh,
> diff --git a/tcp_buf.c b/tcp_buf.c
> index 0437120..f74d22d 100644
> --- a/tcp_buf.c
> +++ b/tcp_buf.c
> @@ -137,10 +137,10 @@ static void tcp_revert_seq(const struct ctx *c, struct tcp_tap_conn **conns,
> }
> }
>
> -static void tcp_buf_free_old_tap_xmit(void)
> +static void tcp_buf_free_old_tap_xmit(const struct ctx *c)
> {
> while (tcp_payload_tap_used) {
> - tap_free_old_xmit(tcp_payload_tap_used);
> + tap_free_old_xmit(c, tcp_payload_tap_used);
>
> tcp_payload_tap_used = 0;
> tcp_payload_sock_used = 0;
> @@ -162,7 +162,7 @@ void tcp_payload_flush(const struct ctx *c)
> tcp_payload_sock_used - m);
> }
> tcp_payload_tap_used += m;
> - tcp_buf_free_old_tap_xmit();
> + tcp_buf_free_old_tap_xmit(c);
> }
>
> /**
--
David Gibson (he or they) | I'll have my music baroque, and my code
david AT gibson.dropbear.id.au | minimalist, thank you, not the other way
| around.
http://www.ozlabs.org/~dgibson
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
next prev parent reply other threads:[~2025-07-24 1:20 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-07-09 17:47 [RFC v2 00/11] Add vhost-net kernel support Eugenio Pérez
2025-07-09 17:47 ` [RFC v2 01/11] tap: implement vhost_call_cb Eugenio Pérez
2025-07-23 6:56 ` David Gibson
2025-07-09 17:47 ` [RFC v2 02/11] tap: add die() on vhost error Eugenio Pérez
2025-07-23 6:58 ` David Gibson
2025-07-09 17:47 ` [RFC v2 03/11] tap: replace tx tap hdr with virtio_nethdr_mrg_rxbuf Eugenio Pérez
2025-07-24 0:17 ` David Gibson
2025-07-09 17:47 ` [RFC v2 04/11] tcp: export memory regions to vhost Eugenio Pérez
2025-07-23 7:06 ` David Gibson
2025-07-09 17:47 ` [RFC v2 05/11] virtio: Fill .next in tx queue Eugenio Pérez
2025-07-23 7:07 ` David Gibson
2025-07-09 17:47 ` [RFC v2 06/11] tap: move static iov_sock to tcp_buf_data_from_sock Eugenio Pérez
2025-07-23 7:09 ` David Gibson
2025-07-09 17:47 ` [RFC v2 07/11] tap: support tx through vhost Eugenio Pérez
2025-07-24 0:24 ` David Gibson
2025-07-24 14:30 ` Stefano Brivio
2025-07-25 0:23 ` David Gibson
2025-07-09 17:47 ` [RFC v2 08/11] tap: add tap_free_old_xmit Eugenio Pérez
2025-07-24 0:32 ` David Gibson
2025-07-09 17:47 ` [RFC v2 09/11] tcp: start conversion to circular buffer Eugenio Pérez
2025-07-24 1:03 ` David Gibson
2025-07-09 17:47 ` [RFC v2 10/11] tap: add poll(2) to used_idx Eugenio Pérez
2025-07-24 1:20 ` David Gibson [this message]
2025-07-09 17:47 ` [RFC v2 11/11] tcp_buf: adding TCP tx circular buffer Eugenio Pérez
2025-07-24 1:33 ` David Gibson
2025-07-10 9:46 ` [RFC v2 00/11] Add vhost-net kernel support Eugenio Perez Martin
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=aIGKbH3mzWTF6hDF@zatzit \
--to=david@gibson.dropbear.id.au \
--cc=eperezma@redhat.com \
--cc=jasowang@redhat.com \
--cc=passt-dev@passt.top \
/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.
Code repositories for project(s) associated with this public inbox
https://passt.top/passt
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for IMAP folder(s).