如何为多个io_uring环创建单个SQPOLL（IORING_SETUP_SQPOLL）线程

需求背景 #

使用多个io_uring环时，默认每个环通过IORING_SETUP_SQPOLL标志会启动独立的SQPOLL线程，多个线程各自轮询提交队列会占用过多CPU资源。希望用单个SQPOLL线程处理所有环的提交请求，以节省CPU，同时满足多数场景的I/O负载需求。

尝试的无效方案 #

尝试创建全局uring文件描述符并映射到多个uring实例，但无法生效：

创建全局FD的代码：

static int RingFd;
static struct io_uring_params RingParams;
// ...
memset(&RingParams, 0, sizeof(RingParams));
RingParams.flags |= IORING_SETUP_SQPOLL;
RingParams.sq_thread_idle = 100;
RingFd = io_uring_setup(maxEvents, &RingParams);
if (RingFd < 0) {
    // ...
}
// ...

映射到每个uring的代码：

struct io_uring Ring;
int ret = io_uring_queue_mmap(RingFd, &RingParams, &Ring);
if (ret < 0) {
    // ...
}
// ...

问题分析与解决方案 #

核心结论

io_uring的SQPOLL线程与单个io_uring实例强绑定，内核原生不支持单个SQPOLL线程跨实例轮询提交队列。每个io_uring拥有独立的提交队列（SQ）和完成队列（CQ），SQPOLL线程的逻辑是针对单个实例的SQ设计的，无法共享给多个实例。

你尝试的共享FD并映射多个uring的方案不可行，因为io_uring_queue_mmap是为单个实例上下文设计的，共享FD会导致内核实例上下文冲突，无法正常工作。

替代优化方案

1. 合并I/O任务到单个io_uring实例
   如果业务场景允许，将所有I/O请求集中到一个大的io_uring实例中处理，仅启动一个SQPOLL线程，这是最直接满足需求的方案。

2. 用CPU亲和性绑定SQPOLL线程
   即使保留多个SQPOLL线程，可通过IORING_SETUP_SQ_AFF标志将所有线程绑定到同一CPU核（或少量核），减少调度开销与CPU资源分散占用。

3. 用户态手动轮询（不推荐）
   放弃内核SQPOLL，在用户态启动单个线程遍历所有io_uring实例，手动调用io_uring_submit提交请求，但此方式会回到发起系统调用的流程，不符合“无需进入内核提交”的核心需求。

内容的提问来源于stack exchange，提问作者Yury