Merge branch 'vsock-receive-queue-hint-for-io_uring'

David Carlier says:

====================
vsock: receive queue hint for io_uring

AF_VSOCK stream receives never fill msghdr.msg_inq. io_uring initialises the
hint to -1 and treats that as "unknown", so it cannot set
IORING_CQE_F_SOCK_NONEMPTY, and it speculatively retries a multishot receive
after every completion, including when the queue is already empty.

Patch 1 fills the hint at the common exit of __vsock_connectible_recvmsg(),
reusing vsock_stream_has_data(), the transport callback that SIOCINQ already
uses. Following tcp_inq_hint(), it reports a terminal hint of 1 once the
connection is finished, so the caller still performs the receive that
observes EOF. Patch 2 adds selftest coverage.

Numbers come from a ping-pong over vsock loopback using io_uring multishot
receive, 4 KiB messages, the queue drained between messages, with kernel
receives counted by a kprobe. The baseline is the same tree with patch 1
reverted:

  entries per delivered message   1.97 -> 1.00       (5000 messages)
  receiver CPU time, median       1.640s -> 1.587s   (-3.2%)
  receiver wall time, median      3.260s -> 3.183s   (-2.4%)

Timing is 25 runs of 50000 messages per kernel; CPU gives Mann-Whitney
p=0.006, wall time does not separate from noise (p=0.12), as expected for a
latency-bound workload.

The hint is gated to SOCK_STREAM; seqpacket is untouched. SO_INQ and SCM_INQ
are deliberately left out: they need their own per-socket state and
ancillary-message semantics, and a byte-count contract would have to account
for transports reporting less than the whole queue. That can follow.

Testing: built and run under virtme-ng on loopback, where the new cases pass
and vsock_test still passes 41 of 41 with a clean dmesg. Other transports
were reviewed but not tested. Hyper-V reports the current packet rather than
the whole queue and can return -EIO; an undercount only understates what is
readable, and a negative result reports -1, the same "unknown" value io_uring
presets.
====================

Link: https://patch.msgid.link/20260923184008.153541-1-devnexen@gmail.com
Signed-off-by: Jakub Kicinski <kuba@kernel.org>
This commit is contained in:
Jakub Kicinski 2026-09-28 17:27:11 -07:00
commit bd8e2c16f1
4 changed files with 436 additions and 0 deletions

View File

@ -2543,6 +2543,35 @@ static int __vsock_seqpacket_recvmsg(struct sock *sk, struct msghdr *msg,
return err;
}
/* Bytes a following receive can consume, 1 if it would only see EOF, or -1
* if the transport cannot tell.
*
* Called under the socket lock after a nonnegative stream receive, so a NULL
* transport implies SOCK_DONE.
*/
static int vsock_stream_inq_hint(struct sock *sk)
{
struct vsock_sock *vsk = vsock_sk(sk);
s64 data;
if ((sk->sk_shutdown & RCV_SHUTDOWN) || !vsk->transport ||
(sock_flag(sk, SOCK_DONE) && sk->sk_state != TCP_ESTABLISHED))
return 1;
data = vsock_stream_has_data(vsk);
if (data < 0)
return -1;
if (data > 0)
return min_t(s64, data, INT_MAX);
/* Empty but finished: keep the caller reading so it sees EOF. */
if (sock_flag(sk, SOCK_DONE) ||
(READ_ONCE(vsk->peer_shutdown) & SEND_SHUTDOWN))
return 1;
return 0;
}
int
__vsock_connectible_recvmsg(struct socket *sock, struct msghdr *msg, size_t len,
int flags)
@ -2606,6 +2635,12 @@ __vsock_connectible_recvmsg(struct socket *sock, struct msghdr *msg, size_t len,
err = __vsock_seqpacket_recvmsg(sk, msg, len, flags);
out:
/* Seqpacket has_data counts messages, while io_uring treats msg_inq as
* a byte length when sizing retries, so only streams report a hint.
*/
if (msg->msg_get_inq && err >= 0 && sk->sk_type == SOCK_STREAM)
msg->msg_inq = vsock_stream_inq_hint(sk);
release_sock(sk);
return err;
}

View File

@ -483,6 +483,15 @@ void recv_byte(int fd, int expected_ret, int flags)
}
}
void expect_res(int res, int expected, const char *what)
{
if (res != expected) {
fprintf(stderr, "%s: expected %d, got %d\n", what, expected,
res);
exit(EXIT_FAILURE);
}
}
/* Run test cases. The program terminates if a failure occurs. */
void run_tests(const struct test_case *test_cases,
const struct test_opts *opts)

View File

@ -94,6 +94,7 @@ void send_buf(int fd, const void *buf, size_t len, int flags,
void recv_buf(int fd, void *buf, size_t len, int flags, ssize_t expected_ret);
void send_byte(int fd, int expected_ret, int flags);
void recv_byte(int fd, int expected_ret, int flags);
void expect_res(int res, int expected, const char *what);
void run_tests(const struct test_case *test_cases,
const struct test_opts *opts);
void list_tests(const struct test_case *test_cases);

View File

@ -13,7 +13,10 @@
#include <liburing.h>
#include <unistd.h>
#include <sys/mman.h>
#include <sys/ioctl.h>
#include <linux/kernel.h>
#include <linux/sockios.h>
#include <errno.h>
#include <error.h>
#include "util.h"
@ -28,6 +31,10 @@
#define VSOCK_TEST_DATA_MAX_IOV 3
#define HINT_CHUNK_SIZE 4096
#define HINT_BUF_GROUP 1
#define HINT_BUF_ENTRIES 4
struct vsock_io_uring_test {
/* Number of valid elements in 'vecs'. */
int vecs_cnt;
@ -211,6 +218,365 @@ void test_stream_uring_msg_zc_client(const struct test_opts *opts)
vsock_io_uring_client(opts, &test_data_array[i], true);
}
struct uring_inq_ctx {
struct io_uring ring;
int fd;
};
static void inq_server_init(struct uring_inq_ctx *ctx,
const struct test_opts *opts)
{
ctx->fd = vsock_stream_accept(VMADDR_CID_ANY, opts->peer_port, NULL);
if (ctx->fd < 0) {
perror("accept");
exit(EXIT_FAILURE);
}
if (io_uring_queue_init(RING_ENTRIES_NUM, &ctx->ring, 0))
error(1, errno, "io_uring_queue_init");
}
static void inq_server_exit(struct uring_inq_ctx *ctx)
{
io_uring_queue_exit(&ctx->ring);
close(ctx->fd);
}
/* Submit a single receive and report both its result and its CQE flags. */
static int inq_recv(struct uring_inq_ctx *ctx, void *buf, size_t len,
int flags, unsigned int *cflags)
{
struct io_uring_sqe *sqe;
struct io_uring_cqe *cqe;
int res;
sqe = io_uring_get_sqe(&ctx->ring);
io_uring_prep_recv(sqe, ctx->fd, buf, len, flags);
if (io_uring_submit(&ctx->ring) != 1)
error(1, errno, "io_uring_submit");
if (io_uring_wait_cqe(&ctx->ring, &cqe))
error(1, errno, "io_uring_wait_cqe");
res = cqe->res;
*cflags = cqe->flags;
io_uring_cqe_seen(&ctx->ring, cqe);
return res;
}
static void expect_uring_nonempty(unsigned int cflags, bool expected,
const char *what)
{
bool nonempty = !!(cflags & IORING_CQE_F_SOCK_NONEMPTY);
if (nonempty != expected) {
fprintf(stderr, "%s: expected SOCK_NONEMPTY %d, got %d\n",
what, expected, nonempty);
exit(EXIT_FAILURE);
}
}
static void expect_uring_more(unsigned int cflags, bool expected,
const char *what)
{
bool more = !!(cflags & IORING_CQE_F_MORE);
if (more != expected) {
fprintf(stderr, "%s: expected F_MORE %d, got %d\n",
what, expected, more);
exit(EXIT_FAILURE);
}
}
/* Wait until the whole payload is queued, so the hint is deterministic.
* Return false if the test has to be skipped.
*/
static bool inq_wait_queued(int fd, int len)
{
if (!vsock_ioctl_int(fd, SIOCINQ, len)) {
fprintf(stderr, "Test skipped, SIOCINQ not supported.\n");
return false;
}
return true;
}
static void inq_send_chunks(const struct test_opts *opts, int chunks)
{
char buf[HINT_CHUNK_SIZE];
int fd, i;
fd = vsock_stream_connect(opts->peer_cid, opts->peer_port);
if (fd < 0) {
perror("connect");
exit(EXIT_FAILURE);
}
memset(buf, 0xa5, sizeof(buf));
for (i = 0; i < chunks; i++)
send_buf(fd, buf, sizeof(buf), 0, sizeof(buf));
control_writeln("SENT");
control_expectln("DONE");
close(fd);
}
static void test_stream_uring_inq_client(const struct test_opts *opts)
{
inq_send_chunks(opts, 2);
}
static void test_stream_uring_inq_server(const struct test_opts *opts)
{
char buf[HINT_CHUNK_SIZE];
struct uring_inq_ctx ctx;
unsigned int cflags;
int res;
inq_server_init(&ctx, opts);
control_expectln("SENT");
if (!inq_wait_queued(ctx.fd, 2 * HINT_CHUNK_SIZE))
goto out;
/* Data remains after this receive, so the flag must be set. */
res = inq_recv(&ctx, buf, sizeof(buf), 0, &cflags);
expect_res(res, HINT_CHUNK_SIZE, "partial receive");
expect_uring_nonempty(cflags, true, "partial receive");
/* This receive drains the queue while the peer stays connected. */
res = inq_recv(&ctx, buf, sizeof(buf), 0, &cflags);
expect_res(res, HINT_CHUNK_SIZE, "draining receive");
expect_uring_nonempty(cflags, false, "draining receive");
out:
control_writeln("DONE");
inq_server_exit(&ctx);
}
static void test_stream_uring_inq_eof_client(const struct test_opts *opts)
{
char buf[HINT_CHUNK_SIZE];
int fd;
fd = vsock_stream_connect(opts->peer_cid, opts->peer_port);
if (fd < 0) {
perror("connect");
exit(EXIT_FAILURE);
}
memset(buf, 0x5a, sizeof(buf));
send_buf(fd, buf, sizeof(buf), 0, sizeof(buf));
control_writeln("SENT");
control_expectln("DRAINED");
close(fd);
control_writeln("CLOSED");
}
static void test_stream_uring_inq_eof_server(const struct test_opts *opts)
{
char buf[HINT_CHUNK_SIZE];
struct uring_inq_ctx ctx;
unsigned int cflags;
int res;
inq_server_init(&ctx, opts);
control_expectln("SENT");
if (!inq_wait_queued(ctx.fd, HINT_CHUNK_SIZE)) {
control_writeln("DRAINED");
control_expectln("CLOSED");
goto out;
}
res = inq_recv(&ctx, buf, sizeof(buf), 0, &cflags);
expect_res(res, HINT_CHUNK_SIZE, "drain before EOF");
expect_uring_nonempty(cflags, false, "drain before EOF");
control_writeln("DRAINED");
control_expectln("CLOSED");
/* The queue is empty and the peer is gone. The hint stays non-zero
* so that this receive happens and reports EOF, as TCP does after a
* FIN.
*/
res = inq_recv(&ctx, buf, sizeof(buf), 0, &cflags);
expect_res(res, 0, "receive at EOF");
expect_uring_nonempty(cflags, true, "receive at EOF");
out:
inq_server_exit(&ctx);
}
static void test_stream_uring_inq_empty_client(const struct test_opts *opts)
{
int fd;
fd = vsock_stream_connect(opts->peer_cid, opts->peer_port);
if (fd < 0) {
perror("connect");
exit(EXIT_FAILURE);
}
control_writeln("READY");
control_expectln("DONE");
close(fd);
}
static void test_stream_uring_inq_empty_server(const struct test_opts *opts)
{
char buf[HINT_CHUNK_SIZE];
struct uring_inq_ctx ctx;
unsigned int cflags;
int res;
inq_server_init(&ctx, opts);
control_expectln("READY");
/* A failed receive must not leave a stale positive hint. */
res = inq_recv(&ctx, buf, sizeof(buf), MSG_DONTWAIT, &cflags);
expect_res(res, -EAGAIN, "empty nonblocking receive");
expect_uring_nonempty(cflags, false, "empty nonblocking receive");
control_writeln("DONE");
inq_server_exit(&ctx);
}
static void test_stream_uring_inq_zerolen_client(const struct test_opts *opts)
{
inq_send_chunks(opts, 1);
}
static void test_stream_uring_inq_zerolen_server(const struct test_opts *opts)
{
char buf[HINT_CHUNK_SIZE];
struct uring_inq_ctx ctx;
unsigned int cflags;
int res;
inq_server_init(&ctx, opts);
control_expectln("SENT");
if (!inq_wait_queued(ctx.fd, HINT_CHUNK_SIZE))
goto out;
/* A zero-length request is not an error and still describes the
* queue behind it.
*/
res = inq_recv(&ctx, buf, 0, 0, &cflags);
expect_res(res, 0, "zero-length receive");
expect_uring_nonempty(cflags, true, "zero-length receive");
out:
control_writeln("DONE");
inq_server_exit(&ctx);
}
static void test_stream_uring_inq_mshot_client(const struct test_opts *opts)
{
char buf[HINT_CHUNK_SIZE];
int fd, i;
fd = vsock_stream_connect(opts->peer_cid, opts->peer_port);
if (fd < 0) {
perror("connect");
exit(EXIT_FAILURE);
}
memset(buf, 0x3c, sizeof(buf));
for (i = 0; i < 2; i++)
send_buf(fd, buf, sizeof(buf), 0, sizeof(buf));
control_writeln("SENT");
control_expectln("DRAINED");
close(fd);
control_writeln("CLOSED");
control_expectln("DONE");
}
static void test_stream_uring_inq_mshot_server(const struct test_opts *opts)
{
static char bufs[HINT_BUF_ENTRIES][HINT_CHUNK_SIZE];
struct io_uring_buf_ring *br;
struct uring_inq_ctx ctx;
struct io_uring_sqe *sqe;
struct io_uring_cqe *cqe;
int i, ret;
inq_server_init(&ctx, opts);
br = io_uring_setup_buf_ring(&ctx.ring, HINT_BUF_ENTRIES,
HINT_BUF_GROUP, 0, &ret);
if (!br) {
fprintf(stderr, "io_uring_setup_buf_ring: %d\n", ret);
exit(EXIT_FAILURE);
}
for (i = 0; i < HINT_BUF_ENTRIES; i++)
io_uring_buf_ring_add(br, bufs[i], HINT_CHUNK_SIZE, i,
io_uring_buf_ring_mask(HINT_BUF_ENTRIES),
i);
io_uring_buf_ring_advance(br, HINT_BUF_ENTRIES);
control_expectln("SENT");
if (!inq_wait_queued(ctx.fd, 2 * HINT_CHUNK_SIZE)) {
control_writeln("DRAINED");
control_expectln("CLOSED");
goto out;
}
/* Arm only once both chunks are queued, so every completion knows
* what is left behind it.
*/
sqe = io_uring_get_sqe(&ctx.ring);
io_uring_prep_recv_multishot(sqe, ctx.fd, NULL, 0, 0);
sqe->flags |= IOSQE_BUFFER_SELECT;
sqe->buf_group = HINT_BUF_GROUP;
if (io_uring_submit(&ctx.ring) != 1)
error(1, errno, "io_uring_submit");
/* A buffer holds one chunk, so the other one is still queued. */
if (io_uring_wait_cqe(&ctx.ring, &cqe))
error(1, errno, "io_uring_wait_cqe");
expect_res(cqe->res, HINT_CHUNK_SIZE, "multishot first chunk");
expect_uring_nonempty(cqe->flags, true, "multishot first chunk");
expect_uring_more(cqe->flags, true, "multishot first chunk");
io_uring_cqe_seen(&ctx.ring, cqe);
/* This completion drains the queue and keeps the request armed. */
if (io_uring_wait_cqe(&ctx.ring, &cqe))
error(1, errno, "io_uring_wait_cqe");
expect_res(cqe->res, HINT_CHUNK_SIZE, "multishot second chunk");
expect_uring_nonempty(cqe->flags, false, "multishot second chunk");
expect_uring_more(cqe->flags, true, "multishot second chunk");
io_uring_cqe_seen(&ctx.ring, cqe);
control_writeln("DRAINED");
control_expectln("CLOSED");
/* EOF ends multishot regardless of the hint. */
if (io_uring_wait_cqe(&ctx.ring, &cqe))
error(1, errno, "io_uring_wait_cqe");
expect_res(cqe->res, 0, "multishot EOF");
expect_uring_more(cqe->flags, false, "multishot EOF");
io_uring_cqe_seen(&ctx.ring, cqe);
out:
control_writeln("DONE");
io_uring_free_buf_ring(&ctx.ring, br, HINT_BUF_ENTRIES,
HINT_BUF_GROUP);
inq_server_exit(&ctx);
}
static struct test_case test_cases[] = {
{
.name = "SOCK_STREAM io_uring test",
@ -222,6 +588,31 @@ static struct test_case test_cases[] = {
.run_server = test_stream_uring_msg_zc_server,
.run_client = test_stream_uring_msg_zc_client,
},
{
.name = "SOCK_STREAM io_uring receive queue hint",
.run_server = test_stream_uring_inq_server,
.run_client = test_stream_uring_inq_client,
},
{
.name = "SOCK_STREAM io_uring receive hint at EOF",
.run_server = test_stream_uring_inq_eof_server,
.run_client = test_stream_uring_inq_eof_client,
},
{
.name = "SOCK_STREAM io_uring receive hint on empty queue",
.run_server = test_stream_uring_inq_empty_server,
.run_client = test_stream_uring_inq_empty_client,
},
{
.name = "SOCK_STREAM io_uring receive hint zero-length",
.run_server = test_stream_uring_inq_zerolen_server,
.run_client = test_stream_uring_inq_zerolen_client,
},
{
.name = "SOCK_STREAM io_uring multishot receive hint",
.run_server = test_stream_uring_inq_mshot_server,
.run_client = test_stream_uring_inq_mshot_client,
},
{},
};